# HG changeset patch # User Christian Urban <christian dot urban at kcl dot ac dot uk> # Date 1418390203 0 # Node ID 9e6aa41188847f9de2f641e419dc1d8997d9be0a # Parent 23543b87a9bcbd522ccd0d2e1378ebe3aa0e8231 updated diff -r 23543b87a9bc -r 9e6aa4118884 msc-projects-14.html --- a/msc-projects-14.html Fri Dec 12 13:13:59 2014 +0000 +++ b/msc-projects-14.html Fri Dec 12 13:16:43 2014 +0000 @@ -578,13 +578,13 @@ <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) + sane languages that compile 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> +<li>Anything related to programming languages and formal methods (like + <A HREF="http://matt.might.net/articles/intro-static-analysis/">static program analysis</A>) </ul> </p> @@ -605,7 +605,7 @@ </TABLE> <P> -<!-- hhmts start --> Last modified: Fri Dec 12 13:13:41 GMT 2014 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Fri Dec 12 13:16:29 GMT 2014 <!-- hhmts end --> <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> </BODY> </HTML>