Natural semantics and some of its meta-theory in Elf

Searching for semantics

PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Higher-order unCurrying

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Proving ML Type Soundness Within Coq

TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics

A linear logical framework

Information and Computation

Logical frameworks

Handbook of automated reasoning

A Linear Logical Framework

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science