<--- Back to Details
First PageDocument Content
Software engineering / Computing / Programming paradigms / Evaluation strategy / Functional programming / Computer programming / Concurrent programming languages / Functional reactive programming / Reactive programming / Computer architecture / Dataflow programming / Dataflow
Date: 2011-02-09 02:39:42
Software engineering
Computing
Programming paradigms
Evaluation strategy
Functional programming
Computer programming
Concurrent programming languages
Functional reactive programming
Reactive programming
Computer architecture
Dataflow programming
Dataflow

The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

Add to Reading List

Source URL: thev.net

Download Document from Source Website

File Size: 475,84 KB

Share Document on Facebook

Similar Documents

3D computer graphics / Computer graphics / Computer-aided engineering / Polygon mesh / STL / Constructive solid geometry / 3D modeling / Mesh / Geometry processing

Functional Programming for Compiling and Decompiling Computer-Aided Design

DocID: 1xW3j - View Document

Software engineering / Computing / Computer programming / Tutorial / Don Sannella / Haskell / D / Informatics / Functional programming

Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella

DocID: 1xVWA - View Document

Theoretical computer science / Quantum information science / Quantum mechanics / Quantum computing / Models of computation / Emerging technologies / Quantum programming / Quantum circuit / Reversible computing / QML / Qubit / Quantum teleportation

Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop

DocID: 1xVW1 - View Document

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

DocID: 1xVxz - View Document

Computational neuroscience / Applied mathematics / Cybernetics / Mathematics / Cognitive science / Artificial intelligence / Computational statistics / Artificial neural networks / Neural network / Outline of machine learning / Machine learning / Shortest path problem

Synthesis of Differentiable Functional Programs for Lifelong Learning Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al

DocID: 1xVxf - View Document