A monadic formalization of ML5 (2010)

by D R Licata, R Harper
Venue:In Workshop on Logical Frameworks and Meta-languages: Theory and Practice