Search Sciweavers | Sciweavers

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 »

126

click to vote

SLP
1993

91views more SLP 1993»

Unification in a Lambda-Calculus with Intersection Types

15 years 7 months ago

Download kwarc.info

Michael Kohlhase, Frank Pfenning

claim paper

Read More »

128

click to vote

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers