Search Results

• AlternativeTypeDefinitions
• ArgumentsThatTheObjectRelationalImpedanceMismatchDoesNotExist
• BadEngineeringPropertiesOfFunctionalLanguages
• BadEngineeringPropertiesOfOoLanguages
• BigComputing
• CardelliTypeTerminology
• ClassesPrototypesComparison
• ClosuresAndObjectsAreEquivalent
• CsharpLanguageDiscussion
• EconomyOfExecution
• EverythingIsAnObject
• FpVsOo
• ImplementingFunctionalLanguages
• JavaTwelvty
• LucaCardelli
• ManifestTyping
• MicrosoftCorporation
• ModuleSystem
• ObjectOrientationIsDead
• ObjectOrientedRefactored
• ObjectsAndDataAreSeparate
• OcamlTypeSafetyProblem
• OnUnderstandingTypes
• PeterWegner
• PolyMorphism
• RealObjectOrientedProgrammers
• SigmaCalculus
• TheoryOfObjects
• TypeTheory
• TypefulProgramming
• TypesOfTyping
• WhatAreTypes
• WideParameterNarrowReturn