Search Results

• AlgebraOfProgramming
• AllFeaturesShouldBeSimple
• AreTablesGeneralPurposeStructures
• AreTypesTiedToTrees
• BasicCategoryTheoryForComputerScientists
• BluntnessDiscussion
• BookStop
• CartesianProduct
• CategoryBasedLanguage
• CategoryClassSetType
• CategoryTheory
• CategoryWeenie
• ChangesInJanuaryZeroNine
• CharityLanguage
• ClassesPrototypesComparison
• ClassificationTechniques
• CodeAlgebra
• CoinductiveDataType
• CommutingDiagrams
• DataAndCodeAreTheSameThing
• DefinitionsForOo
• DesignVersusResultsEvidence
• ElementsOfBasicCategoryTheory
• ExtendedSetTheory
• FirstClassModules
• FoldFunction
• FunctorObject
• GoedelsIncompletenessTheorem
• GraphTheory
• GreatAbstraction
• IdealProgrammingLanguage
• IsAnythingBetterThanPaper
• LinearAlgebra
• LinearTypes
• MagicEverythingMachine
• MathPatternLanguage
• MeetsAndJoins
• MultiParadigmWeenie
• NodesAndArcs
• NullsAndRelationalModel
• ObjectVsModel
• ParallelClassHierarchies
• PureMathematics
• QuestionsForTypeDefinitions
• RelationalAlgebra
• RelationalWeeniesEmbraceOo
• ScienceShouldBeEasy
• ScottCooper
• ScottWhitmire
• SetOfAllSets
• ShortBooks
• SkinnyBook
• SpecificTestimonyOnCategories
• StaffingEconomicsVersusTheoreticalElegance
• SymbolicLogic
• TableInheritance
• TheEvolutionOfaHaskellProgrammer
• TheoryOfTypes
• ThreeValuedLogic
• TopType
• TypeTheory
• TypesAreSideFlags
• TypesAreTypes
• VagueVsAbstract
• WhyTypeSyntax