3 search results - page 1 / 1 » Combining higher-order abstract syntax with first-order abst... |
ICFP
2005
ACM
14 years 5 months ago
2005
ACM
JSW
2006
13 years 5 months ago
2006
Abstract-- This paper describes a technique combining higher order functions, algebraic datatypes, and monads to incrementally implement syntax driven logics. Extensions can be com...
ENTCS
2002
13 years 4 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...