Sciweavers

Share
ML
2008
ACM
104views Machine Learning» more  ML 2008»
8 years 11 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