Mathematically Structuring Programming Languages
Add to your list(s)
Download to your calendar using vCal
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.
|