Pages that link to "Higher-order abstract syntax"

The following pages link to Higher-order abstract syntax:

Showing 11 items.

• TreeDL ‎ (links)
• Twelf ‎ (links)
• ΛProlog ‎ (links)
• Scope (computer science) ‎ (links)
• Abstract syntax ‎ (links)
• Dale Miller (academic) ‎ (links)
• Name binding (transclusion) ‎ (links)
• Higher-order abstract syntax (transclusion) ‎ (links)
• HOAS ‎ (links)
• Higher order abstract syntax (redirect page) ‎ (links)
  • Nominal techniques ‎ (links)
  • English Wikipedia @ Freddythechick:Miscellany for deletion/Portal:Haskell (programming language) ‎ (links)
• Nominal terms (computer science) ‎ (links)