Edinburgh Research Explorer

Laboratory for Foundations of Computer Science

Organisational unit: Research Institute

  1. 2019
  2. Coherence through normalisation-by-evaluation for cartesian closed bicategories

    Philip Saville (Invited speaker), Marcelo Fiore (Contributor)
    12 Nov 2019

    Activity: Academic talk or presentation typesInvited talk

  3. A type theory for cartesian closed bicategories

    Philip Saville (Invited speaker), Marcelo Fiore (Contributor)
    8 May 2019

    Activity: Academic talk or presentation typesInvited talk

  4. 2018
  5. ASA2018 talk: Forging a Causal Chain Around the Circadian Clock, from Genome Sequence to Field Traits

    Andrew Millar (Invited speaker), Argyris Zardilis (Contributor), Jose Urquiza Garcia (Contributor), Alastair Hume (Contributor), Robert Muetzelfeldt (Contributor), Gordon Plotkin (Contributor)
    5 Nov 2018

    Activity: Academic talk or presentation typesInvited talk

  6. 7th Workshop on Mathematically Structured Functional Programming (Event)

    Robert Atkey (Editor), Sam Lindley (Editor)
    8 Jul 2018

    Activity: Publication peer-review and editorial work typesEditorial activity

  7. 22nd ACM SIGPLAN International Conference on Functional Programming (Event)

    Sam Lindley (Editor), Brent Yorgey (Editor)
    2018

    Activity: Publication peer-review and editorial work typesEditorial activity

  8. 7th Workshop on Mathematically Structured Functional Programming (Event)

    Robert Atkey (Editor), Sam Lindley (Editor)
    2018

    Activity: Publication peer-review and editorial work typesEditorial activity

  9. 2017
  10. Skew monoidal structure on categories of algebras

    Philip Saville (Invited speaker), Marcelo Fiore (Contributor)
    28 Nov 2017

    Activity: Academic talk or presentation typesInvited talk

  11. 2nd ACM SIGPLAN International Workshop on Type-Driven Development (Event)

    Sam Lindley (Editor), Brent Yorgey (Editor)
    3 Sep 2017

    Activity: Publication peer-review and editorial work typesEditorial activity

  12. List objects with algebraic structure

    Philip Saville (Invited speaker), Marcelo Fiore (Contributor)
    23 May 2017

    Activity: Academic talk or presentation typesInvited talk

  13. 2016
  14. Cyber Security Christmas Lectures

    Kami Vaniea (Presenter)
    15 Dec 2016

    Activity: Participating in or organising an event typesPublic Engagement – Schools engagement

Previous 1 2 Next