Searching for authors named "Riccardo Pucella" – sorted by Relevance.
41 documents found, showing 1 through 10.
Next 10 →
-
Overview of Milner’s work
- …’s work Riccardo Pucella Department of Computer Science Cornell University January 14, 2001 The field…
- Add To MetaCart
-
An Approach to the Integration of Overlapping Rules in Standard ML
- … Riccardo Pucella Department of Computer Science Cornell University riccardo@(email omitted); Abstract. We…
- Add To MetaCart
-
Higher-Order Concurrent Win32 Programming
- … Pucella Bell Laboratories Lucent Technologies riccardo@(email omitted); Abstract We present a…
- Add To MetaCart
-
Emotional Agents in Virtual Environments
- …CS672 (Advanced Artificial Intelligence) Riccardo Pucella Final Project riccardo…
- Add To MetaCart
-
Type-Theoretic Encodings for the Component Object Model
- …CS711 (Topics in Advanced Programming Languages) Riccardo Pucella Final Project riccardo…
- Add To MetaCart
-
An Approach to the Implementation of Overlapping Rules in Standard ML
- … to the Implementation of Overlapping Rules in Standard ML Riccardo Pucella Department of Computer Science Cornell…
- Add To MetaCart
-
Reasoning about Resource-Bounded Knowledge: Theory and Application to Security Protocol Analysis
- … of the Requirements for the Degree of Doctor of Philosophy Riccardo Pucella August 2004 Abstract EXISTING approaches…
- Cited by 1 (0 self) – Add To MetaCart
-
The Design of a COM-Oriented Module System
- … System Riccardo Pucella Department of Computer Science Cornell University riccardo…
- Cited by 3 (1 self) – Add To MetaCart
-
Notes on Programming Standard ML of New Jersey (version 110.0.6)
- …Notes on Programming Standard ML of New Jersey (version 110.0.6) Riccardo Pucella Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Introduction Review of Type-Logical Semantics ∗
- …Introduction Review of Type-Logical Semantics ∗ Riccardo Pucella Stephen Chong Department…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
