![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 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](https://www.pdfsearch.io/img/af3e6ec779df70844a3c38d046c366d1.jpg) Date: 2010-12-15 21:36:08Software 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 1995Add to Reading ListSource URL: ect.bell-labs.comDownload Document from Source Website File Size: 266,88 KBShare Document on Facebook
|