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 methodology, 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
_______________________________________________
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur