CSE 291
Building Secure Systems using Programming Languages and Analysis
email github twitter

Singularity questions

  1. Why does Singularity have channel contracts? What are contracts? And, explain 2 issues contracts address and how they address them.

  2. What is the role of the TCell<T> constructor? (That is, what problem was it designed to address?)