Follow
Dariusz Biernacki
Dariusz Biernacki
Verified email at cs.uni.wroc.pl
Title
Cited by
Cited by
Year
A functional correspondence between evaluators and abstract machines
MS Ager, D Biernacki, O Danvy, J Midtgaard
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
2242003
Clock-directed modular code generation for synchronous data-flow languages
D Biernacki, JL Colaço, G Hamon, M Pouzet
Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages …, 2008
1512008
An operational foundation for delimited continuations in the CPS hierarchy
M Biernacka, D Biernacki, O Danvy
Logical Methods in Computer Science 1, 2005
792005
From interpreter to compiler and virtual machine: a functional derivation
MS Ager, D Biernacki, O Danvy, J Midtgaard
BRICS Report Series 10 (14), 2003
782003
Handle with care: relational interpretation of algebraic effects and handlers
D Biernacki, M Piróg, P Polesiuk, F Sieczkowski
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
592017
Abstracting algebraic effects
D Biernacki, M Piróg, P Polesiuk, F Sieczkowski
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
532019
Binders by day, labels by night: effect instances via lexically scoped handlers
D Biernacki, M Piróg, P Polesiuk, F Sieczkowski
Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019
522019
Subtyping delimited continuations
M Materzok, D Biernacki
ACM SIGPLAN Notices 46 (9), 81-93, 2011
392011
From interpreter to logic engine by defunctionalization
D Biernacki, O Danvy
International Symposium on Logic-Based Program Synthesis and Transformation …, 2003
392003
On the static and dynamic extents of delimited continuations
D Biernacki, O Danvy, C Shan
Science of Computer Programming 60 (3), 274-297, 2006
382006
A dynamic interpretation of the CPS hierarchy
M Materzok, D Biernacki
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto …, 2012
332012
A systematic derivation of the STG machine verified in Coq
M Piróg, D Biernacki
ACM Sigplan Notices 45 (11), 25-36, 2010
332010
A dynamic continuation-passing style for dynamic delimited continuations
D Biernacki, O Danvy, K Millikin
BRICS, Department of Computer Science, Univ., 2005
292005
Automating derivations of abstract machines from reduction semantics: A generic formalization of refocusing in Coq
F Sieczkowski, M Biernacka, D Biernacki
Implementation and Application of Functional Languages: 22nd International …, 2011
262011
THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control
D Biernacki, O Danvy
Journal of Functional Programming 16 (3), 269-280, 2006
222006
The theory and practice of programming languages with delimited continuations
D Biernacki
PhD thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark, 2005
202005
Context-based proofs of termination for typed delimited-control operators
M Biernacka, D Biernacki
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
182009
Logical relations for coherence of effect subtyping
D Biernacki, P Polesiuk
Logical methods in computer science 14, 2018
172018
A Coq formalization of normalization by evaluation for Martin-Löf type theory
P Wieczorek, D Biernacki
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
172018
A dynamic continuation-passing style for dynamic delimited continuations
D Biernacki, O Danvy, K Millikin
ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (1), 1-25, 2015
162015
The system can't perform the operation now. Try again later.
Articles 1–20