public marks

PUBLIC MARKS with tags OCaml & Erlang

2007

The OCaml Summer Project

by ogrisel (via)
From August 15th-17th we had our OSP end-of-summer meeting. Twelve participants from nine of the projects attended. We also had invited talks from Olin Shivers and Phil Wadler. Several people from local universities (NYU, Long Island University) and companies also attended.

2005

PUBLIC TAGS related to tag OCaml

#mouarf +   ***** +   ajax +   Algorithm +   CDuce +   coding +   compiler +   compilers +   Coq +   del.icio.us +   development +   documentation +   eclipse +   Erlang +   event +   expat +   faq +   formal +   formal-method +   formal-methods +   functional +   genetic +   gtk +   haxe +   HeVeA +   INRIA:LogiCal +   java +   javascript +   language +   latex +   manual +   Menhir +   perl +   plugin +   programming +   proof +   prover +   reference +   ruby +   software +   testing +   tool +   tools +   toread +   tutorial +   verification +   web +   why +   WikiWiki +   xml +  

Active users

ogrisel
last mark : 05/10/2007 09:27

sigsegv
last mark : 07/01/2005 10:31