Searching for authors named "Claudio Russo" – sorted by Relevance.
-
Standard ML Type Generativity as Existential Quantification
- --- The University of Edinburgh Standard ML Type Generativity as Existential Quantification by Claudio V. Russo LFCS
- Cited by 2 (1 self) – Add To MetaCart
-
Automating Mutually Recursive Type Definitions In HOL
- Definitions In HOL 4th Year Project Report Department of Artificial Intelligence Claudio V. Russo June 3
- Cited by 2 (0 self) – Add To MetaCart
-
Recursive Structures for Standard ML
- ABSTRACT Recursive Structures for Standard ML Claudio V. Russo Microsoft Research Ltd., St George
- Cited by 41 (0 self) – Add To MetaCart
-
Types for Modules
- Types For Modules Claudio V. Russo Doctor of Philosophy University of Edinburgh 1998 To Babbo
- Cited by 46 (3 self) – Add To MetaCart
-
Shrinking reductions in SML.NET
- Shrinking Reductions in SML.NET Nick Benton 1 , Andrew Kennedy 1 , Sam Lindley 2 , and Claudio
- Cited by 1 (0 self) – Add To MetaCart
-
Non-Dependent Types for Standard ML Modules
- of Declarative Programming (PPDP'99) Authors: Dr. Claudio V. Russo Corresponding Author: Dr. Claudio V. Russo
- Add To MetaCart
-
First-Class Structures for Standard ML
- ) Authors: Dr. Claudio V. Russo Corresponding Author: Dr. Claudio V. Russo Postal Address: 3F1 12 Dryden
- Add To MetaCart
-
SML.NET 1.1 User Guide
- Contents SML.NET 1.1 User Guide Andrew Kennedy, Claudio Russo, Nick Benton Microsoft Research Ltd
- Add To MetaCart
-
Variance and Generalized Constraints for C# Generics
- Variance and Generalized Constraints for C ♯ Generics Burak Emir 1 , Andrew Kennedy 2 , Claudio
- Add To MetaCart

