Kind Theory
<p>My contribution, described in this thesis, is a theory that is meant to assist in the construction of complex software systems. I propose a notion of structure that is independent of language, formalism, or problem domain. I call this new abstraction a kind, and its related formal system,...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
2002
|
| Online Access: | https://thesis.library.caltech.edu/2468/1/dissertation.pdf Kiniry, Joseph Roland (2002) Kind Theory. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/TVTD-E826. https://resolver.caltech.edu/CaltechETD:etd-06062002-164914 <https://resolver.caltech.edu/CaltechETD:etd-06062002-164914> |