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

[Adam Chlipala]

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/33bac1b4/attachment.html>