AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Dariusz Biernacki

Dariusz Biernacki

University of Wroclaw - Wroclaw / Poland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1791260
Uniwersytet Wroclawski
person_outline Dariusz Biernacki's MOST POPULAR ARTICLES
1-) A functional correspondence between evaluators and abstract machines Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
2-) Clock-directed modular code generation for synchronous data-flow languages Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages …, 2008
3-) An operational foundation for delimited continuations in the CPS hierarchy Logical Methods in Computer Science 1, 2005
4-) From interpreter to compiler and virtual machine: a functional derivation BRICS Report Series 10 (14), 2003
5-) Handle with care: relational interpretation of algebraic effects and handlers Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017