Search for tag: "exception"

5 Media

01:36:32 Institutional Neutrality and the Mission of the… Institutional Neutrality and the Mission of the University, Panel 2: Legal Implications of Kalven	Institutional Neutrality and the Mission of the University, Panel 2: Legal Implications of Kalven On November 11, 2022, the James Madison Program hosted a conference titled, "Institutional Neutrality and the Mission of the University." This conference was part of the Initiative on… james madison program madison program robert p. george robby george institutional neutrality freedom of speech free speech kalven report initiative on freedom of thought inquiry and expression mission of the university princeton princeton university calvin principles question speech president capacity knowledge neutrality exception things idea statement universities mission institution end truth amendment position thing From James Madison Program James Madison Program 0 likes 29 plays Date November 11th, 2022 Speaker Nadine Strossen, John Tomasi, Paul Clement, Rosemarie Monge Department Politics/James Madison Program Location Aaron Burr Hall 219
08:10 cos326-2020-12-04-module-evaluation cos326-2020-12-04-module-evaluation	cos326-2020-12-04-module-evaluation Ocaml Modules: Part 4: Module Evaluations cos326 declaration module functor function declarations functions printing modules signature paren expression functors exception result variation side hand values series structures From Daniel Macleod 0 likes 138 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
08:38 cos326-2020-12-02-module-choices cos326-2020-12-02-module-choices	cos326-2020-12-02-module-choices Ocaml Modules: Part 2: Design Choices stack pop interface argument error bug problem kind kinds programs exception option choice interfaces exceptions ocaml color client implementation air From Daniel Macleod 0 likes 158 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
30:29 cos326-2020-08-01-simple-proofs cos326-2020-08-01-simple-proofs	cos326-2020-08-01-simple-proofs Did I Get it Right? Part 1: Simple Proofs cos326 expression side function hand proof expressions programs times principle proofs step e2 equals evaluation loop words equation foo exception functions From Daniel Macleod 0 likes 201 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
23:36 cos326-2020-06-02-simple-evaluation cos326-2020-06-02-simple-evaluation	cos326-2020-06-02-simple-evaluation Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation cos326 expression values function evaluation exception e2 variable ocaml operation expressions variables v1 integer step language substitution constants execution e1 option From Daniel Macleod 0 likes 271 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ