Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Andrew Kennedy, François Pottier, editors, Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006. ACM, 2006.

Conference: ml

Abstract is missing.

Whole-program compilation in MLtonStephen Weeks. 1 [doi]

ML grid programming with ConCertTom Murphy VII. 2-11 [doi]

Type-safe modular hash-consingJean-Christophe Filliâtre, Sylvain Conchon. 12-19 [doi]

Type-safe distributed programming for OCamlJohn Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa. 20-31 [doi]

A separate compilation extension to standard MLDavid Swasey, Tom Murphy VII, Karl Crary, Robert Harper. 32-42 [doi]

Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous executionDon Syme. 43-54 [doi]

Backtracking iteratorsJean-Christophe Filliâtre. 55-62 [doi]

Seminal: searching for ML type-error messagesBenjamin S. Lerner, Dan Grossman, Craig Chambers. 63-73 [doi]

Type-sensitive control-flow analysisJohn H. Reppy. 74-83 [doi]

Ocsigen: typing web interaction with objective CamlVincent Balat. 84-94 [doi]

runs on WebDSL