@article{article, title = {{The theory of classification part 2: The scratch-built typechecker}}, url = {{https://eprints.whiterose.ac.uk/79276/ }}, year = {{2002}}, month = {{1}}, author = {{Simons AJH}}, doi = {{10.5381/jot.2002.1.2.c4}}, volume = {{1}}, journal = {{Journal of Object Technology}}, issue = {{2}}, pages = {{47-54}}, note = {{Accessed on 2025/06/30}}}