Search Sciweavers | Sciweavers

1686 search results - page 60 / 338

» Higher Order Deforestation

click to vote

PLDI
1989
ACM

63views Programming Languages» more PLDI 1989»

Higher-Order Attribute Grammars

15 years 3 months ago

Download people.cs.uu.nl

Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kui...

claim paper

Read More »

click to vote

JELIA
1990
Springer

157views Artificial Intelligence» more JELIA 1990»

Semantic Interpretation as Higher-Order Deduction

15 years 3 months ago

Download www.cis.upenn.edu

Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...

Fernando C. N. Pereira

claim paper

Read More »

click to vote

CADE
1998
Springer

129views Logical Reasoning» more CADE 1998»

Extensional Higher-Order Resolution

15 years 3 months ago

Download www.ags.uni-sb.de

Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...

Christoph Benzmüller, Michael Kohlhase

claim paper

Read More »

click to vote

APLAS
2007
ACM

83views Programming Languages» more APLAS 2007»

The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification

15 years 3 months ago