<--- Back to Details
First PageDocument Content
Models of computation / Logic in computer science / Functional languages / Programming paradigms / Lambda calculus / John von Neumann / Denotational semantics / FP / Functional programming / Software engineering / Computing / Mathematics
Date: 2010-02-03 11:47:10
Models of computation
Logic in computer science
Functional languages
Programming paradigms
Lambda calculus
John von Neumann
Denotational semantics
FP
Functional programming
Software engineering
Computing
Mathematics

Add to Reading List

Source URL: www.dnull.com

Download Document from Source Website

File Size: 2,87 MB

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