Research Output per year
Fingerprint Dive into the research topics where C.B. Poulsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 5 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Rouvoet, A., Poulsen, C., Krebbers, R. & Visser, E., 2020, ACM DL, p. 284-298, 15 p.Research output: Working paper › Scientific
Open Access
File
From definitional interpreter to symbolic executor
Mensing, A. D., Van Antwerpen, H., Poulsen, C. B. & Visser, E., 20 Oct 2019, META 2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, co-located with SPLASH 2019. Scholliers, C. & Chari, G. (eds.). Association for Computing Machinery (ACM), p. 11-20 10 p.Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open Access
File
Compositional soundness proofs of abstract interpreters
Keidel, S., Poulsen, C. & Erdweg, S., 1 Sep 2018, Proceedings of the ACM on Programming Languages. ICFP ed. Association for Computing Machinery (ACM), Vol. 2. 26 p. 72Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open Access
File
Intrinsically-Typed Definitional Interpreters for Imperative Languages
Poulsen, C. B., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E., 10 Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-34 34 p., 16.Research output: Contribution to journal › Article › Scientific › peer-review
Open Access
File
Scopes as Types
van Antwerpen, H., Bach Poulsen, C., Rouvoet, A. & Visser, E., 2018, In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, p. 1-30 30 p., 114.Research output: Contribution to journal › Article › Scientific › peer-review
Open Access
File