Pages that link to "Item:Q2938052"

The following pages link to Programming Type-Safe Transformations Using Higher-Order Abstract Syntax (Q2938052):

Displaying 4 items.

• A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (Q2802499) (← links)
• LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) (← links)
• Inductive Beluga: Programming Proofs (Q3454100) (← links)
• Denotational Semantics with Nominal Scott Domains (Q5501931) (← links)