[TYPES/announce] FM Tutorial Lecture on THURSDAY, April 28, at 3 pm CET: Prof. Jeremy Gibbons on How to Design Co-Programs

Luigia Petre Luigia.Petre at abo.fi
Thu Apr 21 08:11:42 EDT 2022

Dear all,

The FM Tutorial series continues with Prof. Jeremy Gibbons's lecture on
THURSDAY April 28, 2022, at 3 pm CET: His talk is entitled "How to Design Co
−Programs". The abstract of Prof. Gibbons's lecture is here:

The observation that program structure follows data structure is a key lesson
in introductory programming: good hints for possible program designs can be
found by considering the structure of the data concerned. In particular, this
lesson is a core message of the influential textbook “How to Design Programs”
by Felleisen, Findler, Flatt, and Krishnamurthi. However, that book discusses
using only the structure of input data for guiding program design, typically
leading towards structurally recursive programs. We argue that novice
programmers should also be taught to consider the structure of output data,
leading them also towards structurally corecursive programs.

The zoom link is https://aboakademi.zoom.us/j/64254430116. The event will last
about an hour.

Warmly welcome!!

Best wishes,

PS1: the tutorial series webpage is updated with the list of speakers who
confirmed their lectures in 2022 here:
https://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!HuSsb7CCnmDrdq8-ZnJq0ORdxHHjz0txDoA4bscdRPFXr9mHg6lDBT-pyccL1ByFBexPJMaKDDn5GQ$ .
Please note that we have a speaker every month from now on until August, and
then also October is booked.

PS2: the April 2022 lecture is scheduled exceptionally on the last _Thursday_
of the month, instead of the usual Friday.

Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!HuSsb7CCnmDrdq8-ZnJq0ORdxHHjz0txDoA4bscdRPFXr9mHg6lDBT-pyccL1ByFBexPJMYFzbTtjw$ <https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!HuSsb7CCnmDrdq8-ZnJq0ORdxHHjz0txDoA4bscdRPFXr9mHg6lDBT-pyccL1ByFBexPJMYFzbTtjw$ >
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220421/34bb4333/attachment-0001.htm>

More information about the Types-announce mailing list