FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF

Source URL: www.lix.polytechnique.fr

• Computing
• Software engineering
• Computer programming
• Array programming languages
• High-level programming languages
• Parallel computing
• Compiler optimizations
• Fortran
• Functional programming
• MATLAB
• Argonne National Laboratory
• NP

Juniper: A Functional Reactive Programming Language for the Arduino Caleb Helbling Samuel Z Guyer

Source URL: www.juniper-lang.org

• Software engineering
• Computing
• Computer programming
• Functional programming
• Data types
• Functional languages
• Evaluation strategy
• Subroutines
• Functional reactive programming
• Arduino
• Reactive programming
• Void type

GRADUATE SEMINAR Yingjie Wei Inference for Functional Data Master Student supervised by Dr. Dianliang Deng Monday, April 2, 2018

Source URL: www.uregina.ca

Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org

Source URL: www.ece.northwestern.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Combinatory logic
• Design by contract
• Enumerated type
• Eiffel
• Objective-C
• Contract
• Scope
• Exception handling

BlackPearl® Network Attached Storage Easily and affordably manage data while planning for the future with BlackPearl Network Attached Storage (NAS) traditional file system (CIFS/NFS). The multi-functional BlackPearl NAS

Source URL: www.teradactyl.com

• Computing
• Computer data storage
• Server appliance
• Network-attached storage
• Nearline storage
• Converged storage
• Spectra Logic

Functional Big-step Semantics Scott Owens1 , Magnus O. Myreen2 , Ramana Kumar3 , and Yong Kiam Tan4 1 2

Source URL: cakeml.org

• Theoretical computer science
• Logic
• Mathematical logic
• Logic in computer science
• Formal methods
• Programming language semantics
• Philosophical logic
• Models of computation
• Operational semantics
• Denotational semantics
• Standard ML
• Kripke semantics

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire Erik Meijer  Maarten Fokkinga y

Source URL: maartenfokkinga.github.io

• Computer programming
• Declarative programming
• Software engineering
• Functional programming
• Recursion
• Category theory
• Higher-order functions
• Lambda calculus
• Catamorphism
• Anamorphism
• Functor
• Fold

Functional Programming for Compiling and Decompiling Computer-Aided Design

Source URL: incarnate.uwplse.org

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

Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems

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

• Abstract data types
• Queue
• Double-ended queue
• Dequeue
• Statistical theory
• Probability and statistics
• Economy

1 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) VINCENT ST-AMOUR, DANIEL FELTEY, SPENCER P. FLORENCE, SHU-HUNG YOU, and ROBERT BRUCE FINDLER, PLT @ Northwestern University, USA

Source URL: www.ece.northwestern.edu

• Mathematics
• Algebra
• Fractals
• L-system
• Fractal curves
• Hygienic macro
• Arity
• Constructible universe