ML
2008
ACM
13 years 4 months ago
2008
ACM
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...