<--- Back to Details
First PageDocument Content
Agda / Haskell / Emacs / ALF / Type theory / Dependent type / Coq / Lambda calculus / Functional programming / Software / Computing / Functional languages
Date: 2007-02-22 06:02:29
Agda
Haskell
Emacs
ALF
Type theory
Dependent type
Coq
Lambda calculus
Functional programming
Software
Computing
Functional languages

Add to Reading List

Source URL: ocvs.cfv.jp

Download Document from Source Website

File Size: 550,25 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