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
-
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 , 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 › Scientific
Open AccessFile32 Downloads (Pure) -
Knowing when to ask: Sound scheduling of name resolution in type checkers derived from declarative specifications
Rouvoet, A., Van Antwerpen, H., Poulsen, C. B., Krebbers, R. & Visser, E., 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, p. 1-28 28 p., 180.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile1 Citation (Scopus)17 Downloads (Pure) -
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 AccessFile1 Citation (Scopus)67 Downloads (Pure) -
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 AccessFile13 Downloads (Pure)