BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Estonia
1 × France
1 × Sweden
1 × The Netherlands
4 × USA
4 × United Kingdom
Collaborated with:
G.Giorgidze ∅ J.Peterson I.P.0001 P.Hudak A.Courtney I.Perez B.v.Gijzel D.Broman N.Sculthorpe P.Fritzson J.Bracker Guerric Chupin I.Pembeci G.D.Hager M.Bärenz
Talks about:
function (11) reactiv (7) program (6) languag (5) model (4) yampa (3) switch (2) hybrid (2) robot (2) debug (2)

Person: Henrik Nilsson

DBLP DBLP: Nilsson:Henrik

Facilitated 1 volumes:

Haskell 2004Ed

Contributed to:

PPDP 20142014
IFL 20132013
PADL 20122012
ICFP 20092009
IFL 20082008
PADL 20082008
ICFP 20052005
ICFP 20032003
PADL 20032003
AFP 20022002
PPDP 20022002
ICFP 19991999
PLILP 19921992
Haskell 20032003
Haskell 20072007
Haskell 20152015
Haskell 20162016
PPDP 20192019

Wrote 19 papers:

PPDP-2014-NilssonP #declarative #game studies #programming #tutorial
Declarative Game Programming: Distilled Tutorial (HN, IP), pp. 159–160.
IFL-2013-GijzelN #framework #implementation #modelling #towards #verification
Towards a framework for the implementation and verification of translations between argumentation models (BvG, HN), p. 93.
PADL-2012-BromanN #equation #modelling #object-oriented #semantics
Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages (DB, HN), pp. 258–272.
ICFP-2009-SculthorpeN #dependent type #functional #programming
Safe functional reactive programming through dependent types (NS, HN), pp. 23–34.
IFL-2008-GiorgidzeN #functional #haskell #hybrid #modelling
Embedding a Functional Hybrid Modelling Language in Haskell (GG, HN), pp. 138–155.
PADL-2008-GiorgidzeN
Switched-On Yampa (GG, HN), pp. 282–298.
ICFP-2005-Nilsson #algebra #data type #functional #optimisation #programming #using
Dynamic optimization for functional reactive programming using generalized algebraic data types (HN), pp. 54–65.
ICFP-2003-Nilsson #automation #difference #functional
Functional automatic differentiation with dirac impulses (HN), pp. 153–164.
PADL-2003-NilssonPH #functional #hybrid #modelling
Functional Hybrid Modeling (HN, JP, PH), pp. 376–390.
AFP-2002-HudakCNP02 #functional #programming
Arrows, Robots, and Functional Reactive Programming (PH, AC, HN, JP), pp. 159–187.
PPDP-2002-PembeciNH #domain-specific language #functional #integration
Functional reactive robotics: an exercise in principled integration of domain-specific languages (IP, HN, GDH), pp. 168–179.
ICFP-1999-Nilsson #debugging #functional #lazy evaluation
Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages (HN), pp. 36–47.
PLILP-1992-NilssonF #algorithm #debugging #functional #lazy evaluation
Algorithmic Debugging for Lazy Functional Languages (HN, PF), pp. 385–399.
Haskell-2003-CourtneyNP
The Yampa arcade (AC, HN, JP), pp. 7–18.
Haskell-2007-GiorgidzeN
Demo outline: switched-on yampa (GG, HN), p. 93.
Haskell-2015-PerezN #user interface
Bridging the GUI gap with reactive values and relations (IP0, HN), pp. 47–58.
Haskell-2016-BrackerN #named
Supermonads: one notion to bind them all (JB, HN), pp. 158–169.
Haskell-2016-PerezBN #functional #programming
Functional reactive programming, refactored (IP0, MB, HN), pp. 33–44.
PPDP-2019-ChupinN #functional #programming
Functional Reactive Programming, restated (GC, HN), p. 14.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.