Jump to main content

yr 〜
yr

Search results 4

Proof, language, and interaction : essays in honour of Robin Milner : hc

Proof, language, and interaction : essays in honour of Robin Milner : hc
Paper図書
edited by Gordon Plotkin, Colin Stirling, and Mads TofteMIT Pressc2000
Other Libraries in Japan
  • Author HeadingPlotkin, G. (Gordon) Stirling, Colin P. Tofte, Mads Milner, R. (Robin)

Compiler generators : what they can do, what they might do, and what they will probably never do : u.s. : gw

Compiler generators : what they can do, what they might do, and what they will probably never do : u.s. : gw
Paper図書
Mads TofteSpringer-Verlagc1990
Other Libraries in Japan
  • Author HeadingTofte, Mads

Commentary on Standard ML : pbk

Commentary on Standard ML : pbk
Paper図書
Robin Milner and Mads TofteMIT Pressc1991
Other Libraries in Japan
  • Author HeadingMilner, Robin Tofte, Mads

The definition of Standard ML : pbk

The definition of Standard ML : pbk
Paper図書
Robin Milner, Mads Tofte, and Robert HarperMIT Pressc1990
Other Libraries in Japan
  • Author HeadingHarper, Robert Milner, Robin Tofte, Mads

Reached to the end of result.

RSS