Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Beniamino Accattoli
Abstract Machines for Open Call-By-Value
Science of Computer Programming
Software
Environments and the Complexity of Abstract Machines
Related publications
Call-By-Need Is Clairvoyant Call-By-Value
Proceedings of the ACM on Programming Languages
Abstracting Abstract Machines
ACM SIGPLAN Notices
Computer Science
Concurrent Abstract Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
OPEN: Call for Papers
Technology Architecture and Design
Visual Arts
Performing Arts
Architecture
Urban Studies
Interaction Abstract Machines
Call-By-Value Is Dual to Call-By-Name – Reloaded
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Concurrent Abstract State Machines
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Open Call for a Columnist
General Music Today
Formal Verification of Programs for Abstract Register Machines
Bulletin of the Novosibirsk Computing Center. Series:Computer Science
