Polyphonic C Sharp

From Wikipedia, the free encyclopedia

The correct title of this article is Polyphonic C#. The substitution or omission of the # is because of technical restrictions.

Polyphonic C#
Paradigm(s)	multi-paradigm: structured, imperative, object-oriented, event-driven, functional, concurrent
Appeared in	2002
Designed by	Nick Benton, Luca Cardelli, Cédric Fournet
Developer	Microsoft Research
Typing discipline	static, strong, safe, nominative
Influenced by	C#, Join calculus
Influenced	Cω
Website	Polyphonic C# Homepage

Polyphonic C# is an extension of the C# programming language.

It includes a new concurrency model in which objects can have both synchronous and asynchronous methods. The language is being developed by Nick Benton, Luca Cardelli and Cédric Fournet at Microsoft Research.

Polyphonic C# is based on the join-calculus developed at INRIA Rocquencourt by Cédric Fournet et al.

Polyphonic C# has been integrated with Cω.

External links

Main projects

Languages and compilers	Polyphonic C# Cω Spec# Sing# Bartok Phoenix

Distributed/ grid computing	Bigtop Gridline BitVault

Internet and networking	Avalanche Wallop Conference XP HoneyMonkey AjaxView Gazelle

Other projects	IllumiRoom MyLifeBits LiveStation Terminator WorldWide Telescope PhotoDNA

Operating systems	Singularity Barrelfish Midori Verve

APIs	Joins Accelerator Dryad SXM

Launched as products	C# Comic Chat F# Sideshow PixelSense (TouchLight) SenseCam ClearType Group Shot Allegiance Songsmith

Applied research
from MSR Labs

Current	Photosynth Pivot Seadragon Deep Zoom DeepZoomPix

Discontinued	Deepfish Listas Volta

Other Microsoft Research Labs

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.