Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Vincent Cremet
A Core Calculus for Scala Type Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Core Calculus for Dynamic Delta-Oriented Programming
Acta Informatica
Computer Networks
Software
Information Systems
Communications
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions Draft
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Inference for a Distributed Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Scala for Generic Programmers
Journal of Functional Programming
Software
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Type Inference and Type Checking for Queries on Execution Traces
Proceedings of the VLDB Endowment
Computer Science