| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Commentary on Standard Ml | Paperback | 978-0-262-63137-2 | 1991 | Robin Milner | |
| Commentary on Standard ML | Hardcover | 978-0-262-13271-8 | 1990 | " | |
| Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do | " | 978-0-387-51471-0 | 1990 | ||
| Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do | Gebunden | 978-3-540-51471-8 | 1990 | ||
| Proof, Language, and Interaction: Essays in Honour of Robin Milner | Hardcover | 978-0-262-16188-6 | 2000 | Gordon Plotkin · Colin P. Stirling | |
| Proof, Language, and Interaction: Essays in Honour of Robin Milner | Printed Access Code | 978-0-262-28167-6 | 2000 | Gordon Plotkin · Colin P. Stirling | |
| The Definition of Standard Ml | Hardcover | 978-0-262-13255-8 | 1990 | Robin Milner · Robert Harper | |
| The Definition of Standard ML | Paperback | 978-0-262-63132-7 | 1990 | Robin Milner · Robert Harper | |
| The Definition of Standard ML - Revised | " | 978-0-262-63181-5 | 1997 | Robin Milner · Robert Harper · David MacQueen | |