עקוב אחר
Casper Bach
Casper Bach
IMADA, SDU, Denmark
כתובת אימייל מאומתת בדומיין imada.sdu.dk - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Scopes as types‏
H Van Antwerpen, C Bach Poulsen, A Rouvoet, E Visser‏
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-30, 2018‏
642018
Intrinsically-Typed Definitional Interpreters for Imperative Languages‏
C Bach Poulsen, A Rouvoet, A Tolmach, R Krebbers, E Visser‏
592018
Intrinsically-typed definitional interpreters for linear, session-typed languages‏
A Rouvoet, C Bach Poulsen, R Krebbers, E Visser‏
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020‏
432020
Compositional soundness proofs of abstract interpreters‏
S Keidel, C Bach Poulsen, S Erdweg‏
Proceedings of the ACM on Programming Languages 2 (ICFP), 72, 2018‏
282018
Deriving pretty-big-step semantics from small-step semantics‏
C Bach Poulsen, PD Mosses‏
Programming Languages and Systems, 270-289, 2014‏
252014
Language-parametric static semantic code completion‏
DAA Pelsmaeker, H van Antwerpen, C Bach Poulsen, E Visser‏
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-30, 2022‏
232022
Latent Effects for Reusable Language Components‏
B van den Berg, T Schrijvers, C Bach Poulsen, N Wu‏
Asian Symposium on Programming Languages and Systems, 182-201, 2021‏
222021
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications‏
A Rouvoet, H Van Antwerpen, C Bach Poulsen, R Krebbers, E Visser‏
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020‏
222020
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics‏
C Bach Poulsen, P Néron, A Tolmach, E Visser‏
Technical Report TUDSERG-2016-010, Delft University of Technology …, 2016‏
212016
Generating specialized interpreters for modular structural operational semantics‏
C Bach Poulsen, PD Mosses‏
Logic-Based Program Synthesis and Transformation, 220-236, 2013‏
192013
Hefty Algebras‏
C Bach Poulsen, C van der Rest‏
Proceedings of the ACM on Programming Languages 7 (POPL), 1801–1831, 2023‏
172023
Flag-Based Big-Step Semantics‏
C Bach Poulsen, PD Mosses‏
arXiv preprint arXiv:1605.02935, 2016‏
17*2016
Intrinsically-typed definitional interpreters à la carte‏
C van der Rest, C Bach Poulsen, A Rouvoet, E Visser, P Mosses‏
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1903-1932, 2022‏
152022
From definitional interpreter to symbolic executor‏
AD Mensing, H Van Antwerpen, C Bach Poulsen, E Visser‏
Proceedings of the 4th ACM SIGPLAN International Workshop on Meta …, 2019‏
102019
Towards a Language for Defining Reusable Programming Language Components: (Project Paper)‏
C van der Rest, C Bach Poulsen‏
International Symposium on Trends in Functional Programming, 18-38, 2022‏
62022
Staged effects and handlers for modular languages with abstraction‏
C Bach Poulsen, C van der Rest, T Schrijvers‏
Workshop on Partial Evaluation and Program Manipulation (PEPM), 2021‏
62021
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs‏
L Miljak, C Bach Poulsen, F van Spaendonck‏
Proceedings of the 25th ACM International Workshop on Formal Techniques for …, 2023‏
42023
A Monadic Framework for Name Resolution in Multi-phased Type Checkers‏
C Bach Poulsen, A Zwaan, P Hübner‏
42023
Extensible Transition System Semantics‏
C Bach Poulsen‏
Swansea University, 2016‏
4*2016
Imperative polymorphism by store-based types as abstract interpretations‏
C Bach Poulsen, PD Mosses, P Torrini‏
Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015‏
32015
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20