Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jennifer Hackett
Call-By-Need Is Clairvoyant Call-By-Value
Proceedings of the ACM on Programming Languages
Related publications
Call-By-Value Is Dual to Call-By-Name – Reloaded
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Foundations of Strong Call by Need
Proceedings of the ACM on Programming Languages
Abstract Machines for Open Call-By-Value
Science of Computer Programming
Software
Decidable Call-By-Need Computations in Term Rewriting
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
A Non-Deterministic Call-By-Need Lambda Calculus
ACM SIGPLAN Notices
Mixin Modules in a Call-By-Value Setting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linear Dependent Types in a Call-By-Value Scenario
Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics
Towards a Semantic Measure of the Execution Time in Call-By-Value Lambda-Calculus
EasyChair Preprints
