LMS
From MaRDI portal
Software:31809
No author found.
Related Items (4)
Generating C. System description ⋮ A lazy desugaring system for evaluating programs with sugars ⋮ Reasoning about multi-stage programs ⋮ \textsc{Mnemonics}: type-safe bytecode generation at run time
This page was built for software: LMS
