Template:Bibtex:lch07ml

From The Twelf Project
Jump to: navigation, search

Daniel K. Lee, Karl Crary, Robert Harper - Towards a mechanized metatheory of Standard ML
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ,2007
Bibtex
Author : Daniel K. Lee, Karl Crary, Robert Harper
Title : Towards a mechanized metatheory of Standard ML
In : ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages -
Address :
Date : 2007