Higher-order function

Results: 126



#Item
1A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi

A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi

Add to Reading List

Source URL: www.di.univaq.it

Language: English - Date: 2011-02-08 09:50:34
2Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
302157 Functional Programming - Tagged values and Higher-order list functions

02157 Functional Programming - Tagged values and Higher-order list functions

Add to Reading List

Source URL: www.imm.dtu.dk

Language: English - Date: 2013-01-17 16:16:49
4Scala By Example June 11, 2014 Martin Odersky

Scala By Example June 11, 2014 Martin Odersky

Add to Reading List

Source URL: scala-lang.org

Language: English - Date: 2014-06-10 20:00:38
5Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics

Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics

Add to Reading List

Source URL: www.olejohandahl.info

Language: English - Date: 2013-09-23 13:44:35
6A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
7Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
802157 Functional ProgrammingFunctional Programming

02157 Functional ProgrammingFunctional Programming

Add to Reading List

Source URL: www.imm.dtu.dk

Language: English - Date: 2013-01-17 16:57:52
9CSE 341, Winter 2013, Assignment 1 Due: Wednesday January 16, 11:00PM You will write 11 SML functions (and tests for them) related to calendar dates. In all problems, a “date” is an SML value of type int*int*int, whe

CSE 341, Winter 2013, Assignment 1 Due: Wednesday January 16, 11:00PM You will write 11 SML functions (and tests for them) related to calendar dates. In all problems, a “date” is an SML value of type int*int*int, whe

Add to Reading List

Source URL: courses.cs.washington.edu

Language: English - Date: 2013-01-11 23:17:39
10Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek

Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek

Add to Reading List

Source URL: homes.soic.indiana.edu

Language: English - Date: 2015-04-23 14:36:51