260
click to vote
POPL
16 years 2 days ago
1989 ACM 
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
219
click to vote
FPCA
16 years 2 days ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
199
click to vote
CTCS
16 years 2 days ago
1989 Springer 
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
189
Voted
FPCA
16 years 2 days ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
220
Voted
IFIP
16 years 2 days ago
1989 Springer 
The designation “fault tolerant software” has been used for techniques ranging from roll-back and retry to N-version programming, from data mirroring to functional redundancy....
|
Programming Languages