<--- Back to Details
First PageDocument Content
Functional programming / Software engineering / Computer programming / Computing / Monad / Arrow / Functional reactive programming / Strong monad / Type class / Combinatory logic / Pure function
Date: 2018-10-16 07:48:38
Functional programming
Software engineering
Computer programming
Computing
Monad
Arrow
Functional reactive programming
Strong monad
Type class
Combinatory logic
Pure function

Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson

Add to Reading List

Source URL: www.cs.nott.ac.uk

Download Document from Source Website

File Size: 1,53 MB

Share Document on Facebook

Similar Documents

Auction theory / Mathematics / Submodular set function / Competitive equilibrium / Theoretical computer science / Valuation / Gross substitutes / Software engineering / Pure / Combinatory logic

GROSS SUBSTITUTABILITY : AN ALGORITHMIC SURVEY RENATO PAES LEME∗ Abstract. The concept of gross substitute valuations was introduced by Kelso and Crawford as a sufficient conditions for the existence of Walrasian equil

DocID: 1rptM - View Document

Software engineering / Computing / Computer programming / Functional languages / Q / SQR / MIDI / Functional programming / Anonymous function / Open Sound Control / Futures and promises / Pure

Q: A Functional Programming Language for Q: A Functional Programming Language Multimedia Applications

DocID: 1qfec - View Document

C standard library / Functional programming / Subroutines / Functional languages / Printf format string / Printf / Eval / Lisp / Pure function

Sequencing, and IO Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

DocID: 1pHA7 - View Document

Lambda calculus / Combinatory logic / Church encoding / Fixed-point combinator / Anonymous function / Higher-order abstract syntax / Type system / Unification / De Bruijn index / Lambda calculus definition

Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract

DocID: 1oZ9H - View Document

Analytic number theory / Bernhard Riemann / Riemann zeta function / Hurwitz zeta function / Dirichlet L-function / Riemann hypothesis / Zeta / Prime number theorem / Zeta function regularization / Real analytic Eisenstein series

Proceedings of Symposia in Pure Mathematics Multiple Hurwitz Zeta Functions M. Ram Murty and Kaneenika Sinha Abstract. After giving a brief overview of the theory of multiple zeta functions, we derive the analytic conti

DocID: 1oXwJ - View Document