A monadic formalization of ML5 (2010)

by Daniel R. Licata , Robert Harper
Venue:In Pre-preceedings of Workshop on Logical Frameworks and Metalanguages: Theory and Practice
Citations:3 - 2 self