Fully Abstract Translations Between Functional Languages

doi 10.1145/99583.99617
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Fully Abstract Compilation to JavaScript

ACM SIGPLAN Notices
Computer Science
2013English

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

2017English

Preservative Translations Between Logical Systems

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

On Relational and Functional Languages

Logic and Logical Philosophy
Philosophy
2013English

Improving the Interoperation Between Generics Translations

2015English

Parallelism in Sequential Functional Languages

1995English

Functional Sentence Perspective in Seven Translations of Anna Karenina

Meta
LinguisticsPhilosophyLanguage
2002English

A Fully Abstract Denotational Model for Higher-Order Processes

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

A Memoizing Semantics for Functional Logic Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy