Searching for authors named "Luca Cardelli" – sorted by Relevance.
136 documents found, showing 1 through 10.
Next 10 →
-
Structural Architecture Nuclear membrane
- …Abstract Machines of Systems Biology Luca Cardelli Microsoft Research Cambridge UK 2005…
- Add To MetaCart
-
the Association for Computing Machinery, Inc. See the permissions statement below. This article derives from a position statement prepared for the Workshop on Strategic Directions in Computing Research.
- … on Strategic Directions in Computing Research. Luca Cardelli Bad Engineering Properties of Object…
- Add To MetaCart
-
An Implementation Model of Rendezvous Communication
- … in Computer Science 197 Springer-Verlag, 1985 An implementation model of rendezvous communication Luca…
- Cited by 8 (0 self) – Add To MetaCart
-
Wide Area Computation
- …Wide Area Computation Luca Cardelli Microsoft Research Abstract. The last decades have seen…
- Cited by 22 (0 self) – Add To MetaCart
-
The Amber Machine
- ….Robinet Editors, Lecture Notes in Computer Science n.242, Springer-Verlag, 1986 The Amber Machine Luca Cardelli…
- Cited by 5 (1 self) – Add To MetaCart
-
The Quest Language and System
- …May 12, 1994 Page 1 The Quest Language and System Luca Cardelli Digital Equipment Corporation…
- Cited by 5 (0 self) – Add To MetaCart
-
Phase Distinctions in Type Theory
- …Page 1 Phase Distinctions in Type Theory Luca Cardelli Digital Equipment Corporation, Systems…
- Cited by 15 (0 self) – Add To MetaCart
-
A Polymorphic lambda-calculus with Type:Type
- …A Polymorphic λ-calculus with Type:Type Luca Cardelli Digital Equipment Corporation Systems…
- Cited by 9 (0 self) – Add To MetaCart
-
An implementation of F<:
- …An implementation of F Luca Cardelli Digital Equipment Corporation, Systems Research Center 130…
- Cited by 15 (0 self) – Add To MetaCart
-
A polymorphic l-calculus with Type:Type
- …A Polymorphic l-calculus with Type:Type Luca Cardelli Digital Equipment Corporation Systems…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
