Casper Bach Poulsen
Casper Bach Poulsen
Vahvistettu sähköpostiosoite verkkotunnuksessa tudelft.nl - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
222018
Intrinsically-Typed Definitional Interpreters for Imperative Languages
C Bach Poulsen, A Rouvoet, A Tolmach, R Krebbers, E Visser
222018
Deriving pretty-big-step semantics from small-step semantics
C Bach Poulsen, PD Mosses
Programming Languages and Systems, 270-289, 2014
17*2014
Generating specialized interpreters for modular structural operational semantics
C Bach Poulsen, PD Mosses
Logic-Based Program Synthesis and Transformation, 220-236, 2013
15*2013
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
142016
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
102020
Compositional soundness proofs of abstract interpreters
S Keidel, C Bach Poulsen, S Erdweg
Proceedings of the ACM on Programming Languages 2 (ICFP), 72, 2018
92018
Flag-Based Big-Step Semantics
C Bach Poulsen, PD Mosses
arXiv preprint arXiv:1605.02935, 2016
8*2016
Extensible Transition System Semantics
C Bach Poulsen
Swansea University, 2016
3*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
Divergence as State in Coinductive Big-Step Semantics
C Bach Poulsen, PD Mosses
26th Nordic Workshop on Programming Theory, NWPT 14, 2014
22014
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
12019
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
2020
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)
C Bach Poulsen, P Néron, A Tolmach, E Visser
DARTS-Dagstuhl Artifacts Series 2, 2016
2016
Knowing When to Ask
A ROUVOET, H VAN ANTWERPEN, CB POULSEN, E VISSER
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)
CB Poulsen, P Néron, A Tolmach, E Visser
LOPSTR’13 PROGRAM
S Antoy, A Jost, C Bach Poulsen, PD Mosses, O Danvy, J Johannsen, ...
Using Typings as Types
C Bach Poulsen, P Mosses, N Sculthorpe
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–18