Casper Bach Poulsen - researchr profile

researchr

You are not signed in
Sign in
Sign up

2016	-	2016	:	Delft University of Technology
	-		:	TU Delft

Intrinsically-typed definitional interpreters à la carteCas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses. PACMPL, 6(OOPSLA2):1903-1932, 2022. [doi]

Language-parametric static semantic code completionDaniël A. A. Pelsmaeker, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser. PACMPL, 6(OOPSLA):1-30, 2022. [doi]

Knowing When to Ask: Sound scheduling of name resolution in type checkers derived from declarative specifications (Extended Version)Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. Zenodo, Oct 2020. [doi]

Knowing When to Ask: ArtifactArjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. 1.0, oct 2020. [doi]

Intrinsically-typed definitional interpreters for linear, session-typed languagesArjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. CPP 2020: 284-298 [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]

Intrinsic-Verification

runs on WebDSL