Back to Results
First PageMeta Content
Functional languages / Procedural programming languages / Meaning / Philosophical logic / Type theory / ML / Programming language / Semantics / Soundness / Logic / Programming language theory / Software engineering


Commentary on Standard ML Robin Milner Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, Scotland
Add to Reading List

Document Date: 2002-10-12 10:57:16


Open Document

File Size: 708,35 KB

Share Result on Facebook

City

Edinburgh / /

Company

Standard ML Robin Milner Laboratory / MIT Press / ML / /

Event

Product Issues / /

Facility

Computer Science University of Edinburgh / Computer Science University of Nigeria Nsukka Nigeria May / /

IndustryTerm

large systems / large and varied applications / /

Organization

U.S. Securities and Exchange Commission / MIT / Computer Science University / University of Edinburgh / Scotland Mads Tofte Department / Computer Science Department / /

Person

David MacQueen / /

Position

programmer / /

Product

signatures / /

RadioStation

Core 2.1 / /

SocialTag