An informal tour through the Raspberry PI 2 DAB software∗ Jan van Katwijk Lazy Chair Computing The Netherlands DRAFT

Source URL: www.sdr-j.tk

A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

Source URL: ndmitchell.com

• Software engineering
• Mathematics
• Declarative programming
• Lambda calculus
• Functional programming
• Functions and mappings
• Let expression
• Embedding
• Monad
• Anonymous function

Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Lambda calculus
• Subroutines
• Functional languages
• Literate programming
• Monad
• Let expression
• Glasgow Haskell Compiler
• Anonymous function

SDR-J-SW-7∗ Software for SDR : The 32 bits sw-receiver Jan van Katwijk Lazy Chair Computing The Netherlands

Source URL: www.sdr-j.tk

WFM-RPI∗ Software for SDR : the WFM-RPI set Jan van Katwijk Lazy Chair Computing The Netherlands

Source URL: www.sdr-j.tk

A Simple, Lazy, Expression Evaluator Andrew Cooke∗ August 2006 Abstract

Source URL: www.acooke.org

Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman

Source URL: www.cs.ioc.ee

• Theoretical computer science
• Models of computation
• Mathematical logic
• Software engineering
• Computability theory
• Denotational semantics
• Logic in computer science
• Lambda calculus
• Substitution
• Function type

The Correctness of Launchbury’s Natural Semantics for Lazy Evaluation Joachim Breitner Programming Paradigms Group Karlsruhe Institute for Technology

Source URL: afp.sourceforge.net

Campaigns for Lazy Voters: Truncated Ballots Dorothea Baumeister Piotr Faliszewski Jérôme Lang

Source URL: www.ifaamas.org

Lazy Programs Leak Secrets Pablo Buiras and Alejandro Russo Dept. of Computer Science and Engineering Chalmers University of TechnologyG¨ oteborg, Sweden

Source URL: www.cse.chalmers.se