Mathematically Structured Programming

Activities

Activities per year 2008 2016 2017 2018 2019 2022

• 24 Invited talk
• 8 Participation in workshop, seminar, course
• 8 Examination
• 7 Key-note speaker and plenary lectures at conferences
• 19 More
  • 4 Participation in conference
  • 4 Organiser of special symposia
  • 3 Journal or guest editorship
  • 3 Membership of peer review panel or committee
  • 2 Organiser of major conference
  • 2 Oral presentation
  • 1 Membership of committee

Activities per year

Search results

• 23rd International Conference on Types for Proofs and Programs (Event)

  Fredrik Nordvall Forsberg (Guest editor)

  Dec 2018

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• Journal of Functional Programming (Journal)

  Conor McBride (Editor)

  Jan 2008 → Dec 2013

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• Vol 19, Issues 3 & 4 (Special Issue on Mathematically Structured Functional Programming

  Conor McBride (Guest editor)

  Jan 2008 → Dec 2013

  Activity: Publication peer-review and editorial work types › Journal or guest editorship