Search Results
DataAndCodeAreTheSameThing
DeterministicResourceManagement
FewShortClassesPerMethod
JeanYvesGirard
LinearLogic
NygaardClassification
ObjectFunctionalDiscussion
PhilipWadler
UniqueType