Pages that link to "Item:Q3644934"

The following pages link to Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages (Q3644934):

Displaying 15 items.

• Combining deep and shallow embedding of domain-specific languages (Q1749137) (← links)
• Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
• Functional un\(|\)unparsing (Q1929354) (← links)
• Language-integrated query with nested data structures and grouping (Q2039943) (← links)
• Generating C. System description (Q2163158) (← links)
• Unified program generation and verification: a case study on number-theoretic transform (Q2163165) (← links)
• Query lifting. Language-integrated query for heterogeneous nested collections (Q2233480) (← links)
• Probabilistic Inference by Program Transformation in Hakaru (System Description) (Q2798260) (← links)
• Declarative Foreign Function Binding Through Generic Programming (Q2798279) (← links)
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (Q5110932) (← links)
• Finally tagless observable recursion for an abstract grammar model (Q5300699) (← links)
• Reasoning about multi-stage programs (Q5371979) (← links)
• The calculus of dependent lambda eliminations (Q5372010) (← links)
• Functional Semantics (Q5410451) (← links)
• Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library (Q6178671) (← links)