Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(1)
Programming Language
Related Publications
(8)
Dimension inference under polymorphic recursion
Relational parametricity and units of measure
Dimension Types
A Proposal for an Extended Form of Type Checking of Expressions
Units of Measure as a Data Attribute
Subscribe
Academic
Publications
Programming Languages and Dimensions
Programming Languages and Dimensions,Andrew John Kennedy
Edit
Programming Languages and Dimensions
(
Citations: 31
)
BibTex

RIS

RefWorks
Download
Andrew John Kennedy
Published in 1995.
Cumulative
Annual
Citation Context
(26)
...These are surveyed in Kennedy’s dissertation [
13
] where he presents a polymorphic dimension inference procedure...
Pritam Roy
,
et al.
SimCheck: a contract type system for Simulink
...Phantom types enforce distinctions among values with the same runtime representation, such as numbers with different units [
30
] and strings for different XML elements...
Oleg Kiselyov
,
et al.
Fun with Type Functions
...There is not space in these notes to present details; if you are interested, consult the author’s thesis [
7
]...
...There are a couple of ways that this can be done [
7
,8]...
...In general, any dimensionally consistent equation over several variables can be reduced to an equation over a smaller number of dimensionless terms which are products of powers of the original variables. This is known as the Pi Theorem [
5
]...
...where r is the rank of the matrix A and Π1 ,...,Π n−r are dimensionless powerproducts of x1 ,...,x n. Proof. See Birkhoff [
5
]...
Andrew Kennedy
.
Types for UnitsofMeasure: Theory and Practice
...A dimension is a quantity that can be measured, and a unit is a specific value of a quantity that can be used as a scale (
Kennedy 1996
)...
...We show a simple formalisation of the semantics below, based on the formalised arithmetic of (
Kennedy 1996
)...
Geoffrey Biggs
,
et al.
A pragmatic approach to dimensional analysis for mobile robotic progra...
...Other approaches making use of language and type system extensions have targeted ML [
22
, 21], Pascal [13, 18], and Ada [14]...
Mark Hills
,
et al.
Pluggable Policies for C
References
(61)
Unification in Commutative Theories
(
Citations: 29
)
Franz Baader
Journal:
Journal of Symbolic Computation  JSC
, vol. 8, no. 5, pp. 479497, 1989
Implementation of physical units
(
Citations: 14
)
Geoff Baldwin
Journal:
Sigplan Notices  SIGPLAN
, vol. 22, no. 8, pp. 4550, 1987
Strictness analysis of lazy functional programs
(
Citations: 40
)
P. Benton
Published in 1992.
Unification in Boolean Rings and Abelian Groups
(
Citations: 21
)
Alexandre Boudet
,
Jeanpierre Jouannaud
,
Manfred Schmidtschauß
Journal:
Journal of Symbolic Computation  JSC
, vol. 8, no. 5, pp. 449477, 1989
Basic Polymorphic Typechecking
(
Citations: 97
)
Luca Cardelli
Journal:
Science of Computer Programming  SCP
, vol. 8, no. 2, pp. 147172, 1987
Sort by:
Citations
(31)
SimCheck: a contract type system for Simulink
Pritam Roy
,
Natarajan Shankar
Journal:
Innovations in Systems and Software Engineering  ISSE
, vol. 7, no. 2, pp. 7383, 2011
Fun with Type Functions
(
Citations: 2
)
Oleg Kiselyov
,
Simon Peyton Jones
,
ChungChieh Shan
Published in 2010.
Types for UnitsofMeasure: Theory and Practice
(
Citations: 1
)
Andrew Kennedy
Published in 2009.
A pragmatic approach to dimensional analysis for mobile robotic programming
Geoffrey Biggs
,
Bruce A. Macdonald
Journal:
Autonomous Robots  AROBOTS
, vol. 25, no. 4, pp. 405419, 2008
Pluggable Policies for C
Mark Hills
,
Feng Chen
,
Grigore Rosu
Published in 2008.