LMS

swMATH19986MaRDI QIDQ31809FDOQ31809

Author name not available (Why is that?)

Cited In (4)

• 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