Stem domini$ (all stems)
3 papers:
- POPL-1999-EidorffHMNST #named #type system
- AnnoDomini: From Type Theory to Year 2000 Conversion Tool (PHE, FH, CM, HN, MHS, MT), pp. 1–14.
- TLCA-1999-EidorffHMNST #approach #problem
- AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem (PHE, FH, CM, HN, MHS, MT), pp. 6–13.
- DAC-1985-BlackburnT #behaviour #representation #synthesis
- Linking the behavioral and structural dominis of representation in a synthesis system (RLB, DET), pp. 374–380.