Cardelli, Luca.
Cardelli, Luca, 1954-....
Cardelli, L.
Luca Cardelli ingegnere informatico italiano
VIAF ID: 71562846 ( Personal )
Permalink: http://viaf.org/viaf/71562846
Preferred Forms
- 200 _ | ‡a Cardelli ‡b Luca ‡f 1954-....
- 100 1 _ ‡a Cardelli, L.
- 100 1 0 ‡a Cardelli, Luca
- 100 1 _ ‡a Cardelli, Luca
-
-
-
-
-
-
-
- 100 1 _ ‡a Cardelli, Luca ‡d 1954-
- 100 1 _ ‡a Cardelli, Luca ‡d 1954-
-
- 100 1 _ ‡a Cardelli, Luca, ‡d 1954-....
-
- 100 0 _ ‡a Luca Cardelli ‡c ingegnere informatico italiano
4xx's: Alternate Name Forms (9)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Abstract types and the dot notation | |
An algebraic approach to hardware description and verification | |
Building user interfaces by direct manipulation | |
DNA 17 | |
DNA computing and molecular programming : 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011 : proceedings | |
ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings | |
Elements of ML programming | |
Explicit Substitutions | |
Extensible records in a pure calculus of subtyping | |
An Extension of system F with subtyping | |
An Implementation of F<: | |
Internet programming languages : ICCL '98 workshop, Chicago, IL, USA, May 13, 1998 : proceedings | |
Modula-3 report (revised) | |
Operations on records | |
A polymorphic [lambda]-calculus with ... 1986 | |
A Semantic basis for quest | |
Subtyping recursive types | |
theory of objects | |
Transactions on computational systems biology IV |