Practical higher-order pattern unification with on-the-fly raising (2005)

Cached

Download Links

by Gopalan Nadathur , Natalie Linnell
Venue:In ICLP 2005: 21st International Logic Programming Conference, volume 3668 of LNCS
Citations:8 - 4 self

Active Bibliography

1 The Metalanguage Prolog and Its Implementation – Gopalan Nadathur
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
8 Choices in representation and reduction strategies for lambda terms in intensional contexts – Chuck Liang, Gopalan Nadathur, Xiaochu Qi - 2004
21 A Proof Search Specification of the π-Calculus – Alwen Tiu, Dale Miller - 2004
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
The Australian National University – Alwen Tiu, Dale Miller
A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi – Andrew Gacek, Gopalan Nadathur
3 Eliminating redundancy in higher-order unification: a lightweight approach – Brigitte Pientka - 2006
1 Optimizing the runtime processing of types in a higher-order logic programming language – Gopalan Nadathur, Xiaochu Qi - 2005
26 Tabled Higher-Order Logic Programming – Brigitte Pientka - 2003
35 Proof Terms for Simply Typed Higher Order Logic – Stefan Berghofer, Tobias Nipkow - 2000
4 A Treatment of Higher-Order Features in Logic Programming – Gopalan Nadathur - 2003
40 A Coverage Checking Algorithm for LF – Carsten Schürmann, Frank Pfenning - 2003
33 A Linear Spine Calculus – Iliano Cervesato, Frank Pfenning - 2003
56 Unification via Explicit Substitutions: The Case of Higher-Order Patterns – Gilles Dowek, Therese Hardin, Claude Kirchner, Frank Pfenning - 1998
3 Higher-Order Constraint Simplification In Dependent Type Theory – Jason Reed
14 Mixing finite success and finite failure in an automated prover – Alwen Tiu, Gopalan Nadathur, Dale Miller - 2005
28 An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs – Spiro Michaylov, Frank Pfenning - 1992
5 Reasoning in Abella about Structural Operational Semantics Specifications – Andrew Gacek, Dale Miller, Gopalan Nadathur