Searching for authors named "Riccardo Pucella" – sorted by Relevance.
-
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

