BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Estonia
1 × Poland
1 × Portugal
1 × Spain
1 × The Netherlands
1 × USA
2 × Japan
2 × Sweden
Collaborated with:
M.Biernacka S.Lenglet P.Polesiuk M.Piróg F.Sieczkowski O.Danvy M.Materzok W.Jedynak J.Colaço G.Hamon M.Pouzet M.S.Ager J.Midtgaard
Talks about:
oper (5) delimit (4) control (4) effect (4) abstract (3) machin (3) coq (3) interpret (2) languag (2) handler (2)

Person: Dariusz Biernacki

DBLP DBLP: Biernacki:Dariusz

Contributed to:

TLCA 20152015
PPDP 20132013
FLOPS 20122012
FOSSACS 20122012
ICFP 20112011
PPDP 20112011
IFL 20102010
PPDP 20092009
LCTES 20082008
LOPSTR 20032003
PPDP 20032003
Haskell 20102010
POPL 20182018
POPL 20192019
POPL 20202020

Wrote 15 papers:

TLCA-2015-BiernackiP #logic #type system
Logical Relations for Coherence of Effect Subtyping (DB, PP), pp. 107–122.
PPDP-2013-JedynakBB #coq
An operational foundation for the tactic language of Coq (WJ, MB, DB), pp. 25–36.
FLOPS-2012-BiernackiL #bisimulation #normalisation
Normal Form Bisimulations for Delimited-Control Operators (DB, SL), pp. 47–61.
FoSSaCS-2012-BiernackiL #bisimulation
Applicative Bisimulations for Delimited-Control Operators (DB, SL), pp. 119–134.
ICFP-2011-MaterzokB #continuation #type system
Subtyping delimited continuations (MM, DB), pp. 81–93.
PPDP-2011-BiernackaBL #continuation #type system
Typing control operators in the CPS hierarchy (MB, DB, SL), pp. 149–160.
IFL-2010-SieczkowskiBB #automation #automaton #coq #formal method #reduction #semantics
Automating Derivations of Abstract Machines from Reduction Semantics: — A Generic Formalization of Refocusing in Coq (FS, MB, DB), pp. 72–88.
PPDP-2009-BiernackaB #proving #termination
Context-based proofs of termination for typed delimited-control operators (MB, DB), pp. 289–300.
LCTES-2008-BiernackiCHP #code generation #composition #data flow
Clock-directed modular code generation for synchronous data-flow languages (DB, JLC, GH, MP), pp. 121–130.
LOPSTR-2003-BiernackiD #interpreter #logic
From Interpreter to Logic Engine by Defunctionalization (DB, OD), pp. 143–159.
PPDP-2003-AgerBDM #automaton #functional
A functional correspondence between evaluators and abstract machines (MSA, DB, OD, JM), pp. 8–19.
Haskell-2010-PirogB #coq
A systematic derivation of the STG machine verified in Coq (MP, DB), pp. 25–36.
POPL-2018-BiernackiPPS #algebra #relational
Handle with care: relational interpretation of algebraic effects and handlers (DB, MP, PP, FS), p. 30.
POPL-2019-BiernackiPPS #algebra
Abstracting algebraic effects (DB, MP, PP, FS), p. 28.
POPL-2020-BiernackiPPS
Binders by day, labels by night: effect instances via lexically scoped handlers (DB, MP, PP, FS), p. 29.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.