Polyphonic C sharp
| Paradigm | multi-paradigm: structured, imperative, object-oriented, event-driven, functional, concurrent |
|---|---|
| Designed by | Nick Benton, Luca Cardelli, Cédric Fournet |
| Developer | Microsoft Research |
| First appeared | 2002 |
| Typing discipline | static, strong, safe, nominative |
| Website | Polyphonic C# Homepage |
| Influenced by | |
| C#, Join calculus | |
| Influenced | |
| Cω | |
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ω.
...
Wikipedia