Hendrik van Antwerpen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Hendrik van Antwerpen' as author, editor, or advisor:

Knowing When to Ask: ArtifactArjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. 1.0, oct 2020. [doi]
Stack Graphs: Name Resolution at ScaleDouglas A. Creager, Hendrik van Antwerpen. BIRTHDAY 2023: [doi]
Thesis Boris Janssen: Bootstrapped StatixBoris Janssen, Hendrik van Antwerpen, A.S. Zwaan, GabriÃ«l Konat, Jeff Smits, Daniel A.A. Pelsmaeker, Lennart C. L. Kats, Casper Bach Poulsen, Vlad Vergu, Michael Steindorfer, Daco Harkes, Eelco Visser, Eduardo Souza, Augusto Passalacqua, Taico Aerts, Jochem Broekhoff, Oskar van Rest, Paul, Guido Wachsmuth, MeAmAnUsername, Jasper Denkers, Paolo G. Giarrusso. thesis, apr 2023. [doi]
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specificationsArjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. PACMPL, 4(OOPSLA), 2020. [doi]

runs on WebDSL