Casper Bach Poulsen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Casper Bach Poulsen' as author, editor, or advisor:

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]
Latent Effects for Reusable Language ComponentsBirthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu. aplas 2021: 182-201 [doi]
A Monadic Framework for Name Resolution in Multi-phased Type CheckersCasper Bach Poulsen, Aron Zwaan, Paul Hübner. GPCE 2023: 14-28 [doi]
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic EffectsCasper Bach Poulsen, Cas van der Rest. PACMPL, 7(POPL):1801-1831, January 2023. [doi]
Verifying Well-Typedness Preservation of Refactorings using Scope GraphsLuka Miljak, Casper Bach Poulsen, Flip van Spaendonck. FTfJP 2023: 44-50 [doi]
Renamingless Capture-Avoiding Substitution for Definitional InterpretersCasper Bach Poulsen. BIRTHDAY 2023: [doi]
Types and Semantics for Extensible Data TypesCas van der Rest, Casper Bach Poulsen. aplas 2023: 46-66 [doi]
Towards a Language for Defining Reusable Programming Language Components - (Project Paper)Cas van der Rest, Casper Bach Poulsen. sfp 2022: 18-38 [doi]

runs on WebDSL