<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2006-03-15 09:41:30Symbol LL parser Limit Software engineering Logic Metalogic Linear temporal logic Μ operator Formal languages Context-free grammar Formal grammar |
| Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binaryDocID: 1gASs - View Document |
| A Simple Semantics for Haskell Overloading J. Garrett Morris University of Edinburgh AbstractDocID: 1gzML - View Document |
| Lowness Properties and Approximations of the Jump Santiago Figueira ∗DocID: 1gsI8 - View Document |
| Topology in distributed computing Final project: black box x-consensus objectsDocID: 1ghTH - View Document |