paper.bib

@book{Langhaar:1951,
	address = {New York, NY, USA},
	title = {Dimensional {Analysis} and {Theory} of {Models}},
	language = {en},
	publisher = {John Wiley \& Sons, Inc.},
	author = {Langhaar, Henry L.},
	year = {1951},
}

@misc{Preussner:2018,
	title = {Dimensional {Analysis} in {Programming} {Languages}},
	url = {https://gmpreussner.com/research/dimensional-analysis-in-programming-languages},
	abstract = {A survey of existing designs and implementations for automatic conversion and verification of units of measurement in computer programs.},
	urldate = {2021-06-20},
	journal = {Personal Homepage},
	author = {Preussner, Gerke Max},
	month = may,
	year = {2018},
}

@misc{Sharma:2021,
	title = {Dimensional Analysis: A Potential Use of Dimensionless Products in Biology/Neuroscience},
	url = {https://lungsi-slides.github.io/dataclub/icn/2021July26/index.html},
	abstract = {Data club presentation on 26 July 2021.},
	author = {Sharma, B. Lungsi},
	date = {2021-07-26},
	organization = {Institut des Neurosciences Paris-Saclay (NeuroPSI), Département de Neurosciences Intégratives et Computationnelles (ICN), CNRS}
}

@online{BIPM:2020,
  	url = {https://www.bipm.org/en/measurement-units/base-units.html},
  	Author = {BIPM},
  	title = {Base unit definitions},
  	organization = {Bureau International des Poids et Mesures},
  	Year = 2020,
}

@misc{Ngwua:2020,
	title = {Theory of {Dimensionless} {Products}},
	url = {https://www.neuralgraphs.com/lectures/diman/lectp1.html},
	abstract = {Lectures on the {Theory} of {Dimensionless} {Products}},
	date = {2020-07-25},
	journal = {Neuralgraphs},
	author = {Ngwua, Lungsi},
	month = July,
	year = {2020},
}

@online{Clojure:2020,
  	url = {https://clojure.org/reference/data_structures},
  	Author = {Hickey, Rich},
  	title = {Clojure - {Data} {S}tructures},
  	organization = {Clojure},
  	Year = 2021,
}

@misc{diman,
  author = {Lungsi Sharma},
  title = {diman: A Clojure library for applying dimensional analysis.},
  year = {2021},
  publisher = {GitHub},
  journal = {GitHub repository},
  url = {https://github.com/neuralgraphs/diman}
}

@techreport{Kennedy:1996,
  author       = {Andrew John Kennedy}, 
  title        = {Programming languages and dimensions},
  institution  = {University of Cambridge},
  year         = 1996,
  number       = 391,
  address      = {15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom},
  month        = 4,
  url         = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-391.pdf}
}

@Inbook{Kennedy:2010,
  author = {Kennedy, Andrew John},
  editor = {Horv{\'a}th, Zolt{\'a}n and Plasmeijer, Rinus and Zs{\'o}k, Vikt{\'o}ria},
  title = {Types for {Units-of-Measure}: {Theory} and {Practice}},
  bookTitle = {Central {European} {Functional} {Programming} {School}: {Third} {Summer} {School}, CEFP 2009, {Budapest}, {Hungary}, {May} 21-23, 2009 and {K}om{\'a}rno, {S}lovakia, {May} 25-30, 2009, {Revised} {Selected} {L}ectures},
  year = {2010},
  publisher = {Springer Berlin Heidelberg},
  address = {Berlin, Heidelberg},
  pages = {268--305},
  abstract = {Units-of-measure are to science what types are to programming. In science and engineering, dimensional and unit consistency provides a first check on the correctness of an equation or formula, just as in programming the validation of a program by the type-checker eliminates one possible reason for failure.},
  isbn = {978-3-642-17685-2},
  doi = {10.1007/978-3-642-17685-2_8},
  url = {https://doi.org/10.1007/978-3-642-17685-2_8}
}


@inproceedings{Eliasen:2004,
    author  = {Alan Eliasen},
    title   = {Frink - {A} {Language} for {Understanding} the {Physical} {World}},
    publisher = {Lightweight Languages 4 (LL4) conference at MIT in December 2004},
    year    = 2004,
    url = {https://frinklang.org/LL4.html}
}