CMSC498V: Advanced Functional Programming is a University of Maryland course that teaches advanced programming language ideas, including theory of programming languages, type systems, high-level programming abstractions, and program analyses. The content of the course is divided in three parts: (1) lambda calculus, a compact but highly expressive programming language, (2) Haskell, a high-level programing language that uses various novel programming techniques, like strong-typing, absence of side-effect, laziness, and monadic programming, and (3) formal verification via Liquid Haskell, a refinement type checker for Haskell programs that extends Haskell’s types with logical predicates to allow for expressive user specifications.
The subject is taught to University of Maryland upper-level undergraduate students. Details for the class are here.
I’m Kevin Chen, and this is my personal website. I am a second-year student in the CS department at the University of Maryland. ¶ My research interests are in machine learning and theoretical computer science. In my free time, I enjoy reading, filmmaking and helping out with Bitcamp.
To receive updates from this site, you can subscribe to the RSS feed of all updates to the site in an RSS feed reader.