Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jon G. Riecke
Fully Abstract Translations Between Functional Languages
Related publications
Fully Abstract Compilation to JavaScript
ACM SIGPLAN Notices
Computer Science
Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines
Preservative Translations Between Logical Systems
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
On Relational and Functional Languages
Logic and Logical Philosophy
Philosophy
Improving the Interoperation Between Generics Translations
Parallelism in Sequential Functional Languages
Functional Sentence Perspective in Seven Translations of Anna Karenina
Meta
Linguistics
Philosophy
Language
A Fully Abstract Denotational Model for Higher-Order Processes
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
A Memoizing Semantics for Functional Logic Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
