A Portrait of the Engineer as a Haskell Programmer Dr.-Ing. Philipp Guttenberg Amalienstraße 49aMünchen

Source URL: www.bioinf.uni-leipzig.de

CS240H: Implementing Paxos in Haskell Jiayuan Ma JuneAbstract

Source URL: www.scs.stanford.edu

• Fault-tolerant computer systems
• Computing
• Distributed algorithms
• Computer programming
• Inter-process communication
• Paxos
• Consensus
• Software engineering
• Haskell features
• Algorithm
• Futures and promises

[Faculty of Science Information and Computing Sciences] Applied Functional Programming USCS 2011

Source URL: foswiki.cs.uu.nl

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Literate programming
• QuickCheck
• Scala
• Haskell
• Software bug

Last week, David Terei lectured about the compilation pipeline which is responsible for producing the executable binaries of the Haskell code you actually want to run.

Source URL: www.scs.stanford.edu

• Software engineering
• Computing
• Software
• Functional languages
• Haskell
• Glasgow Haskell Compiler
• Clean
• Green threads
• Entry point
• Runtime system
• Bytecode
• Yi

Guide to lhs2TEX (for versionRalf Hinze Computing Laboratory, University of Oxford

Source URL: www.andres-loeh.de

• Software engineering
• Software
• Computer programming
• Source code
• Functional languages
• Haskell
• Literate programming
• Directive
• Comment
• Printf format string
• Map
• LaTeX

Freie Theoreme — Was und Wie (Haskell in Leipzig 3) Janis Voigtl¨ander Technische Universit¨ at Dresden

Source URL: www.janis-voigtlaender.eu

Haskell zur Constraint-Programmierung HaL8 Alexander Bau∗ 2. Mai 2013

Source URL: www.bioinf.uni-leipzig.de

Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden

Source URL: www.janis-voigtlaender.eu

• Wellfoundedness
• Mathematical logic
• Mathematics
• Constructible universe
• Proof theory
• Logic
• Ordinal numbers
• CurryHoward correspondence
• Conjugate element

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

Source URL: www.user.tu-berlin.de

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

Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes

Source URL: www.cs.uu.nl

• Software engineering
• Declarative programming
• Computing
• Data types
• Functional languages
• Type theory
• Functional programming
• Generic programming
• Dependently typed programming
• Generalized algebraic data type
• ATS
• Haskell