Documents liés : [4 document(s)]

Documents (Mots clés)

• [MathOuvrage] Développement d'applications avec Objective Caml / Chailloux, Emmanuel ; Manoury, Pascal ; Pagano, Bruno. -Paris : O'Reilly, 2000. - xxvi, 586 p. ; 24 cm
  
• [MathOuvrage] Logique, réduction, résolution / Lalement, René ; Préf. Demazure, Michel. -Barcelone, Milan, Paris : Masson, 1990. - xii, 370 p. ; 25 cm
  ISBN 9782225821042
  
• [MathOuvrage] The Definition of standard ML / Milner, Robin ; Tofte, Mads ; Harper, Robert. -Cambridge MA : The MIT press, 1990. - xi, 101 p. ; 23 cm
  
• [MathOuvrage] Commentary on standard ML / Milner, Robin ; Tofte, Mads. -Cambridge MA : The MIT press, 1991. - 160 p. ; 23 cm