BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Functional Programming - Christian Steinruecken (University of Cam
 bridge)
DTSTART:20140501T140000Z
DTEND:20140501T153000Z
UID:TALK52439@talks.cam.ac.uk
CONTACT:Konstantina Palla
DESCRIPTION:This seminar will give an introduction to functional programmi
 ng\, its key concepts\, underlying theory and practical applications.  Whi
 le the talk's main aim is to get people excited about functional programmi
 ng\, it encourages to think more generally about the design and purpose of
  programming languages.\n\nSome of the juicy details include type systems\
 , lambda calculus\, combinators\, Turing-incomplete languages\, examples a
 nd live demos.\n\nBackground: functional languages (like O'Caml\, Haskell 
 or LISP/scheme) differ from imperative languages (such as C\, Java or Pyth
 on) in that they describe computation in terms of composable functions\, r
 ather than sequences of explicit steps.\n\nEspecially at a time where func
 tional languages are emerging as a basis for probabilistic programming fra
 meworks\, this seminar might be a useful starting point to those wanting t
 o design and implement their own language.\n
LOCATION:Engineering Department\, CBL Room 438
END:VEVENT
END:VCALENDAR