scientific article; zbMATH DE number 6984327
From MaRDI portal
Publication:4556181
Recommendations
- On incomparability of interpretation algorithms of typed functional programs with respect to undefined value
- Semantics of untyped functional programs
- On basic semantics of untyped functional programs
- On interpretation of functional programming languages
- On transformations of untyped functional programs and their procedural semantics
- Verification of non-functional programs using interpretations in type theory
- Unsolvability of type correctness problem for functional programs
- scientific article; zbMATH DE number 3952752
- Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs
Cited in
(10)- Semantics of untyped functional programs
- On interpretation of functional programming languages
- On equation systems in monotonic models of typed -calculus
- On transformations of untyped functional programs and their procedural semantics
- A type-based escape analysis for functional languages
- Why untyped nonground metaprogramming is not (much of) a problem
- On incomparability of interpretation algorithms of typed functional programs with respect to undefined value
- scientific article; zbMATH DE number 6823356 (Why is no real title available?)
- On the runtime complexity of type-directed unboxing
- On basic semantics of untyped functional programs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4556181)
