Sciweavers

52
Voted
BIRTHDAY
2006
Springer

From OBJ to ML to Coq

15 years 1 months ago
From OBJ to ML to Coq
Jacek Chrzaszcz, Jean-Pierre Jouannaud
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where BIRTHDAY
Authors Jacek Chrzaszcz, Jean-Pierre Jouannaud
Comments (0)