Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Samuel da Silva Feitosa
Erratum To: A Monadic Semantics for Quantum Computing in Featherweight Java
Lecture Notes 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
Encoding Featherweight Java With Assignment and Immutability Using the Coq Proof Assistant
Quantum Computing for Everyone
Designing for Quantum Computing
Committing to Quantum Resistance: A Slow Defence for Bitcoin Against a Fast Quantum Computing Attack
Royal Society Open Science
Multidisciplinary
Featherweight VeriFast
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Quantum++: A Modern C++ Quantum Computing Library
PLoS ONE
Multidisciplinary
Erratum to : The Chinese Movement in Java: 1900-1918
Southeast Asia: History and Culture
Sign-Based Semantics-Enriched Social Computing
