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

Orthogonal Serialisation for Haskell Jost Berthold Department of Computer Science University of Copenhagen

Source URL: www.diku.dk

Krzysztof Woś Low-level code optimisations in the Glasgow Haskell Compiler .

Source URL: research.microsoft.com

• Compiler construction
• Functional programming
• Compilers
• Programming language implementation
• Functional languages
• Glasgow Haskell Compiler
• Haskell
• C--
• LLVM
• Simon Marlow
• Simon Peyton Jones
• Intermediate representation

Programm Haskell-Treffen HaL-9 Halle/Saalehttp://iba-cg.de/hal9.html Ort: Institut f¨

Source URL: code.haskell.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

Hoogλe Finding Functions from Types Neil Mitchell haskell.org/hoogle community.haskell.org/~ndm/

Source URL: ndmitchell.com

• Software engineering
• Computing
• Computer programming
• Data types
• Functional languages
• Primitive types
• Functional programming
• Edit distance
• String
• Haskell
• Id
• Boolean data type

Bayesian Network Inference Approach to probe Foodweb interactions between herring and zooplankton in the Irish Sea

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Literate programming
• Functional programming
• Monad
• Haskell
• Inline expansion
• First-order logic

c ACM, 2007. 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 Wor

Source URL: ndmitchell.com

• Mathematical analysis
• Analysis
• Constructible universe
• Expected value
• Ordinal number
• Distribution
• Probability distributions
• Beta distribution
• CurryHoward correspondence