H ?
«
‹
←
→
›
»
Language peer sets for PICT: United Kingdom↑ United Kingdom/1991↑ Designed 1991 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑
Country: United Kingdom Designed 1991 is a language in the ML tradition, formed by adding a layer of convenient syntactic sugar and a static type system to a tiny core. The current release includes a PICT-to-C compiler, reference manual, tutorial, libraries for common data structures, example programs, and a rudimentary X-based widget toolkit. The core language, an asynchronous variant of Milner, Parrow, and Walker's pi-calculus, has been used as a theoretical foundation for a broad class of concurrent computations. The goal is to identify high-level idioms that arise naturally when these primitives are used to build working programs, idioms such as basic data structures, protocols for returning results, higher-order programming, selective communication and concurrent objects. Developed by Benjamin Pierce, University of Cambridge. Places Structures: Related languages
References: Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |