Personal tools
You are here: Home Graduate Study From Session Types to Data Types: A Basis for Concurrency and Distribution (ABCD)

From Session Types to Data Types: A Basis for Concurrency and Distribution (ABCD)

Concurrency and distribution are computing's most pressing problem. The data type is one of computing's most successful ideas. Session types codify the structure of communication, making software more reliable and easier to construct. Edinburgh, joint with Glasgow and Imperial, has an EPSRC Programme Grant to explore session types. Because of overlap in topic, PhD students may be funded through the Pervasive Parallelism CDT.

 

http://groups.inf.ed.ac.uk/abcd/

http://pervasiveparallelism.inf.ed.ac.uk/

 

Supervisor: Philip Wadler

Document Actions