704 search results - page 88 / 141 » A Note on Typing Feature Structures |
214
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
123
click to vote
OOPSLA
2010
Springer
15 years 11 days ago
2010
Springer
Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a progra...
116
click to vote
SIGIR
1996
ACM
15 years 6 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
101
click to vote
TAPSOFT
1993
Springer
15 years 6 months ago
1993
Springer
: We propose a new algebraic framework for exception handling which is powerful enough to cope with many exception handling features such that recovery, implicit propagation of exc...
132
click to vote
ERLANG
2003
ACM
15 years 7 months ago
2003
ACM
The viability of implementing an in-memory database, Erlang ETS, using a relatively-new data structure, called a Judy array, was studied by comparing the performance of ETS tables...