Functional

Results: 21977



#Item
13D 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

Add to Reading List

Source URL: ttaylorr.com

Language: English - Date: 2018-10-18 11:59:59
2Mathematics / Algebra / Abstract algebra / Homotopy theory / Category theory / Algebraic structures / Differential geometry / Symmetry / Groupoid / Lie algebroid / Group action

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

Add to Reading List

Source URL: math.univ-bpclermont.fr

Language: English - Date: 2018-03-05 11:11:22
3Software 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

Add to Reading List

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

Language: English - Date: 2012-09-24 08:45:19
4Theoretical 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

Add to Reading List

Source URL: eprints.nottingham.ac.uk

Language: English - Date: 2017-10-17 16:19:51
5Functional 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

Add to Reading List

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

Language: English - Date: 2018-10-16 07:48:38
6Computational 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

Add to Reading List

Source URL: uclmr.github.io

Language: English - Date: 2018-08-06 06:17:49
7

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

Add to Reading List

Source URL: homes.sice.indiana.edu

Language: English - Date: 2015-05-11 18:45:51
    8Algebra / 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

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

    Add to Reading List

    Source URL: eta.impa.br

    Language: English - Date: 2018-07-25 13:17:43
    9Discworld / Literature / Fiction / Angua / Ankh-Morpork / Troll / Discworld books / PICT / Brutha / Ankh-Morpork City Watch

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

    Add to Reading List

    Source URL: www.cs.utah.edu

    Language: English - Date: 2004-07-07 16:55:57
    10Computing / Computer programming / Binary trees / Information science / Knowledge representation / Tree / Finger tree / B-tree / 23 tree / Double-ended queue / Search tree

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

    Add to Reading List

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

    Language: English - Date: 2014-10-28 05:49:57
    UPDATE