Your search returned 6 results. Subscribe to this search

|
1. Congrès CONSTRUCTING TYPE SYSTEMS OVER AN OPERATIONAL SEMANTICS. / {R. Harper}Publication :EDINBURGH : LFCS, 1988Description : 01 VOL.,15 P. : PR 4 ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5105] (1).
2. Congrès DEFINITION (THE) OF STANDARD ML VERSION 2. / {R. Harper, M. Tofte, R. Milner}Publication :EDINBURGH : LFCS, 1988Description : 01 VOL.,97 P. : 30 RF ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5099] (1).
3. Congrès INTRODUCTION TO STANDART ML. / {R. Harper, K. Mitchell}Publication :S.L. : [s.n.], 1987Description : 01 VOL.,82 P. : 0 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-422] (1).
4. Congrès MODULES AND PERSISTENCE IN STANDARD ML. / {R. Harper}Publication :EDINBURGH : LFCS, 1986Description : 01 VOL.,13 P. : 10 RF ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5108] (1).
5.  Monographies, textes The definition of Standard ML / Robin Milner, Mads Tofte, and Robert HarperPublication :Cambridge, Mass. : MIT Press, c1990Description : xi, 101 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-131] (2).
6. Congrès TYPE (A) DISCIPLINE FOR PROGRAM MODULES. / {R. Harper, M. Tofte, R. Milner}Publication :EDINBURGH : LFCS, 1987Description : 01 VOL.,17 P. : 7 RF ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5096] (1).

Powered by Koha