Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

33

ACL
1998

favoriteEmaildiscussreport

88views Computational Linguistics» more ACL 1998»

Parametric Types for Typed Attribute-Value Logic

14 years 15 days ago

Parametric Types for Typed Attribute-Value Logic

Download www.aclweb.org

Gerald Penn

Real-time Traffic

ACL 1998 | ACL 2007 |

claim paper

Related Content

» A New Type of Metadata for Querying Data Integration Systems

» A Logic for Parametric Polymorphism with Effects

» Pure Type Systems in Rewriting Logic Specifying Typed HigherOrder Languages in a FirstOrde...

» Using Types as Approximations for Type Checking Prolog Programs

» Relational parametricity for references and recursive types

» Types with semantics soundness proof assistant

» Realizability Semantics of Parametric Polymorphism General References and Recursive Types

» Parametricity and dependent types

» Nonparametric parametricity

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	1998
Where	ACL
Authors	Gerald Penn

Comments (0)