Sciweavers

5096 search results - page 257 / 1020
» Associations as a Language Construct
Sort
View
COLING
2002
15 years 7 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 7 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 1 months 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 22 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 8 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...