Back to Results
First PageMeta Content
Software engineering / Computing / Computer programming / Type theory / Procedural programming languages / Process calculi / Data types / Synchronization / Language Of Temporal Ordering Specification / Standard ML / E-LOTOS / ML


Towards a proposal for datatypes in E-LOTOS Source: Belgium∗, France†, Romania‡, United Kingdom§ Output document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Ottawa meeting, July 1995
Add to Reading List

Document Date: 2010-12-15 21:36:08


Open Document

File Size: 266,88 KB

Share Result on Facebook