Functional Programming
- đ¤ Speaker: Christian Steinruecken (University of Cambridge)
- đ Date & Time: Thursday 01 May 2014, 15:00 - 16:30
- đ Venue: Engineering Department, CBL Room 438
Abstract
This seminar will give an introduction to functional programming, its key concepts, underlying theory and practical applications. While the talk’s main aim is to get people excited about functional programming, it encourages to think more generally about the design and purpose of programming languages.
Some of the juicy details include type systems, lambda calculus, combinators, Turing-incomplete languages, examples and live demos.
Background: functional languages (like O’Caml, Haskell or LISP /scheme) differ from imperative languages (such as C, Java or Python) in that they describe computation in terms of composable functions, rather than sequences of explicit steps.
Especially at a time where functional languages are emerging as a basis for probabilistic programming frameworks, this seminar might be a useful starting point to those wanting to design and implement their own language.
Series This talk is part of the Machine Learning Reading Group @ CUED series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge Centre for Data-Driven Discovery (C2D3)
- Cambridge Forum of Science and Humanities
- Cambridge Language Sciences
- Cambridge talks
- Cambridge University Engineering Department Talks
- Centre for Smart Infrastructure & Construction
- Chris Davis' list
- Computational Continuum Mechanics Group Seminars
- custom
- Engineering Department, CBL Room 438
- Featured lists
- Guy Emerson's list
- Hanchen DaDaDash
- Inference Group Journal Clubs
- Inference Group Summary
- Information Engineering Division seminar list
- Interested Talks
- Machine Learning Reading Group
- Machine Learning Reading Group @ CUED
- Machine Learning Summary
- ML
- ndk22's list
- ob366-ai4er
- Quantum Matter Journal Club
- Required lists for MLG
- rp587
- School of Technology
- Simon Baker's List
- TQS Journal Clubs
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)


Thursday 01 May 2014, 15:00-16:30