Sciweavers

5096 search results - page 257 / 1020
» Associations as a Language Construct
Sort
View
COLING
2002
15 years 6 months ago
A DAML+OIL-Compliant Chinese Lexical Ontology
This paper presents an ongoing task that will construct a DAML+OIL-compliant Chinese Lexical Ontology. The ontology mainly comprises three components: a hierarchical taxonomy cons...
Yu-Sheng Lai, Ren-Jr Wang, Wei-Tek Hsu
ICFP
2008
ACM
16 years 6 months ago
A comparison of c++ concepts and haskell type classes
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Since each language that meets all criteria is...
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zal...
PPDP
2007
Springer
16 years 24 days ago
Computing with subspaces
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
Sergio Antoy, Bernd Braßel
LACL
2005
Springer
16 years 5 days ago
Strict Deterministic Aspects of Minimalist Grammars
The Minimalist Grammars (MGs) proposed by Stabler(1997) have tree-shaped derivations (Harkema, 2001b; Michaelis, 2001a). As in categorial grammars, each lexical item is an associat...
John T. Hale, Edward P. Stabler
ICFP
2009
ACM
16 years 7 months ago
Complete and decidable type inference for GADTs
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
Tom Schrijvers, Simon L. Peyton Jones, Martin Sulz...