[Ur] Research topic one semester Ur/Wev or dependent typer

[Adam Chlipala]

Actually, one other idea that just came up on GitHub is adding a 
WebAssembly backend to the Ur/Web compiler.  This task requires SML 
expertise but is probably small enough for someone starting with that 
expertise.

On 11/10/2017 07:50 AM, Adam Chlipala wrote:
> Glad to hear you're interested in these topics!  And presumably some 
> other people following the mailing list might be interested in similar 
> suggestions, though I suggest you take any further replies private, 
> sending to me alone.
>
> The only semester-sized idea I have at the moment is to learn about 
> UPO <http://upo.csail.mit.edu/> and implement a new module or two.  I 
> consider Ur/Web almost done as a research project, as it is almost 
> fully transitioned into a production toolset.
>
> On 11/10/2017 03:13 AM, Daniel Agota wrote:
>> Dear Adam,
>>
>> Could you propose me a small scale research project either related to 
>> Ur/Web or the topics covered in the cpdt book?
>>
>> I am doing a one semester masters level course focusing primarily on 
>> research methodol‎ogy, but I personally  would like to work on a 
>> meaningful project.
>>
>> I am a Senior Developer with 9 years industrial experience currently 
>> working with micro services.
>>
>> I have read the ‎Types and Programming Languages book from Benjamin 
>> Pierce and the Software Foundations book about two years ago.
>>
>> Kind Regards, Daniel Agota
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20171110/98fa4293/attachment.html>