Search for tag: "pointer"

4 Media

03:57 cos326-2020-11-03-pruning-closures cos326-2020-11-03-pruning-closures	cos326-2020-11-03-pruning-closures Pruning Closures in Your Environment Based Interpreter cos326 function variables closure environment k. space arrow unit scope closures instances pointer linear n. memory words pair point environments stuff From Daniel Macleod 0 likes 233 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
25:14 cos326-2020-10-02-von-neumann cos326-2020-10-02-von-neumann	cos326-2020-10-02-von-neumann How Ocaml Compiled to a Von Neumann Machine cos326 function pointer language record garbage variables word ocaml machine nursery header constructors call registers field values assembly records environment collector From Daniel Macleod 0 likes 190 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
24:10 cos326-2020-09-01-space-model cos326-2020-09-01-space-model	cos326-2020-09-01-space-model A Functional Space Model cos326 space tree function pair node amount structure allocation structures c1 pointer ocaml integer garbage constructor point functions insert constructors hand From Daniel Macleod 0 likes 303 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
12:40 cos326-2020-04-04-type-history cos326-2020-04-04-type-history	cos326-2020-04-04-type-history Where did type systems come from? cos326 languages ml programming pointer functions theory computer vulnerabilities language types sets systems records variant record integer runtime calculus paradox russell From Daniel Macleod 0 likes 154 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ