# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1418390039 0
# Node ID 23543b87a9bcbd522ccd0d2e1378ebe3aa0e8231
# Parent  4088b75174cfe59ae981322e1349b01316778301
updated

diff -r 4088b75174cf -r 23543b87a9bc msc-projects-14.html
--- a/msc-projects-14.html	Fri Nov 28 14:29:49 2014 +0000
+++ b/msc-projects-14.html	Fri Dec 12 13:13:59 2014 +0000
@@ -572,6 +572,23 @@
 whether it would be suitable for a project.
 </p>
 
+<li> <H4>[CU10] Anything Interesting in the Areas</H4>
+  
+<p>
+<ul>
+<li><A HREF="http://elm-lang.org">Elm</A> (a reactive functional language for animating webpages; have a look at the cool examples)
+<li><A HREF="http://www.smlserver.org/smltojs/">SMLtoJS</A> (a ML compiler to JavaScript; or anything else related to
+  a sane language that compiles to JavaScript)
+<li>Any statistical data related to Bitcoins (in the spirit of this
+<A HREF="http://people.csail.mit.edu/spillai/data/papers/ bitcoin-transaction-graph-analysis.pdf">paper</A> or
+  this <A HREF="https://eprint.iacr.org/2012/584.pdf">one</A>; this will probably require some extensive C knowledge or any
+  other heavy-duty programming language)
+<li>anything realted to programming languages and formal methods, like
+  <A HREF="http://matt.might.net/articles/intro-static-analysis/">static program analysis</A>  
+</ul>
+</p>
+
+
 <li> <H4>Earlier Projects</H4>
 
  I am also open to project suggestions from you. You might find some inspiration from my earlier projects:
@@ -588,7 +605,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Sun Nov 23 15:10:05 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Dec 12 13:13:41 GMT 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>