Travelled to:1 × Italy
1 × The Netherlands
Collaborated with:J.Hage S.Holdermans G.Giorgidze T.Grust T.Schreiber N.Schweinsberg
Talks about:polymorph (2) diagnosi (2) languag (2) higher (2) haskel (2) secur (2) order (2) error (2) type (2) comprehens (1)
Person: Jeroen Weijers
DBLP: Weijers:Jeroen
Contributed to:
20132014
2010
2011Wrote 4 papers:
- PEPM-2013-WeijersHH #fault #higher-order #polymorphism #security
- Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 3–12.
- PEPM-J-2013-WeijersHH14 #fault #higher-order #polymorphism #security
- Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 200–218.
- IFL-2010-GiorgidzeGSW #execution #haskell
- Haskell Boards the Ferry — Database-Supported Program Execution for Haskell (GG, TG, TS, JW), pp. 1–18.
- Haskell-2011-GiorgidzeGSW #monad
- Bringing back monad comprehensions (GG, TG, NS, JW), pp. 13–22.