|
Conferences in DBLP
(ml) 2008 (conf/ml/2008)
Types for units-of-measure in f#: invited talk. [Citation Graph (, )][DBLP]
Lwt: a cooperative thread library. [Citation Graph (, )][DBLP]
Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2. [Citation Graph (, )][DBLP]
Unrestricted pure call-by-value recursion. [Citation Graph (, )][DBLP]
Compiling pattern matching to good decision trees. [Citation Graph (, )][DBLP]
Calling variadic functions from a strongly-typed language. [Citation Graph (, )][DBLP]
Many holes in hindley-milner. [Citation Graph (, )][DBLP]
O'browser: objective caml on browsers. [Citation Graph (, )][DBLP]
Caml-Shcaml: an ocaml library for unix shell programming. [Citation Graph (, )][DBLP]
A functional implementation of the garsia--wachs algorithm: (functional pearl). [Citation Graph (, )][DBLP]
|