2604 search results - page 80 / 521 » General constant expressions for system programming language... |
138
Voted
DLS
2007
15 years 7 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
115
Voted
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
130
Voted
POPL
1994
ACM
15 years 7 months ago
1994
ACM
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...
118
Voted
ANLP
1992
15 years 4 months ago
1992
1 This paper reports on the SPOKESMAN natural language generation system, which is a domain independent text generator designed to incrementally produce text for an underlying appl...
130
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Optimal path queries are queries to obtain an optimal path specified by a given criterion of optimality. There have been many studies to give efficient algorithms for classes of o...