Sciweavers

Share
ML
2008
ACM
104views Machine Learning» more  ML 2008»
9 years 2 months ago
Many holes in hindley-milner
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...
Sam Lindley
books