Search for tag: "assistant"

17:43 COS510-preview COS510-preview	COS510-preview COS510 preview - Software Verification cos326 length proof cons app programs induction assistant programming thing ocaml function theorem computer things machine reflexivity append hypothesis step fact From Daniel Macleod on September 16th, 2020 0 likes 131 plays Date September 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
02:19 Census Linking Project Origin Story Census Linking Project Origin Story	Census Linking Project Origin Story Leah Boustan of Princeton University and Ran Abramitzky of Stanford University explain why they started the Census Linking Project. economics census data research immigration census linking project census projects immigrants dataset methods sentences phi resources professors assistant graduates process questions history panel ideas lot scholars waves errors From Industrial Industrial Relations Section on August 5th, 2020 0 likes 14 plays Date July 10th, 2020 Speaker Leah Boustan, Ran Abramitzky Department Industrial Relations Section, Economics