Searching for "Combinators and Functional Programming Languages" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Generic and Polymorphic Graph Transformations - Supporting the Definition of Visual Languages
- … the functional programming language concept of parametric polymorphism with the object-oriented concept…
- Add To MetaCart
-
Proc. Summer Workshop on Category and Computer
- … and Functional Programming Languages, Snowbird, Utah. Mauny M., Suarez A. [1986] "Implementig functional…
- Add To MetaCart
-
The Amber Machine
- …The Amber Machine Luca Cardelli 1 1 In: "Combinators and Functional Programming Languages" G…
- Add To MetaCart
-
Efficient Persistent Haskell
- …, AT & T Bell Labs Report, 1983 and In Combinators and Functional Programming Languages ed. G. Cousineau, P…
- Cited by 4 (0 self) – Add To MetaCart
-
Amber
- …1 In: "Combinators and Functional Programming Languages" G.Cousineau, P-L.Curien and B…
- Cited by 1 (0 self) – Add To MetaCart
-
ATT Bell Laboratories, Murray Hill, NJ 07974
- …1 In: "Combinators and Functional Programming Languages" G.Cousineau, P-L.Curien and B…
- Add To MetaCart
-
Inheritance of Proofs
- …, allows to combine the functional programming language ML and its module mechanism with logical…
- Cited by 5 (0 self) – Add To MetaCart
-
TARA: Actor-Based Object-Oriented Language For Efficient Distributed Software Development
- … Simula or Smalltalk. Smalltalk, for example, is a combination of functional programming language…
- Add To MetaCart
-
The Amber Machine
- …1 In: "Combinators and Functional Programming Languages" G.Cousineau, P-L.Curien and B…
- Cited by 5 (1 self) – Add To MetaCart
-
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
- … generation method Specware (combined with the functional programming language Haskel) with a state…
- Cited by 9 (1 self) – Add To MetaCart
Showing 1 through 10.
