Skip to Content.
Sympa Menu

coq-club - [Coq-Club] FM Tutorial Lecture on THURSDAY, April 28, at 3 pm CET: Prof. Jeremy Gibbons on How to Design Co-Programs

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: Luigia Petre <Luigia.Petre AT abo.fi>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] FM Tutorial Lecture on THURSDAY, April 28, at 3 pm CET: Prof. Jeremy Gibbons on How to Design Co-Programs
  • Date: Thu, 21 Apr 2022 11:52:54 +0000
  • Accept-language: en-US, sv-FI
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Luigia.Petre AT abo.fi; spf=Pass smtp.mailfrom=Luigia.Petre AT abo.fi; spf=None smtp.helo=postmaster AT smtp-out.abo.fi
  • Dkim-filter: OpenDKIM Filter v2.11.0 smtp-out.abo.fi 7875710CFED0
  • Ironport-data: A9a23:b+q2OqvqHt450hdyqpBXcEM7iufnVEJYMUV32f8akzHdYApBsoF/q tZmKTzSOv2DNGvyeYpyOoS2/EkAv5fUytAwGwNr/ypgFSITgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g52bBVPyvX4 Ymo+5GFYQf8s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnZexTiklDO7LpNwQXARBTjAkHpxJ1oaSdBBTseTLp6HHW2Dp3+0rC1wqe4QS/aB5AAmi9 9RBc2hLNEvZwbjvmvTmEoGAhex7RCXvFKcCu35hxHfhAOo8TLjKSaKM694wMDIY3ZoQTaaCO ZNxhTxHXBHPaANWG0suIdEwk8Oao3unVyFSpwfAzUYwyzOJkFQvj+OF3MDuUteNXIBemluSj nnX+nzwRBAcLt2WjzSfmk9AncfUmD/jHYUPCPux/Pksjlz7KnEv5AM+Xlq8j/WLyUmCY99QN lVJ63ANnKcczRn+JjXiZCGQrHmBtx8aftNfFewm9Q2AopY4BS7FXgDoqRYdMbQbWN8KqS8Ci AfVwou1bdB7mOfPEyLDqN94uBvvURX5O1PucgcqbGPpCfHfvZswk3ojpf45SPPt1rUZ9RnLx C2WrDcznKlbo88N06y98Tj6b9+EvZ3VVksy+xmRV2iiqA14DGJEW2BKwQWLhRqjBN/HJrVkg JTis5PAhAzpJcrd/BFhuM1XQNmUCw+taVUwe2JHEZg77CiK8HW+Z41W6zwWDB43b55YIWa4P BeJ51s5CHpv0J2CMPUfj2WZVp1C8EQcPYm/PhwpRoQRP8MrK2drAgk3PBXPt4wSrKTcufplZ c/FLp3E4YcyFaVq0De7Qa8B0LI3wTwzxmXSRJPyyVyk3KGdeWXdTqZtDbd9Rr1R0U9wmy2Mq 4w3H5LTk313CbSuCgGKr9J7BQ1UfBATWMCnw+QKJ7XrClc3RwkJVaWNqZt/INYNt/oOyY/1E oSVBxUwJKzX3yOXcG1nqxlLNdvSYHqIhS9lbXF0YQb0ihDOo++Htc8iSnf+RpF/nMQL8BK+Z 6BtlxyoDqsdRzLZ1S4aaJWh/oVueA711wuEOGyrYWFnLZJnQgXI/P7ifxfuqndUUHrn7ZNmr u3yzB7fTLoCWx9mUJTcZsWpwg7jpnMagu9zAxbFL4ALKkXh+YRnMQLrifozL51eIBnP3GXI3 gyRRxkZ/LGfr4gw+djPpKaFs4b3TbEgThoCRzHWtO/kOzPb82yvxZ57fNyJJT2NBnnp/KiCZ PlOy62uOvMwmlsX4ZF3FKxmzP5j6tbi++1awwBjECmZZlinEOo9cGKDwdEKsbBRgLZTvk24W xvXqNVdPLyIPuLjEUIQelR/MLTTjalMl2mA9+kxLWX7+DRzoOiNX3JUMkTekydaNrZ0bN4oz LtzosIQ8ADj2BMmPszf03JP8niUa3sdT+MuvJZcDo6y0lgnzVRLYJr9DC7q4c/RMYscYhFye jLE1rDfg7l8x1bZdyZhH3b62+cA148FvwpHzQNfKlmE8jYfaiTbAPGMHfULogVpItFvyOdvI i1sKlEzLK+JuTlp7CSGs6ZABCkZbCB1OGSoo7fKqIEdZ0CiUSrDLQXR/M6TqVsB/Ts0kidzp dmlJaWMbdouVMj72W08WCaJbhAlocNZrmX/pSxsIyhJ81TWr9Yobm9CqFfkcyfaPP4=
  • Ironport-hdrordr: A9a23:PzEjM66L5rteSgdltAPXwObXdLJyesId70hD6qkoc20tTiXqrb HXoB17726JtN5yMEtLpTnkAsS9qBznhPlICOUqXYtKPzOWx1dATrsSi7cKqgeIc0aTmYA96U 4KSdkdNDSENykfsS+M2njcLz9P+qjlzEniv5ak854kd3ARV0hP1XYFNjqm
  • Ironport-phdr: A9a23:BGVC/xdAyAdinRR3lSiDMhcAlGM+qdTLVj580XLHo4xHfqnrxZn+J kuXvawr0AWSG92BoK4ew6qO6ua8AzZGuc7A+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohA c5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/I Au4oAnLqsUan4RuJ6kvxhDUpndEZ/layXlnKF6NgRrw/Nu88IJm/y9Np/8v6slMXLngca8lV 7JYFjMmM2405M3vqxbOSBaE62UfXGsLjBdGGhDJ4x7mUJj/tCv6rfd91zKBPcLqV7A0WC+t4 LltRRT1lSoILT858GXQisxtkKJWpQ+qqhJjz4LIZoyeKf1xcL7AfdMBXWpOQNpeVzBPDIO7a osAFesBPeBFpIX5qFYDqR6yCA+xD+3t1zBInGf7060k3eo8DQHI0g8uH9MSv3vbt9j6LrseU eKvwaXU0TnObfVb0ir95ojSdRAhpOmBU7RtccrQxkkvFhnKhUiKp4P7IzOVzPoCuHWc4uRmS OKvimEnqwBrrTS13MkjlJXJhpgLxV3f7yp224E1Kce2SE56eNOpFoZbuC6GOYVsWMwiX31ot zggyr0AoZO2fycExZY6yxPDa/GKcoeF7g7iWeuSLjp1gHFodK+hihuy7UWtyvDwW8i03VtOs iZLncTBu38J2hHS7sWLVvRw80G80jiB0ADT7/tLIUEylafDKp8hxbkwlp8JvUTeBS/6gEr2j K6KdkUk5+in8P7rYrThppOELYB7kQb+Pr4gmsy+B+kzLwsAX3CD9Oih2rDv4Vf1TKtEg/Eoi KXVro3WKdoBqqO5HwNZypsv5hijAzu8ztgVk2cLIEhYdB+GgYXlIV/DLfHgAfuijVmgjC1ny +7IM7H/GJnBM3rOnbX7cbty90JRzhc4w8pF6JJOEL4BJer+Wk/vu9zcCR80Kxe0w+P7CNVlz 48eXn+PArODPKzIqlCI4fgjI+eNZIMNuTb9LeYq5+L2gHMkl1IRYbOl0YUZZXymBPhqPViVb WT2jtoBDWsGpg8+Q/briF2GXz5TfXGyX6ck6z89FYKmDIjDRoG3j7Cbxim0AIFWZnpYBV2XC 3jnbIKEV+0CaCKTOsNhlCcLWqC7S4A9zRGuqBP6y71/I+bJ4iEYr47s1MBp5+3PkhE/7SB7D 8OE022UU250mn4ISCQt0aBkoU19z0+D3rJij/xZE9xT/fJJXR0gOZ7S1ewpQ+z1D0jKec7MQ 1K7SP2nByswR5Q/2ZVGN016ApCpig3J9yusGb4c0bKRUs8a6KXZilzsJsl8wj7+2bU7ghFyZ tZOOmyvwJZy6xLeL4fDlAOXlvD5JuwnwCfR+TLbniK1t0ZCXVssAM0tPFgab0rS95Hi41/aC qWpAvIhOxdAzsiLLu1LbMfohBNIXqSrI8zQNkS2nWr4HhOU3vWUdoO/X3gc0yTUTnAJjxoe1 X+MMk4wB3TpuHrQWQRnDkmneEbw6a97oXK/QFUzylSuckxu1rPzwhMJn/G0QvkUmLwF6286s zshOlG70prNDsaY4QpseKIJedQm/FJOzn7UrSRmO4C4aqd/mhgXeQMxsUKGOwxfLIJGnIBqq XoryFA3MqeEyBZbcDje25nsO7rRI220/Ra1aqeQ1EuMmNCRsrwC7vg1sTCB9EmgC1Yi/nN70 tJUz2rU55PECxAXWI7wVUB//gZzprXTaC0wr43O0ngkPa6xuz7Ek9UnYYltgjK9ftheOeW8G RPoHuUTDc/oJu1r01mlYxQYPfxDobYuNpDufP+H1ai3eed4yWv91SIdu9o7iBvWsXckGYuql 94fzvqV3xWKTWL5hVal6IXsnJxcICsVFSy5wDTlA4hYYutze5wKACGgOZ7SpJ02ipjzVnpf7 FPmCUkB3ZrjXQeTYF30mzVdyV4aiXWtnm22znYn9lNh5rraxyHIz+n4IVAjJ29ERWAktVrwO 4WchtodGkapJVthhF6u4kD0wLJeraJ0IjzIQEtGSCPxKnlrTqq6srfqj9dn0Jozqm0XVe29Z QrfUbvhu14A1CilGWJCxTc9fjXsu5PjnhU8hnjPZHp0qXPYf4l3y3K9rJT4WP9e3zNAfCRkk zT/D1K7edeotdmZjJbMtOmiWnnpD8YLN3Owl8Xa7XH9uDUiCAb3h/2pn9z7DQU2tE2zn8JnU ynFtle0Y4Xm0bi7LfMye0BpAFHm7M8pUop6k4Y2mNQRwS1D3c3TpyFd1z2qa5MGgfGbDjJFX zMAzt/L7RKw3URiKijM3IflTjCHxcAnYdCmY2QQ0yZ77sZQCa7S4qYX+Ek96le+sw/VZuBw2 zkHzv57oloHgu4IsUwVwzmHD5gbF04eMy2mxHHqp5iu6b5aYmqia+368Fd/ktGoSomPvhtRc H/zfdEsHGUji6c3eEKJ23r15Ib+fdDWZt9GrRyYnSDLiO1NIY4wnP4H1mJ3fHjwtno/x6snn ARjiNuk6ZOfJTwnr8fbSlZIcyf4bMQJ9nTxgLZCy4yIipu3EMwpGy1XDsKzFbTyS2hU7628c V/USHU9sivJQOGHW1XEsgE89iiJTsjOVTnfLSscwdwnQwSBYkBWnAkfUTMmk4R/GAHixcrqd Fp162Im/Ub27BZJw+NsOgP+FGnewWXgIjYyQ5yCIBcE9RlMoULcN8CE7+Z3FjlAuJamqUSMM jDJNlkOVD5UHBXdXBa6buDmstDE96Lw6vOWCfzIbP3OrOVfU63N3pezys58+D3KMMyTP35kB vl920xZXHk/Fd6L0zMIAzcakS7Adav57F+15zF3o8aj8f/qRBOn5I2BDKFXOMlu/Bb+iLmKN uqZjiJ0YThC0ZZEyXjNwbkZlFkc7kMmPyGqCqgFvDXRQbj4gapLF1scdj81PcFPqaw9n0FMN cPdltLpx+t4g/oyWDInHRTqnsCkY9BPInnobQifQhzQbvLcfGeNnpmkBMH0Aaddh+hVqRCq7 DOSEku5ey+GiyGsTRekd+dFkCCcOhVa/oC7aBdkT2b5H7eEIlW2NsF6iTouzPg6nHTPYCQ4L DlzckoLlrCM9y5wi/94XWJApCkAT6HMi2OC4u/UJ4xD++NsGThxnvlG7W4S0L5J9GRDWeAzk SHV6NBv6QLD8KHH2n9sVxxArSxOjYSAsBB5OKnXwZJHXG7N4BMH6Wj44/sirtFiTNPu6fk4I jnnj6fvMHJF7s6S9MEbQcbVeprv2J8JOBDuXjDVXlNtcA==
  • Ironport-sdr: WJ7v12a59rbPSzcbVdJv1mUbev7aixL6ZMorUyHtERn1TzjHhV/nkhg5wVyPXxGijuHJxCb3zN OkV2Ez9G2gT5+SoVMbZlh5Ev1tv4w6YQERNQZ/S9H4amMNHf62LHnG7A4+vtBM98i0lo4+on37 lSPSAelYs0t6vgRWDiA7UfUaBUhTRA5qW9XOwAhcyUHurlAvYy5glUkhP0DN7k39TxqC4gvMH6 n9C0AXcH88GI327ucfa1Gtqc1xZJU3RgBgivKaAt8LAkHvCu8GvZ+Pz30Rd6Nva4nFGPUVXGcF 9ST59qShADwPP4OjkurLHZ7R

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,
Luigia

PS1: the tutorial series webpage is updated with the list of speakers who
confirmed their lectures in 2022 here:
https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/.
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
www.users.abo.fi/lpetre



  • [Coq-Club] FM Tutorial Lecture on THURSDAY, April 28, at 3 pm CET: Prof. Jeremy Gibbons on How to Design Co-Programs, Luigia Petre, 04/21/2022

Archive powered by MHonArc 2.6.19+.

Top of Page