Searching for authors named "Ferruccio Damiani" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Rank 2 Intersection Types for Local Definitions and Conditional Expressions
- …Rank 2 intersection types for local definitions and conditional expressions FERRUCCIO DAMIANI…
- Cited by 11 (4 self) – Add To MetaCart
-
Rank 2 Intersection Types for Modules
- … and interface interchecking. Categories and Subject Descriptors Ferruccio Damiani ∗ Dipartimento di Informatica…
- Cited by 7 (1 self) – Add To MetaCart
-
Rank-2 Intersection and Polymorphic Recursion
- …Rank-2 Intersection and Polymorphic Recursion (extended version with proofs) Ferruccio Damiani…
- Cited by 3 (0 self) – Add To MetaCart
-
Principal Typings and True Rank 2 Intersection Typable Recursive Definitions
- …Principal Typings and True Rank 2 Intersection Typable Recursive Definitions Ferruccio Damiani…
- Cited by 2 (0 self) – Add To MetaCart
-
Rank 2 Intersection Types for Modules (Version with conclusions and appendices of [11])
- … Descriptors Ferruccio Damiani ∗ Dipartimento di Informatica, Università di Torino Corso Svizzera 185 10149…
- Cited by 3 (1 self) – Add To MetaCart
-
The TkInter homepage. http://www.python.org/topics/tkinter
- … Cambridge University Press Automatic useless-code elimination for HOT functional programs� FERRUCCIO DAMIANI…
- Cited by 2 (1 self) – Add To MetaCart
-
Fickle: Dynamic Object Re-classification (Extended Abstract)
- …Fickle : Dynamic Object Re-classication ? (Extended Abstract) Sophia Drossopoulou 1 , Ferruccio…
- Add To MetaCart
-
A Calculus for "environment-Aware" Computation
- …://www.elsevier.nl/locate/entcs/volume66.html 18 pages Abstract A calculus for “environment-aware” computation 1 Viviana Bono 2 Ferruccio…
- Cited by 4 (3 self) – Add To MetaCart
-
Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse
- … , Ferruccio Damiani 1 , and Elena Giachino 1 Dipartimento di Informatica, Università di Torino {bono,damiani…
- Cited by 1 (0 self) – Add To MetaCart
-
On state classes and their dynamic semantics
- …ON STATE CLASSES AND THEIR DYNAMIC SEMANTICS Ferruccio Damiani Elena Giachino Dipartimento di…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
