Back to Results
First PageMeta Content
Procedural programming languages / Data types / Functional languages / Type theory / Standard ML / Enumerated type / ALGOL 68 / SQL / Primitive data type / Computing / Software engineering / Programming language theory


Lemma 1 Ref: DS/FMU/FEF/019 DRA FRONT END FILTER PROJECT Issue: Revision : 2 .2 Specification of Query Transformations in SML (I)
Add to Reading List

Document Date: 2009-12-05 09:37:58

Open Document

File Size: 139,02 KB

Share Result on Facebook

Company

Cambridge University Press / MIT Press / /

Organization

Cambridge University / MIT / /

Person

Robin Milner / Mads Tofte / Simon Wiseman / Abstract / Robert Harper / /

Position

Working Programmer / Jones HAT Manager / Name Function R.B. Jones HAT Manager / /

ProgrammingLanguage

Standard ML / /

Technology

dom / /

SocialTag