|
OS based on ML language. Goals: advance art of programming language design and implementation, while applying principles of programming languages to advance art of systems building. Project work: theoretical studies of languages and their traits, deve... http://www.cs.cmu.edu/~fox/ |
|