Publication
Publication
Graphical Models and Exponential Families
Publication
Conformance Testing with Abstract State Machines
Publication
Real Estate of Names
Publication
Typing a Multi-Language Intermediate Code
Publication
Partial Updates: Exploration
Publication