Support for the Evolution of C++ Generic Functions Peter Pirkelbauer1 , Damian Dechev2 , and Bjarne Stroustrup3 1 Lawrence Livermore National Laboratory

Source URL: pirkelbauer.com

• C++
• Concepts
• Generic programming
• Template
• C++11
• Functional
• Type system
• Standard Template Library
• Monad
• Polymorphism
• Scala
• Iterator

True Sums of Products Edsko de Vries Well-Typed LLP Well-Typed LLP

Source URL: www.edsko.net

• Functional programming
• Data types
• Type theory
• Functional languages
• Programming language comparisons
• Fold
• Polymorphism
• Monad
• Generic programming
• Map
• XS
• Generalized algebraic data type

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Scala-Virtualized: Linguistic Reuse for Deep Embeddings Tiark Rompf · Nada Amin · Adriaan Moors · Philipp Haller · Martin Odersky

Source URL: lampwww.epfl.ch

• Functional languages
• Object-oriented programming languages
• Order theory
• Scala
• Embedding
• Monad
• OCaml

Emma in Action: Declarative Dataflows for Scalable Data Analysis Alexander Alexandrov Andreas Salzmann Georgi Krastev Asterios Katsifodimos

Source URL: stratosphere.eu

• Computing
• Software engineering
• Computer programming
• Parallel computing
• Concurrent programming languages
• Functional languages
• Apache Software Foundation
• Cluster computing
• Apache Spark
• Apache Flink
• Scala
• Monad

Hoogle Overview by Neil Mitchell This article gives an overview of the Hoogle tool. We describe the history of Hoogle, the improvements that have been made this summer, and plans for future feature

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Computing
• Functional languages
• Functional programming
• Object-oriented programming languages
• Scripting languages
• Type theory
• Haskell
• Cabal
• Monad
• Type class

Shake ‘n’ Bake Neil Mitchell https://github.com/ndmitchell/{shake,bake} Build ‘n’ Integrate In Haskell

Source URL: ndmitchell.com

• Functional programming
• Monad
• Functional languages
• Make
• Haskell
• Include directive

Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Lauritz Thamsen Andreas Kunft Odej Kao

Source URL: stratosphere.eu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Higher-order functions
• Programming language comparisons
• Concurrent programming languages
• Object-oriented programming languages
• Monad
• Set-builder notation
• Scala
• Haskell

Mtac: A Monad for Typed Tactic Programming in Coq Beta Ziliani Max Planck Institute for Software Systems (MPI-SWS) joint work with Derek Dreyer (MPI-SWS),

Source URL: plv.mpi-sws.org

c ACM, 2008. 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
• Computer programming
• Declarative programming
• Functional programming
• Higher-order functions
• Programming language comparisons
• Concurrent programming languages
• Functional languages
• Curry
• Fold
• Monad
• Constraint

Type-Directed Language Extension for Effectful Computations Evgenii Kotelnikov Chalmers University of Technology Gothenburg, Sweden

Source URL: lampwww.epfl.ch

• Software engineering
• Computer programming
• Computing
• Functional programming
• Functional languages
• Programming idioms
• Object-oriented programming languages
• Programming language comparisons
• Monad
• Scala
• List comprehension
• Workflow