Benjamin Werner (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers Springer 2006

1 Christine Paulin-Mohring, Benjamin Werner: Synthesis of ML Programs in the System Coq. J. Symb. Comput. 15(5/6): 607-640 (1993)

Selection of 2 from 14 records - Benjamin Werner has 11 coauthors

11		Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers Springer 2006
1		Christine Paulin-Mohring, Benjamin Werner: Synthesis of ML Programs in the System Coq. J. Symb. Comput. 15(5/6): 607-640 (1993)