Jean-Jacques Thiel

Proving inductive equalities algorithms and implementation

Pierre Lescanne, Azzedine Lazrek, Jean-Jacques Thiel, 1986 .

Stop losing sleep over incomplete data type specifications

Jean-Jacques Thiel, 1984, POPL '84.