Mark P. Jones
-
Enforcing high-level protocols in low-level software
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
A church-style intermediate language for MLF
Theoretical Computer Science