Details
Title
Cremet, Vincent
Sciper ID
143956
Affiliated labs
LAMP
Publications
A Core Calculus for Scala Type Checking
A Nominal Theory of Objects with Dependent Types
A Nominal Theory of Objects with Dependent Types
An Equational Theory for Transactions
An Equational Theory for Transactions
An Overview of the Scala Programming Language
An Overview of the Scala Programming Language (2. Edition)
Foundations for SCALA
Inner Classes and Virtual Types
PiLib: A Hosted Language for Pi-Calculus Style Concurrency
A Nominal Theory of Objects with Dependent Types
A Nominal Theory of Objects with Dependent Types
An Equational Theory for Transactions
An Equational Theory for Transactions
An Overview of the Scala Programming Language
An Overview of the Scala Programming Language (2. Edition)
Foundations for SCALA
Inner Classes and Virtual Types
PiLib: A Hosted Language for Pi-Calculus Style Concurrency
Link to search
All resources
Record appears in
Authorities > People