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

Source URL: uclmr.github.io

• 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

Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002

Source URL: xavierleroy.org

Marcel Beemster is a Senior Software Engineer at ACE Associated Compiler Experts bv. He received his PhD from the University of Amsterdam for compiler analysis of fine-grained parallelism in functional languages and he h

Source URL: conferenze.dei.polimi.it

c 1993 Cambridge University Press J. Functional Programming 1 (1): 1{000, JanuaryBenchmarking Implementations of Functional Languages with

Source URL: www.iro.umontreal.ca

• Software engineering
• Computer programming
• Computing
• Functional languages
• Procedural programming languages
• Programming languages
• Compiler construction
• Object-oriented programming languages
• ML
• Lennart Augustsson
• Caml
• Haskell

Functional Query Languages with Categorical Types A dissertation presented by Ryan Wisnesky to

Source URL: wisnesky.net

The Generalized Intensional Transformation for Implementing Lazy Functional Languages Georgios Fourtounis1 Nikolaos Papaspyrou1

Source URL: www.softlab.ntua.gr

Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C

Source URL: web.student.chalmers.se

Functional Query Languages with Categorical Types Ryan Wisnesky November 2013

Source URL: wisnesky.net

Super 8 Languages for Making Movies (Functional Pearl)

Source URL: www.ccs.neu.edu

23rd Symposium on Implementation and Application of Functional Languages Lawrence, Kansas, USA October 3-5, 2011. http://www.ittc.ku.edu/if‌l2011/

Source URL: www.ittc.ku.edu