Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-18 of 18 results
The definition of Standard ML / Robin Milner, Mads Tofte, and Robert Harper.
- Text
- Cambridge, Mass. : MIT Press, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 91-794 Offsite Commentary on Standard ML / Robin Milner and Mads Tofte.
- Text
- Cambridge, MA : MIT Press, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSE 92-1187 Offsite ML for the working programmer / Laurence C. Paulson.
- Text
- Cambridge ; New York : Cambridge University Press, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 92-899 Offsite Introduction to HOL : a theorem proving environment for higher order logic / edited by M. J. C. Gordon and T. F. Melham.
- Text
- Cambridge ; New York : Cambridge University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1012 Offsite Modern compiler implementation in ML : basic techniques / Andrew W. Appel.
- Text
- Cambridge ; New York : Cambridge University Press, 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1603 Offsite Applicative high order programming : the standard ML perspective / S. Sokolowski.
- Text
- London ; New York : Chapman and Hall, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.73.M6 S65 1991 Off-site ML for the working programmer / Laurence C. Paulson.
- Text
- Cambridge ; New York : Cambridge University Press, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.73.M6 P38 1991 Off-site ML for the working programmer / Lawrence C. Paulson.
- Text
- Cambridge ; New York : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.73.M6 P38 1996 Off-site Elements of ML programming / Jeffrey D. Ullman.
- Text
- Upper Saddle River, NJ : Prentice Hall, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text QA76.73.M6 U45 1998 Off-site Concurrent programming in ML / John H. Reppy.
- Text
- Cambridge [England] ; New York : Cambridge University Press, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA76.73.M6 R47 1999 Off-site ML with concurrency : design, analysis, implementation, and application / Flemming Nielson, editor.
- Text
- New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA76.73.M6 M57 1997 Off-site Lingvisticheskiĭ analizator : preobrazovanie teksta v metai︠a︡zykorui︠u︡ strukturu dannykh / [S. A. Kuznet︠s︡ov, and 3 others].
- Text
- Sankt-Peterburgskiĭ : Sankt-Peterburgskiĭ universitet, 2019.
- 2019
- 1 Item
Item details Format Call Number Item Location Text QA76.73.M6 L564 2019 Off-site The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones.
- Text
- Berlin ; New York : Springer-Verlag, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text QA76.7.V53 Off-site ML primer / Ryan Stansifer.
- Text
- Englewood Cliffs, N.J. : Prentice Hall, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.73.M6 S73 1992 Off-site Functional programming using standard ML / Åke Wikström.
- Text
- London [England] ; New York : Prentice Hall, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA76.7.W54 1987 Off-site The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones.
- Text
- Berlin ; New York : Springer-Verlag, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text QA76.7.V53 Off-site ML primer / Ryan Stansifer.
- Text
- Englewood Cliffs, N.J. : Prentice Hall, ©1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.73.M6 S73 1992 Off-site Functional programming using standard ML / Åke Wikström.
- Text
- London [England] ; New York : Prentice Hall, ©1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .W54 1987 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
