Cited By
View all- Jay BPeyton Jones S(2008)Scrap Your Type ApplicationsProceedings of the 9th international conference on Mathematics of Program Construction10.1007/978-3-540-70594-9_2(2-27)Online publication date: 15-Jul-2008
- Nadathur G(2002)The Suspension Notation for Lambda Terms and its Use in Metalanguage ImplementationsElectronic Notes in Theoretical Computer Science10.1016/S1571-0661(04)80539-567(35-48)Online publication date: Oct-2002
- Grossman DMorrisett G(2001)Scalable Certification for Typed Assembly LanguageTypes in Compilation10.1007/3-540-45332-6_5(117-145)Online publication date: 13-Jun-2001
- Show More Cited By