Searching for "The Implementation of Functional Programming Languages." – sorted by Relevance.
-
A Reconfigurable Data Flow Machine for Implementing Functional Programming Languages
- A Reconfigurable Data Flow Machine for Implementing Functional Programming Languages Christophe
- Cited by 1 (0 self) – Add To MetaCart
-
Specifying Algorithms Using Evolving Algebra. Implementation of Functional Programming Languages.
- Specifying Algorithms Using Evolving Algebra. Implementation of Functional Programming Languages
- Cited by 4 (0 self) – Add To MetaCart
-
A Reconfigurable Data Flow Machine for Implementing Functional Programming Languages Christophe
- A Reconfigurable Data Flow Machine for Implementing Functional Programming Languages Christophe
- Add To MetaCart
-
Dynamic Semantics for NL
- in the functional programming language Haskell. 1 Point of Departure: DPL Dynamic Predicate Logic or DPL [6] is our
- Cited by 1 (1 self) – Add To MetaCart
-
Implementation of the Evolving Algebra System
- Algebra. Implementation of Functional Programming Languages. Contents 1 Evolving Algebra 1 1.1 Denition
- Add To MetaCart
-
Implementation of the Evolving Algebra System
- Algebra. Implementation of Functional Programming Languages. Contents 1 Evolving Algebra 1 1.1 Denition
- Add To MetaCart
-
Term Rewriting Systems
- type specifications, implementations of functional programming languages and automated deduction
- Cited by 522 (19 self) – Add To MetaCart
-
Multiplicity Inference - Inferring sizes of regions
- is about implementation of functional programming languages. In these languages the programmer does
- Add To MetaCart
-
Linear explicit substitutions (extended abstract
- which the implementation of functional programming languages can be studied. This paper generalises
- Cited by 1 (0 self) – Add To MetaCart
-
Coalgebraic Monads
- sketch part of the correctness of the the term graph implementation of functional programming languages
- Add To MetaCart

