Abstract Machines for Open Call-By-Value

Science of Computer Programming - Netherlands
doi 10.1016/j.scico.2019.03.002
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Elsevier BV

Related search

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