Robin Harper - PDFSEARCH.IO - Document Search Engine

Robin Harper
Results: 19

#	Item
1	The Definition of Standard ML Robin Milner Mads Tofte Robert Harper Laboratory for Foundations of Computer Science Department of Computer Science Add to Reading List Source URL: sml-family.org - Date: 2016-04-04 09:33:37
2	The Definition of Standard ML The Definition of Standard ML (Revised) Robin Milner, Mads Tofte, Robert Harper and David MacQueen Add to Reading List Source URL: sml-family.org - Date: 2016-04-04 09:33:37
3	Robin Milner – Verification, Languages, and Concurrency Andrew D. Gordon, Microsoft Research Robert Harper, Carnegie Mellon University John Harrison, Intel Corporation Alan Jeffrey, Bell Labs Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-10-18 12:40:33
4	Robin Milner 1934–2010 Verification, Languages, and Concurrency Andrew D. Gordon Robert Harper Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-10-18 12:43:43
5	15 Joe Oliver, Canadian Voters and the Fiscal Ouija Board Robin V. Sears National budgets are almost Add to Reading List Source URL: policymagazine.ca Language: English - Date: 2015-02-27 12:51:34 Politics of Canada Government Public economics Public finance Stephen Harper Fiscal policy
6	Commentary on Standard ML Commentary on Standard ML Robin Milner and Mads Tofte Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-07-23 09:44:07 Functional languages Procedural programming languages Robin Milner Mads Tofte ML Robert Harper Milner Unit of alcohol Software engineering Programming language theory Computing
7	The Definition of Standard ML The Definition of Standard ML Robin Milner, Mads Tofte, and Robert Harper Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-07-23 09:36:22 Functional languages Procedural programming languages Robin Milner Robert Harper ML Mads Tofte Milner Cataloging Unit of alcohol Software engineering Programming language theory Computing
8	Curriculum Vitae Mads Tofte October 4, 2014 Born on April 20, 1959, in Lyngby, Denmark. Danish citizen. Married to Joan Campbell-Tofte. Vice Chancellor (“Rektor”), IT University of Copenhagen. Add to Reading List Source URL: www.itu.dk Language: English - Date: 2014-10-04 03:17:51 Fellows of the Royal Society Functional languages Procedural programming languages Mads Tofte Robin Milner Laboratory for Foundations of Computer Science Robert Harper ML SIGPLAN Software engineering Programming language theory Computing
9	Publications and notes in chronological order, Mads Tofte Last updated: October 24, 2013 References [1] Mads Tofte. Add to Reading List Source URL: www.itu.dk Language: English - Date: 2013-10-24 09:57:58 Fellows of the Royal Society Functional languages Procedural programming languages Mads Tofte Robin Milner Laboratory for Foundations of Computer Science Robert Harper ML SIGPLAN Software engineering Programming language theory Computing
10	PDF Document Add to Reading List Source URL: www.rapecrisisscotland.org.uk Language: English - Date: 2010-12-23 08:31:07 British people Scottish people Politics of the United Kingdom Scottish Labour Party Stewart Stevenson Alex Salmond Robin Harper Margo MacDonald Michael Russell Members of the Scottish Parliament 2007–2011 Members of the Scottish Parliament 1999–2003 Members of the Scottish Parliament 2003–2007