Search Sciweavers | Sciweavers

265 search results - page 20 / 53

» Lambda calculus with patterns

126

click to vote

ACL
2007

131views Computational Linguistics» more ACL 2007»

Learning Synchronous Grammars for Semantic Parsing with Lambda Calculus

15 years 1 months ago

Download www.cs.utexas.edu

This paper presents the ﬁrst empirical results to our knowledge on learning synchronous grammars that generate logical forms. Using statistical machine translation techniques, a...

Yuk Wah Wong, Raymond J. Mooney

claim paper

Read More »

click to vote

SLP
1993

91views more SLP 1993»

Unification in a Lambda-Calculus with Intersection Types

15 years 1 months ago

Download kwarc.info

Michael Kohlhase, Frank Pfenning

claim paper

Read More »

click to vote

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

14 years 12 months ago

Download www.cis.upenn.edu

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

claim paper

Read More »

click to vote

ENTCS
2007

113views more ENTCS 2007»

A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F

14 years 11 months ago

Download www.cs.bu.edu

We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...

Kevin Donnelly, Hongwei Xi

claim paper

Read More »

click to vote

ENTCS
2007

86views more ENTCS 2007»

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers