Publication:4413065
From MaRDI portal
zbMath1037.68011MaRDI QIDQ4413065
Germán Vidal, Michael Hanus, Elvira Albert
Publication date: 17 July 2003
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/S02-01.html
68N15: Theory of programming languages
Related Items
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation, Preserving Sharing in the Partial Evaluation of Lazy Functional Programs, Symbolic Specialization of Rewriting Logic Theories with Presto, Partial evaluation of Maple, Type-based homeomorphic embedding for online termination, Rules + strategies for transforming lazy functional logic programs, A partial evaluation framework for order-sorted equational programs modulo axioms, Operational semantics for declarative multi-paradigm languages, Optimization of rewrite theories by equational partial evaluation, A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
Uses Software