Research output per year
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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
Bach Poulsen, C. & Van Der Rest, C., 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 1801-1831 31 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile3 Downloads (Pure) -
Intrinsically-typed definitional interpreters à la carte
van der Rest, C. R., Poulsen, C. B., Rouvoet, A. J., Visser, E. & Mosses, P. D., 2022, In: Proceedings of the ACM on Programming Languages. 6, OOPSLA2, p. 1903–1932 192.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile2 Downloads (Pure) -
Language-parametric static semantic code completion
Pelsmaeker, D. A. A., van Antwerpen, H., Poulsen, C. B. & Visser, E., 2022, In: Proceedings of the ACM on Programming Languages. 6, OOPSLA1, p. 1-30 30 p., 3527329.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile5 Downloads (Pure) -
Latent Effects for Reusable Language Components
van den Berg, B., Schrijvers, T., Poulsen, C. B. & Wu, N., 2021, Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Proceedings. Oh, H. (ed.). Springer Science+Business Media, Vol. 13008. p. 182-201 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13008 LNCS).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
-
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/Preprint › Working paper › Scientific
Open AccessFile54 Downloads (Pure)