Stevie Strickland

  • Citations Per Year
Learn More
Substructural logics remove from classical logic rules for reordering, duplication, or dropping of assumptions. Because propositions in such a logic may no longer be freely copied or ignored, this suggests understanding propositions in substructural logics as representing resources rather than truth. For the programming language designer, substructural(More)
Bracha and Cook illustrate how existing object-oriented languages with only single inheritance, such as Smalltalk and Beta, cannot describe extensions to a family of classes without duplicating either the extension or the base classes. To this end, they examine the idea of mixins from the Common Lisp Object System (CLOS) and show how to adapt the idea of(More)
  • 1