7529 search results - page 185 / 1506 » The Modula-3 Type System |
144
click to vote
APAL
2008
15 years 5 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
158
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
133
Voted
SG
2010
Springer
15 years 3 months ago
2010
Springer
Like many natural phenomenon, clouds are often modeled using procedural methods, which may be difficult for an artist to control. In this paper, a freehand sketching system is prop...
130
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
129
click to vote
TIT
1998
15 years 4 months ago
1998
Abstract— This correspondence investigates and compares the capacities of two types of frequency-hopped code-division multiple-access (FH-CDMA) communications systems; namely, mu...