Maple: Simplifying SDN Programming Using Algorithmic Policies Andreas Voellmy? ? Junchang Wang?†

Source URL: haskell.cs.yale.edu

THE UNIVERSITY OF NEW SOUTH WALES SCHOOL OF COMPUTER SCIENCE AND ENGINEERING A Parallel Fluid Flow Simulator in Haskell

Source URL: benl.ouroborus.net

QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes

Source URL: www.cs.tufts.edu

Datatype-generic Programming in Haskell An introduction Andres Löh Well-Typed LLP 23 January 2012

Source URL: www.andres-loeh.de

Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2

Source URL: amitlevy.com

• Functional programming
• Programming idioms
• Inter-process communication
• Software design patterns
• Parallel computing
• Monad
• Concurrent Haskell
• Information flow
• Covert channel
• Concurrent computing
• LIO
• Recursion

Schulung Funktionale Programmierung Ziel dieser Schulung In jüngster Zeit haben funktionale Programmiersprachen wie Erlang, Scala, F#, Haskell, ML oder Caml vermehrt Aufmerksamkeit auf sich gezogen. Durch ein hohes Abst

Source URL: www.funktional.info

Haskell for (E)DSLs Andres Löh Well-Typed LLP Functional Programming eXchange, 16 March 2012

Source URL: www.andres-loeh.de

Haskell and Scala Adam Szlachta Introduction .

Source URL: scalacamp.pl

Haskell on a Shared-Memory Multiprocessor Tim Harris Simon Marlow Simon Peyton Jones

Source URL: timharris.uk

PDF Document

Source URL: haskell.cs.yale.edu