Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Giulio Guerrieri

Abstract Machines for Open Call-By-Value

Science of Computer Programming
Software
2019English

Towards a Semantic Measure of the Execution Time in Call-By-Value Lambda-Calculus

EasyChair Preprints
2018English

Related publications

Call-By-Need Is Clairvoyant Call-By-Value

Proceedings of the ACM on Programming Languages
2019English

Abstracting Abstract Machines

ACM SIGPLAN Notices
Computer Science
2010English

Concurrent Abstract Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1991English

OPEN: Call for Papers

Technology Architecture and Design
Visual ArtsPerforming ArtsArchitectureUrban Studies
2019English

Interaction Abstract Machines

1993English

Call-By-Value Is Dual to Call-By-Name – Reloaded

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Concurrent Abstract State Machines

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2015English

Open Call for a Columnist

General Music Today
2020English

Formal Verification of Programs for Abstract Register Machines

Bulletin of the Novosibirsk Computing Center. Series:Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy