Dimension types
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 348-362
- https://doi.org/10.1007/3-540-57880-3_23
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Type inference with polymorphic recursionACM Transactions on Programming Languages and Systems, 1993
- Type reconstruction in the presence of polymorphic recursionACM Transactions on Programming Languages and Systems, 1993
- Unification in commutative theoriesJournal of Symbolic Computation, 1989
- Implementation of physical unitsACM SIGPLAN Notices, 1987
- Basic polymorphic typecheckingScience of Computer Programming, 1987
- Programming pascal with physical unitsACM SIGPLAN Notices, 1986
- Ada's derived types and units of measureSoftware: Practice and Experience, 1985
- Abelian group unification algorithms for elementary termsContemporary Mathematics, 1984
- A Proposal for an Extended Form of Type Checking of ExpressionsThe Computer Journal, 1983
- Incorporation of units into programming languagesCommunications of the ACM, 1978