Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Eric Holk
Schism: A Self-Hosting Scheme to WebAssembly Compiler
EasyChair Preprints
Related publications
Scleral Schism
Contact Lens and Anterior Eye
Medicine
Optometry
Ophthalmology
A Verified Compiler From Isabelle/Hol to CakeML
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The META-T Compiler-Compiler
The META-T Compiler-Compiler
A Standard ML Compiler
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Witness to the Schism: The Writings of Honorat Bovet
Private International Law Beyond the Schism
Transnational Legal Theory
Law
Towards a Compiler for Reals
ACM Transactions on Programming Languages and Systems
Software
Formally Verified Cryptographic Web Applications in WebAssembly
