LMS

MaRDI QIDQ31809swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=2184345

Cited in

(13)

• BCEL
• Mnemonics
• BER MetaOCaml
• DyC
• Flask
• Strymonas
• ASM
• Terra
• Monatron
• A lazy desugaring system for evaluating programs with sugars
• Generating C. System description
• Reasoning about multi-stage programs
• \textsc{Mnemonics}: type-safe bytecode generation at run time

This page was built for software: LMS