Debian Haskell BoF Joachim Breitner DebConf 2015, August 17, 2015 Agenda

Source URL: annex.debconf.org

Online Learning and Planning in Resource Conservation Games Yundi Qian, William B. Haskell, Albert Xin Jiang, Milind Tambe University of Southern California, Los Angeles, CA, 90089 {yundi.qian, william.b.haskell, jiangx

Source URL: swarmlab.unimaas.nl

Refinement Types For Haskell Niki Vazou Eric L. Seidel Ranjit Jhala

Source URL: goto.ucsd.edu

c Cambridge University Press 2010 JFP 20 (3 & 4): 271–302, 2010.  271 doi:S095679681000016X First published online 29 September 2010

Source URL: publications.lib.chalmers.se

• Software engineering
• Computer programming
• Computing
• Type theory
• Functional programming
• Data types
• Generic programming
• C++
• Type class
• Glasgow Haskell Compiler
• Monad
• Haskell

Generic Storage in Haskell WGP 2010 Sebastiaan Visser and Andres L¨ oh Utrecht University

Source URL: www.andres-loeh.de

Technical Assistance and Education for the Native American Nations In Kansas, Nebraska and South Dakota

Source URL: mtac.isws.illinois.edu

• Lakota
• American Indian Higher Education Consortium
• Sinte Gleska University
• Rosebud Indian Reservation
• Nebraska Indian Community College
• Pine Ridge Indian Reservation
• Spotted Tail
• Tribal colleges and universities
• Drinking water
• Haskell Indian Nations University

Data Flow Fusion with Series Expressions in Haskell Ben Lippmeier† Manuel M. T. Chakravarty† Gabriele Keller†

Source URL: benl.ouroborus.net

The Functional Web Warp: A Haskell Web Server Michael Snoyman • Suite Solutions R

Source URL: steve.vinoski.net

• Software engineering
• Computing
• Computer programming
• World Wide Web
• Functional programming
• Yesod
• Iteratee
• Snap
• Network protocols
• Monad
• Haskell
• Glasgow Haskell Compiler

Distributed Programming with Cloud Haskell Andres Löh 14 June 2013, Big Tech Day 6

Source URL: www.andres-loeh.de

chapter 13 Reasoning about programs In this final chapter we introduce the idea of reasoning about Haskell programs. We start by reviewing the notion of equational reasoning, then consider how

Source URL: www.cs.nott.ac.uk