Search Results

• AdvancedTopicsInTypesAndProgrammingLanguages
• AlternativeTypeDefinitions
• AndrewAppel
• BugFreeSoftware
• GroundBreakingLanguages
• HindleyMilnerTypeInference
• IntentionalRedundancyDoesNotViolateOnceAndOnlyOnce
• OperationalReasoning
• ProofCarryingCode
• ProofOfCorrectness
• ProofsCanBeSimple
• SafeVirtualMachine
• SelfCertifyingCode
• SingleFunctionExitPoint
• TypedAssemblyLanguage