Sciweavers

3 search results - page 1 / 1
» An Algebra for Semantic Construction in Constraint-based Gra...
Sort
View
ACL
2001
13 years 5 months ago
An Algebra for Semantic Construction in Constraint-based Grammars
We develop a framework for formalizing semantic construction within grammars expressed in typed feature structure logics, including HPSG. The approach provides an alternative to t...
Ann A. Copestake, Alex Lascarides, Dan Flickinger
POPL
2006
ACM
14 years 4 months ago
Polymorphic regular tree types and patterns
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
Jerome Vouillon
PEPM
1999
ACM
13 years 8 months ago
Declarative Aspect-Oriented Programming
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...
Ralf Lämmel