Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Frédéric Vogels
Featherweight VeriFast
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Featherweight Approach to FOOL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Erratum To: A Monadic Semantics for Quantum Computing in Featherweight Java
Lecture Notes in 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
Encoding Featherweight Java With Assignment and Immutability Using the Coq Proof Assistant
