The following pages link to Typed Tagless Final Interpreters (Q4649380):
Displaying 5 items.
- Session types without sophistry. System description (Q2039935) (← links)
- FFT program generation for ring LWE-based cryptography (Q2128754) (← links)
- Generating C. System description (Q2163158) (← links)
- Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic (Q6060672) (← links)
- Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library (Q6178671) (← links)