Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines

doi 10.1109/lics.2017.8005118
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Abstracting Abstract Machines

ACM SIGPLAN Notices
Computer Science
2010English

Concurrent Abstract Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1991English

Interaction Abstract Machines

1993English

Concurrent Abstract State Machines

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2015English

Fully Abstract Compilation to JavaScript

ACM SIGPLAN Notices
Computer Science
2013English

Environments and the Complexity of Abstract Machines

2017English

Fully Abstract Translations Between Functional Languages

1991English

Abstract Machines for Open Call-By-Value

Science of Computer Programming
Software
2019English

State Enumeration With Abstract Descriptions of State Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy