Haskell

Results: 1146



#Item
601Software / Haskell / Literate programming / Agda / Functional languages / Software engineering / Computing

[Faculty of Science Information and Computing Sciences] Indexed fixed points Andres Löh Dept. of Information and Computing Sciences, Utrecht University

Add to Reading List

Source URL: kosmikus.org

Language: English - Date: 2011-11-25 05:39:14
602Functional languages / Evaluation strategy / Programming paradigms / Functional programming / Flapjax / Functional reactive programming / Haskell / Reactive programming / Programming language / Software engineering / Computing / Computer programming

Advances in Programming Languages APL4: Coursework assigment topics Ian Stark School of Informatics The University of Edinburgh

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-10-01 08:46:14
603Parallel computing / Haskell / Literate programming / Type system / Actor model / Software transactional memory / MapReduce / Computing / Software engineering / Computer programming

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

Add to Reading List

Source URL: kosmikus.org

Language: English - Date: 2013-10-16 05:25:29
604Recursion / Programming idioms / Subroutines / Functional languages / Generic programming / Haskell / Fold / Arity / C++ classes / Computer programming / Software engineering / Computing

– Typeset by FoilTEX – A second prototype of a first prototype for Generic H SKELL A

Add to Reading List

Source URL: kosmikus.org

Language: English - Date: 2011-11-25 05:39:15
605Programming paradigms / Programming language / Generic programming / Object-oriented programming / Imperative programming / Functional programming / Nice / Haskell / D / Software engineering / Computing / Computer programming

Contracts in Trinity Andres L¨ oh joint work with Ralf Hinze and Andreas Schmitz Universit¨ at Bonn

Add to Reading List

Source URL: kosmikus.org

Language: English - Date: 2011-11-25 05:39:14
606Parameter / Generic function / Computing / Software engineering / Generic programming / EXPRESS

Exploring Generic Haskell Generic Haskell van alle kanten (met een samenvatting in het Nederlands) Proefschrift ter verkrijging van de graad van doctor aan de Universiteit Utrecht op gezag van de Rector Magnificus, Prof.

Add to Reading List

Source URL: kosmikus.org

Language: English - Date: 2011-11-25 05:39:14
607History of the United States / Puyallup / Native Americans in the United States / Camp Loughridge / Northwestern United States / Nez Perce War / Montana Territory / Nez Perce National Historical Park / Western United States / Nez Perce tribe / Nez Perce people

American Indian Youth Council Youth Conference July 13th – 18th Haskell Indian Nations University Lawrence, Kansas

Add to Reading List

Source URL: www.presbyterianmission.org

Language: English - Date: 2014-06-04 14:14:19
608Computer programming / Persistent data structure / Double-ended queue / Queue / Stack / List / Haskell / Purely functional / C / Abstract data types / Software engineering / Computing

Data Structures I Advanced Functional Programming ¨ ([removed]) Andres Loh Universiteit Utrecht

Add to Reading List

Source URL: kosmikus.org

Language: English - Date: 2011-11-25 05:39:14
609Computing / Parsing / Compiler construction / LL parser / Recursive descent parser / Top-down parsing / Formal grammar / Left recursion / J / Software engineering / Formal languages / Computer programming

Haskell, Do You Read Me? Constructing and Composing Efficient Top-down Parsers at Runtime Marcos Viera S. Doaitse Swierstra

Add to Reading List

Source URL: foswiki.cs.uu.nl

Language: English - Date: 2008-10-24 11:09:26
610Abstract data types / Functional programming / Procedural programming languages / Concurrent Haskell / Data types / Monad / C file input/output / Denotational semantics / Scheduling / Software engineering / Computing / Computer programming

Beauty in the Beast A Functional Semantics for the Awkward Squad Wouter Swierstra Thorsten Altenkirch

Add to Reading List

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

Language: English - Date: 2007-10-21 13:11:35
UPDATE