swMATH4986MaRDI QIDQ17133FDOQ17133
Author name not available (Why is that?)
Official website: http://miranda.org.uk/
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- Implementing first-order rewriting with constructor systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Complete restrictions of the intersection type discipline
- Universal algebra in higher types
- Formal specification of topological subdivisions using hypermaps
- Interval propagation to reason about sets: Definition and implementation of a practical language
- The complexity of type inference for higher-order typed lambda calculi
- The integration of functions into logic programming: From theory to practice
- Lazy productivity via termination
- SOS formats and meta-theory: 20 years after
- Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
- Computational interpretations of linear logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Transfinite reductions in orthogonal term rewriting systems
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Using lazy evaluation to simulate realistic-size repertoires in models of the immune system
- An approach to object semantics based on terminal co-algebras
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Logic programming with functions and predicates: The language Babel
- Logic and Computation
- Typability and type checking in System F are equivalent and undecidable
- Title not available (Why is that?)
- Deforestation: Transforming programs to eliminate trees
- The Theory of Calculi with Explicit Substitutions Revisited
- Defining, analysing and implementing communication protocols using attribute grammars
- Full abstraction in the lazy lambda calculus
- Transfinite reductions in orthogonal term rewriting systems
- Relation algebraic domain constructions
- APL
- ML
- Modula
- CLEAN
- ObjectCurry
- PROOF
- ISDL
- OBSCURE
- DACTL
- BABEL
- FORTH
- CLOS
- POOL
- Haskell
- LETOS
- LISP
- Title not available (Why is that?)
- Alfalfa
- GUM
- iTasks
- Jambox
- Scheme
- Naira
- Sisal
- SmallEiffel
- COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS
- Title not available (Why is that?)
- Title not available (Why is that?)
- MiniMaple
- Ariel
- Caliban
- Clio
- FaCiLe
- Cambridge LCF
- Falafel
- Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs
- Automatic binding time analysis for a typed \(\lambda\)-calculus
- SETL
- qGCL
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Categories, relations and dynamic programming
- PROOF: A parallel object-oriented functional computation model
- OBSCURE, a specification language for abstract data types
- Issues in the design of a parallel object-oriented language
- Higher-order unification with dependent function types
- Needed reduction and spine strategies for the lambda calculus
- Title not available (Why is that?)
- GC\(^{2}\): a generational conservative garbage collector for the ATERM library
- Normalization results for typeable rewrite systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages
- {log}: A language for programming in logic with finite sets
- Descendants and origins in term rewriting.
- The lazy z-buffer
- Mapping a functional notation for parallel programs onto hypercubes
- Graphical and incremental type inference. A graph transformation approach
- Functorial polymorphism
- Title not available (Why is that?)
- Principal types and unification for simple intersection type systems
- Title not available (Why is that?)
- Towards the formal specification and verification of Maple programs
- Functional semantics
- A note on higher-order functions versus logical variables
- Title not available (Why is that?)
This page was built for software: Miranda
