Functional Programming for Compiling and Decompiling Computer-Aided Design

Source URL: ttaylorr.com

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

ARTICLE IN PRESS Journal of Functional Analysis–133 K-duality for pseudomanifolds with isolated singularities

Source URL: math.univ-bpclermont.fr

• Mathematics
• Algebra
• Abstract algebra
• Homotopy theory
• Category theory
• Algebraic structures
• Differential geometry
• Symmetry
• Groupoid
• Lie algebroid
• Group action

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

Source URL: www.inf.ed.ac.uk

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

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

Source URL: eprints.nottingham.ac.uk

• 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

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

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

• Functional programming
• Software engineering
• Computer programming
• Computing
• Monad
• Arrow
• Functional reactive programming
• Strong monad
• Type class
• Combinatory logic
• Pure function

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

Pycket: A Tracing JIT For a Functional Language Spenser Bauman a Carl Friedrich Bolz b Robert Hirschfeld c Vasily Kirilichev c Tobias Pape c

Source URL: homes.sice.indiana.edu

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–452) FUNCTIONAL TRANSCENDENCE AND ARITHMETIC APPLICATIONS Jacob Tsimerman

Source URL: eta.impa.br

• Algebra
• Abstract algebra
• Geometry
• Algebraic geometry
• Algebraic surfaces
• Hodge theory
• Analytic number theory
• Projective variety
• Hodge structure
• Elliptic curve
• Shimura variety
• Algebraic geometry and analytic geometry

Slideshow: Functional Presentations Robert Bruce Findler Matthew Flatt University of Chicago

Source URL: www.cs.utah.edu

• Discworld
• Literature
• Fiction
• Angua
• Ankh-Morpork
• Troll
• Discworld books
• PICT
• Brutha
• Ankh-Morpork City Watch

Accepted for publication in J. Functional Programming 1 Finger trees: a simple general-purpose data structure

Source URL: www.staff.city.ac.uk

• Computing
• Computer programming
• Binary trees
• Information science
• Knowledge representation
• Tree
• Finger tree
• B-tree
• 23 tree
• Double-ended queue
• Search tree