Searching for authors named "Luigi Liquori" – sorted by Relevance.
32 documents found, showing 1 through 10.
Next 10 →
-
The Deep Blue Calculus
- …The Deep Blue Calculus Luigi Liquori 1 Department of Mathematics and Computer Science, University…
- Add To MetaCart
-
An Extended Theory of Primitive Objects: First Order System
- …An Extended Theory of Primitive Objects: First Order System Luigi Liquori ? Dip. Informatica…
- Cited by 23 (7 self) – Add To MetaCart
-
On Object Extension
- …On Object Extension Luigi Liquori DIMI, Dip. Matematica ed Informatica, Università di Udine, Via…
- Cited by 4 (1 self) – Add To MetaCart
-
Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects
- …Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects Luigi Liquori…
- Cited by 2 (2 self) – Add To MetaCart
-
Bounded Polymorphism for Extensible Objects
- …Bounded Polymorphism for Extensible Objects Luigi Liquori Dipartimento di Matematica ed…
- Cited by 1 (0 self) – Add To MetaCart
-
Cv
- …Curriculum vit Luigi Liquori 9 August 1964 Addresses Professional Addresses Ecole Nationale…
- Add To MetaCart
-
Match-O, a Dialect of Eiffel with Match-Types
- …Match-O, a Dialect of Eiel with Match-Types Dominique Colnet Luigi Liquori Universite Henry…
- Cited by 3 (1 self) – Add To MetaCart
-
Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems
- … Systems Luigi Liquori and Michel Cosnard INRIA, France [Luigi.Liquori,Michel.Cosnard]@(email omitted); Abstract…
- Cited by 2 (1 self) – Add To MetaCart
-
A Typed Lambda Calculus of Objects (Extended Abstract)
- … A Typed Lambda Calculus of Objects (Extended Abstract) Luigi Liquori 1 and Giuseppe Castagna…
- Add To MetaCart
-
Cv
- …CURRICULUM-VITAE D ' ETAILL ' E (1991-1998) Concours MdC, Section 27 Luigi Liquori Dipartimento…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
