scientific article; zbMATH DE number 6823356
From MaRDI portal
Publication:4602236
Recommendations
- On transformations of untyped functional programs and their procedural semantics
- scientific article; zbMATH DE number 6984327
- On basic semantics of untyped functional programs
- Semantics of untyped functional programs
- On incomparability of interpretation algorithms of typed functional programs with respect to undefined value
- Program equivalence in an untyped, call-by-value functional language with uncurried functions
- Program transformations in a denotational setting
- Unsolvability of type correctness problem for functional programs
- Fully abstract translations between functional languages
- scientific article; zbMATH DE number 4106261
Cited in
(13)- Reducing transformations for functional programs with assignment
- Semantics of untyped functional programs
- \(\mathsf{CoreFun}\): a typed functional reversible core language
- On equation systems in monotonic models of typed -calculus
- Unsolvability of type correctness problem for functional programs
- On transformations of untyped functional programs and their procedural semantics
- Typed vs. untyped realizability
- Why untyped nonground metaprogramming is not (much of) a problem
- On incomparability of interpretation algorithms of typed functional programs with respect to undefined value
- Typed Relational Conversion
- On canonical notion of -reduction and on translation of typed -terms into untyped -terms
- Expressive power of typed and type-free programming languages
- 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 Q4602236)
