Benjamin C. Pierce · 5 obras en el catálogoObrasAdvanced topics in types and programming languagesTheoretical Aspects of Computer SoftwareTTypes and Programming LanguagesTypes and Programming LanguagesBBasic Category Theory for Computer ScientistsBasic Category Theory for Computer ScientistsPProceedings of the 8th ACM SIGPLAN Workshop on Types in LangProceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation
PProceedings of the 8th ACM SIGPLAN Workshop on Types in LangProceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation
