Emmanuel Polonowski

13 papers B 3Journal 10

Year	Rank	Type	Title / Venue / Authors
2013	B	`conf`	Automatically Generated Infrastructure for De Bruijn Syntaxes. ITP Emmanuel Polonowski
2012	J	`jnl`	DBGen User Manual CoRR Emmanuel Polonowski
2012	J	`jnl`	Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control. J. Log. Algebraic Methods Program. Tristan Crolard, Emmanuel Polonowski
2011	J	`jnl`	A program logic for higher-order procedural variables and non-local jumps CoRR Tristan Crolard, Emmanuel Polonowski
2011	J	`jnl`	Deriving a Hoare-Floyd logic for non-local jumps from a formulae-as-types notion of control CoRR Tristan Crolard, Emmanuel Polonowski
2011	J	`jnl`	Generic Environments in Coq CoRR Emmanuel Polonowski
2009	J	`jnl`	A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables CoRR Tristan Crolard, Emmanuel Polonowski
2009	J	`jnl`	Deriving SN from PSN: a general proof technique CoRR Emmanuel Polonowski
2009	J	`jnl`	Extending the loop language with higher-order procedural variables. ACM Trans. Comput. Log. Tristan Crolard, Emmanuel Polonowski, Pierre Valarcher
2009	J	`jnl`	LoopW Technical Reference v0.3 CoRR Emmanuel Polonowski
2004	B	`conf`	Strong Normalization of lambda-mu-mu/tilde-Calculus with Explicit Substitutions. FoSSaCS Emmanuel Polonowski
2003	J	`jnl`	Proof Nets And Explicit Substitutions. Math. Struct. Comput. Sci. Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski
2000	B	`conf`	Proof Nets and Explicit Substitutions. FoSSaCS Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski