<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">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.<br>
<br>
On 11/10/2017 07:50 AM, Adam Chlipala wrote:<br>
</div>
<blockquote type="cite"
cite="mid:061fab65-6848-230f-4fa3-15ff6022e0de@csail.mit.edu">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<div class="moz-cite-prefix">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.<br>
<br>
The only semester-sized idea I have at the moment is to learn
about <a moz-do-not-send="true"
href="http://upo.csail.mit.edu/">UPO</a> 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.<br>
<br>
On 11/10/2017 03:13 AM, Daniel Agota wrote:<br>
</div>
<blockquote type="cite"
cite="mid:20171110081302.6127698.75681.6839@gmail.com">
<meta http-equiv="Content-Type" content="text/html;
charset=utf-8">
<style> body { font-family: "Calibri","Slate Pro",sans-serif,"sans-serif"; color:#262626 }</style>
<div>Dear Adam,</div>
<div><br>
</div>
<div>Could you propose me a small scale research project either
related to Ur/Web or the topics covered in the cpdt book? </div>
<div><br>
</div>
<div>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.</div>
<div><br>
</div>
<div>I am a Senior Developer with 9 years industrial experience
currently working with micro services. </div>
<div><br>
</div>
<div>I have read the Types and Programming Languages book from
Benjamin Pierce and the Software Foundations book about two
years ago.</div>
<div><br>
</div>
<div>Kind Regards, Daniel Agota</div>
</blockquote>
</blockquote>
</body>
</html>