Supero: Making Haskell Faster

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Higher-order functions
• Programming language comparisons
• Fold
• Recursion
• Haskell
• Tak
• Map
• Haskell features

Supero: Making Haskell Faster

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Higher-order functions
• Programming language comparisons
• Functional languages
• Recursion
• Literate programming
• Fold
• Haskell
• Map
• XS

c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Source URL: ndmitchell.com

• Software engineering
• Declarative programming
• Computer programming
• Lambda calculus
• Functional programming
• Subroutines
• Formal methods
• Theoretical computer science
• Combinatory logic
• Let expression
• Lambda lifting
• Anonymous function

Interactive Narrative Declarative Optimization-Based Drama Management in Interactive Fiction

Source URL: www.kmjn.org

• Gaming
• Software
• Entertainment
• Anchorhead
• Dungeon Master
• Plot
• Interactive fiction
• Faade
• Reinforcement learning
• Storytelling
• Gameplay
• Types of fiction with multiple endings

A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

Source URL: ndmitchell.com

• Software engineering
• Mathematics
• Declarative programming
• Lambda calculus
• Functional programming
• Functions and mappings
• Let expression
• Embedding
• Monad
• Anonymous function

Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Lambda calculus
• Subroutines
• Functional languages
• Literate programming
• Monad
• Let expression
• Glasgow Haskell Compiler
• Anonymous function

Optimizing Rakudo Perl 6 Jonathan Worthington OH HAI

Source URL: jnthn.net

• Perl 6
• Cross-platform software
• High-level programming languages
• Scripting languages
• Rakudo Perl 6
• Perl
• VM
• Executable
• Declarative programming

Deriving a Relationship from a Single Example Neil Mitchell Abstract Given an appropriate domain specific language (DSL), it is possible

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Programming language comparisons
• Functional languages
• Monad
• Generic programming
• Type class
• Algebraic data type

A Brief Presentation of OCaml Simon Cruanes September 14, 2015 Simon Cruanes

Source URL: cedeela.fr

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Type theory
• Procedural programming languages
• OCaml
• Caml
• Standard ML
• Type variable
• Immutable object

Declarative, Distributed, Edge Computation Christopher Meiklejohn // @cmeik RICON 2015, November 6th, 2015

Source URL: ricon.io