|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Mathematically Structuring Programming Languages
If you have a question about this talk, please contact Nishanth Sastry.
Goals gain a feel for using a language as a meta language to describe another – understand the concept of a monad and its use for structuring effects, in particular exceptions – understand the merit of using abstract mathematical structures to help structure programs and language semantics
This talk is part of the Current Research Topics (Computer Laboratory) 2010-11 series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsQualitative Research Forum - Open meetings Liberia's Independence Day Talk Centre Family Research/Psych
Other talksTeaching in the Bed of Procrustes: Macho Culture and Gendered Teacher-Student Interactions in Secondary Education The first bohemians: the artists of eighteenth-century Covent Garden “Teaching Sustainability to Chemical Engineering students” Determinants of retroviral transmission in Western Uganda Serre weights and de Rham cohomology of Shimura curves 'A novel anatomical model based on the portal and hepatic veins to guide partial liver lobectomy in the dog'.