C∀, prior work, theses

C∀ Team, 2021.
C∀ (Cforall) User Manual Version 1.0
Thierry Delisle and Peter A. Buhr, 2020.
Advanced Control-flow and Concurrency in C∀, Software-Practice and Experience. Early View, 1-38.

Aaron Moss, Robert Schluntz, Peter A. Buhr, 2018.
C∀ : Adding Modern Programming Language Features to C, Software-Practice and Experience. 48(1):2111-2146.

Top Download, John Wiley & Sons, Inc
Amongst articles published between January 2017 and December 2018, your paper received some of the most downloads in the 12 months following online publication. Your work generated immediate impact and visibility, contributing significantly to the advancement of your field.

P. A. Buhr and David Till and C. R. Zarnke, 1994.
Assignment as the Sole Means of Updating Objects, Software-Practice and Experience. 24(9):835-870.
Peter A. Buhr and Hamish I. Macdonald and C. Robert Zarnke. Zarnke, 1992.
Synchronous and Asynchronous Handling of Abnormal Events in the μSystem, Software-Practice and Experience. 22(9):735-776.
P. A. Buhr and Glen Ditchfield and R. A. Stroobosscher and B. M. Younger and C. R. Zarnke, 1992.
μC++: Concurrency in the Object-Oriented Language C++, Software-Practice and Experience. 22(2):137-172
Peter A. Buhr and Richard A. Stroobosscher, 1990.
The μSystem: Providing Light-Weight Concurrency on Shared-Memory Multiprocessor Computers Running UNIX, Software-Practice and Experience. 20(9):929-963
Aaron Moss, 2019.
Thesis title: C∀ Type System Implementation.
Thierry Delisle, 2018.
Thesis title: Concurrency in C∀.
Rob Schluntz, 2017.
Thesis title: Resource Management and Tuples in C∀.
Rodolfo Gabriel Esteves, 2004.
Thesis title: Cforall, a Study in Evolutionary Design in Programming Languages.
Richard Bilson, 2003
Thesis title: Implementing Overloading and Polymorphism in Cforall
Glen Ditchfield, 1992
Thesis title: Contextual Polymorphism
David W. Till, 1989
Thesis title: Tuples In Imperative Programming Languages.


Martin Karsten and Saman Barghi, 2019.
User-level Threading: Have Your Cake and Eat It Too, Proceedings of the ACM on Measurement and Analysis of Computing Systems, May 2020, Article No 17.
Martin Karsten, 2020.
libfibre: User-Level Threading Runtime, Gitlab Waterloo.


Dennis M. Ritchie, 1993.
The Development of the C Language, SIGPLAN Notices. 28(3):201-208.
AT&T Labs, 2002.
Cyclone (unsupported)
George C. Necula, Jeremy Condit, Matthew Harren, Scott Mcpeak, Westley Weimer, 2005.
CCured: Type-Safe Retrofitting of Legacy Software
John Regehr, 2014.
Proposal for a Friendly Dialect of C
INRIA, 2020.
CompCert C Compiler