Jeroen Weijers

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Security Problems

Database Query Languages

Top Venues

Sci. Comput. Program.

Publications

Jeroen Weijers, Jurriaan Hage, Stefan Holdermans
Security type error diagnosis for higher-order, polymorphic languages. Sci. Comput. Program. 95 (2014)
George Giorgidze, Torsten Grust, Alexander Ulrich, Jeroen Weijers
Algebraic data types for language-integrated queries. DDFP (2013)
Jeroen Weijers, Jurriaan Hage, Stefan Holdermans
Security type error diagnosis for higher-order, polymorphic languages. PEPM (2013)
George Giorgidze, Torsten Grust, Nils Schweinsberg, Jeroen Weijers
Bringing back monad comprehensions. Haskell (2011)
George Giorgidze, Torsten Grust, Tom Schreiber, Jeroen Weijers
Haskell Boards the Ferry - Database-Supported Program Execution for Haskell. IFL (2010)