Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pierre-Evariste Dagand
Fully Abstract Compilation to JavaScript
ACM SIGPLAN Notices
Computer Science
Related publications
Linear Capabilities for Fully Abstract Compilation of Separation-Logic-Verified Code
Proceedings of the ACM on Programming Languages
Compilation of Glacier Maps for Some Mountains (Abstract)
Annals of Glaciology
Earth-Surface Processes
Fully Abstract Translations Between Functional Languages
Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines
Incremental Global Compilation of Prolog With the Vienna Abstract Machine
JavaScript
Journal of Information Processing and Management
A Fully Abstract Denotational Model for Higher-Order Processes
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Using Speculation to Enhance Javascript Performance in Web Applications
IEEE Internet Computing
Computer Networks
Communications
Compilation
Bulletin d'histoire politique
