596 search results - page 94 / 120 » Subtyping Recursive Types |
100
click to vote
JANCL
2007
15 years 1 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...
189
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
129
click to vote
ERSHOV
2006
Springer
15 years 5 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
118
click to vote
ERCIMDL
2000
Springer
15 years 5 months ago
2000
Springer
The OASIS (Ontologically Augmented Spatial Information System) project explores terminology systems for thematic and spatial access in digital library applications. A prototype im...
179
click to vote
POPL
1995
ACM
15 years 4 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...