Applicative programming language - PDFSEARCH.IO - Document Search Engine

Applicative programming language
Results: 5

#	Item
1	Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-03-11 08:14:50 Category theory Monad Functor Map Natural transformation Monoid List Applicative programming language Strong monad Adjoint functors Abstract algebra Software engineering
2	Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-03-11 08:14:50 Category theory Monad Functor Map Natural transformation Monoid List Applicative programming language Strong monad Adjoint functors Abstract algebra Software engineering
3	Digital Design Derivation 1. Introduction This research applies formal methods in logic, verification, and synthesis to digital design engineering. The work centers on the use of applicative notation for system descript Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 15:58:20 Logic in computer science Digital electronics Logic synthesis Logic simulation High-level synthesis Verilog Actor model Abstraction Programming language Electronic engineering Electronic design automation Electronic design
4	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Adjoint functors Functional programming Logic in computer science Monad Models of computation Functor Applicative programming language Denotational semantics Map Declarative programming Abstract algebra Software engineering
5	Programming in Standard ML ’97: A Tutorial Introduction Stephen Gilmore Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-08-18 13:56:42 Functional languages Type theory Procedural programming languages Data types Functional programming Standard ML ML Applicative programming language Programming language Software engineering Computing Computer programming