Travelled to:
1 × Canada
1 × Italy
1 × Portugal
Collaborated with:
K.Claessen P.Klint ∅ O.Kiselyov B.Lisser P.Buiras
Talks about:
monad (3) reflect (2) type (2) frp (2) unconstrain (1) transform (1) principl (1) independ (1) function (1) without (1)
Person: Atze van der Ploeg
DBLP: Ploeg:Atze_van_der
Contributed to:
Wrote 6 papers:
- ICFP-2015-PloegC #exclamation
- Practical principled FRP: forget the past, change the future, FRPNow! (AvdP, KC), pp. 302–314.
- PADL-2013-KlintP #2d #declarative #independence #library
- A Library for Declarative Resolution-Independent 2D Graphics (PK, AvdP), pp. 1–18.
- SLE-2011-KlintLP #analysis #towards #visualisation
- Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software (PK, BL, AvdP), pp. 1–18.
- Haskell-2013-Ploeg #functional #monad #programming
- Monadic functional reactive programming (AvdP), pp. 117–128.
- Haskell-2014-PloegK #monad #sequence
- Reflection without remorse: revealing a hidden sequence to speed up monadic reflection (AvdP, OK), pp. 133–144.
- Haskell-2016-PloegCB #dynamic typing #monad #type safety #type system
- The Key monad: type-safe unconstrained dynamic typing (AvdP, KC, PB), pp. 146–157.