BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Portugal
1 × Spain
1 × The Netherlands
Collaborated with:
D.Biernacki W.Jedynak S.Lenglet F.Sieczkowski
Talks about:
oper (3) control (2) type (2) coq (2) hierarchi (1) abstract (1) refocus (1) languag (1) generic (1) foundat (1)

Person: Malgorzata Biernacka

DBLP DBLP: Biernacka:Malgorzata

Contributed to:

PPDP 20132013
PPDP 20112011
IFL 20102010
PPDP 20092009

Wrote 4 papers:

PPDP-2013-JedynakBB #coq
An operational foundation for the tactic language of Coq (WJ, MB, DB), pp. 25–36.
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.

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.