LMS

swMATH19986MaRDI QIDQ31809FDOQ31809

Author name not available (Why is that?)

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

Cited In (13)

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

This page was built for software: LMS