Share this page
Projects
Publications
People
Downloads
    Project Tuva Enhanced Video Player
    Project Tuva Enhanced Video Player
    Share this page E-mail this page Print this page RSS feeds
    Home  > Projects > Comega
    Comega



    Cω is a research programming language. It is pronounced "c" followed by " -mg, -mg".
    It can be written (and searched for) as Cw or the "Comega language".

    A Cω compiler preview is now available for download. You can also browse the documentation online.

    News

    • Take a look at LINQ and see the Cω-like data access features that Microsoft is proposing for the next release of Visual Studio. (here)
    • Read some nice comments by Anders Hejlsberg (designer of C#) on Cω here.
    • Read about Cω on MSDN.
    • Read about Cω in Infoworld.

    References

    Cω is an extension of C# in two areas:

    - A control flow extension for asynchronous wide-area concurrency (formerly known as Polyphonic C#):

    • Modern Concurrency Abstractions for C#. Nick Benton, Luca Cardelli, Cedric Fournet.
      • ©2004 ACM [ PDF] (Revised version.) To appear in TOPLAS.
      • ©2002 Springer [ PDF] In: Boris Magnusson, Editor: ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14 2002, Proceedings. Lecture Notes in Computer Science 2374, Springer, 2002. ISBN 3-540-43759-2. pp. 415-440.

    - A data type extension for XML and table manipulation (formerly known as Xen and as X#):

    • The essence of data access in Cω. Gavin Bierman, Erik Meijer, and Wolfram Schulte.
      • ©2005 Springer [ PDF] In: Andrew Black, Editor: ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 2005, Proceedings. Lecture Notes in Computer Science 3586, Springer, 2005. pp. 287-311.
    • Programming with Rectangles, Triangles, and Circles. Gavin Bierman, Erik Meijer, and Wolfram Schulte.
      • ©2004 XMLconference [ HTML] In Proc. XML 2003.
    • Unifying Tables, Objects and Documents. Erik Meijer, Wolfram Schulte and Gavin Bierman.

    Reasons why these kinds of extensions (and possibly more) are related, are described in this talk:

    • Transitions in Programming Models. Luca Cardelli.
      • [ PDF] New University of Lisbon, November 13, 2003.

     

    Project Members

    • Nick Benton
    • Gavin Bierman
    • Luca Cardelli
    • Erik Meijer
    • Claudio Russo
    • Wolfram Schulte