Travelled to:
1 × France
1 × United Kingdom
Collaborated with:
M.Odersky T.Rompf
Talks about:
transform (1) polymorph (1) increment (1) implement (1) reactiv (1) program (1) delimit (1) continu (1) select (1) higher (1)
Person: Ingo Maier
DBLP: Maier:Ingo
Contributed to:
Wrote 2 papers:
- ECOOP-2013-MaierO #higher-order #incremental #programming
- Higher-Order Reactive Programming with Incremental Lists (IM, MO), pp. 707–731.
- ICFP-2009-RompfMO #continuation #implementation #polymorphism
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (TR, IM, MO), pp. 317–328.