Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson

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

• Functional programming
• Software engineering
• Computer programming
• Computing
• Monad
• Arrow
• Functional reactive programming
• Strong monad
• Type class
• Combinatory logic
• Pure function

Declarative Game Programming Distilled Tutorial Henrik Nilsson Ivan Perez

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

• Software engineering
• Declarative programming
• Computing
• Functional programming
• Programming paradigms
• Evaluation strategy
• Functional reactive programming
• Digital signal processing
• Formal methods
• Arrow
• International Conference on Functional Programming
• Signal

Bridging the GUI Gap with Reactive Values and Relations Ivan Perez Henrik Nilsson School of Computer Science

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

• Computer programming
• Computing
• Software engineering
• Widget toolkits
• Functional programming
• Graphical user interfaces
• Application programming interfaces
• Evaluation strategy
• Reactive programming
• Widget
• Functional reactive programming
• Tk

Towards inferring environment models for control functions from recorded signal data Henrik Peters, Falk Howar, Andreas Rausch Clausthal University of Technology, Department of Informatics Julius-Albert-Str. 4, 38678 Cla

Source URL: www.falkhowar.de

• Finite-state machine
• Image segmentation
• Machine learning
• Cellular automata
• Finite automata
• Automata theory
• Cognition
• Cognitive science
• Artificial intelligence

PhyloInformatics 5: Cortbase version 2 – extensive updates of a nomenclatural database for corticioid fungi (Hymenomycetes) Erast Parmasto1, R. Henrik Nilsson2 & KarlHenrik Larsson2

Source URL: andromeda.botany.gu.se

Approved by: Henrik Vuorinen Date: Edition: 6.0 Avfalls- och sludgehantering, arbetsgång och villkor Allmänt

Source URL: portlulea.com

SEЧМЯ ДРАМЛАРЫ HENRIK IBSEN БАКЫ – 2002 Selected Drama Works by Henrik Ibsen Baku – 2002

Source URL: www.azeri.org

Improving the ion current density distribution from a gridless ion source by optimising the orientation. Henrik Fabricius DELTA Light & Optics Hjortekaersvej 99, DK-2800 Lyngby, Denmark Division ofDELTA Danish Electronic

Source URL: www.deltaopticalthinfilm.com

To appear in the SIGGRAPH conference proceedings A Physically-Based Night Sky Model Henrik Wann Jensen1 1

Source URL: graphics.stanford.edu

Suppression Effects in the DualSource Model of Conditional Reasoning Henrik Singmann Sieghard Beller Karl Christoph Klauer

Source URL: pfeifer.userweb.mwn.de