Dariusz Biernacki

Identifiers

• name variant Dariusz Biernacki 0.60 · backfill

Papers (4)

1. Environmental Bisimulations for Delimited-Control Operators cs.PL · 2013 · author #1
2. Proving termination of evaluation for System F with control operators cs.PL · 2013 · author #2
3. Normal Form Bisimulations for Delimited-Control Operators cs.PL · 2012 · author #1
4. Applicative Bisimulations for Delimited-Control Operators cs.PL · 2012 · author #1

Mentions

• 1309.3919 #1 · backfill · confidence 0.70 Dariusz Biernacki
• 1309.1261 #2 · backfill · confidence 0.70 Dariusz Biernacki
• 1202.5959 #1 · backfill · confidence 0.70 Dariusz Biernacki
• 1201.0874 #1 · backfill · confidence 0.70 Dariusz Biernacki

Frequent Coauthors

• Serguei Lenglet 2 shared papers
• Ma{\l}gorzata Biernacka 1 shared papers
• Marek Materzok 1 shared papers
• Sergue\"i Lenglet 1 shared papers
• Sergue\"i Lenglet (INRIA Nancy - Grand Est / LORIA) 1 shared papers