Section outline

  • In this section we put all the relevant material for studying Functional Languages.
    More material and information will become available in the upcoming weeks.

    Books

    The course will not strictly follow any book, though we suggest 3 of them:

    • M. R. Hansen, Functional Programming in F#, Cambridge University Press (2013)
      ISBN: 9781139093996

    • G. Hutton, Programming in Haskell, Cambridge University Press (2016)
      ISBN: 1316626229

    • B. Pierce, Types and Programming Languages, MIT Press (2002)
      ISBN: 0262162091
      Suggested chapters: 3-7 for Untyped Lambda Calculus; 8-10 for Typed Lambda Calculus.


    GitHub

    We provide all the material produced during classes on a GitHub repository that will be created starting from the first lesson.
    At the moment the available material belongs to the repository of the past year:     https://github.com/alvisespano/FunctionalLanguages-UniPD
    Here you will find code written in class and other information and material to study on.