← Back to the graph video · community recordSBTB 2014, Adelbert Chang: Reasoning with TypesA connected record in the developer community graph.Open original ↗Claim or connect this record ↗01Connections1 relationshipspublished · incomingFunctionalTVcompany ↗