Institution. TypeSIG [typesig]

https://typesig.pl/

A student society, part of CompSoc at the University of Edinburgh, devoted to theoretical computer science and programming languages.

Backlinks

Person. Amy Yin [sandwichman]

PhD student
University of Edinburgh
https://github.com/yinamy

Former student of Liam O'Connor at the University of Edinburgh, then a masters student for a time at the University of Cambridge before embarking on a PhD at the University of Edinburgh. Co-founder of TypeSIG.

Course. Domain Theory (TypeSIG) [typesig-dt]

Liam O'Connor
University of Edinburgh
https://typesig.pl/resources/domain-theory

I ran this course as an opt-in invited lecture series with TypeSIG at University of Edinburgh. Suprisingly, around 15 students consistently showed up throughout.

Topics include denotational semantics, fixed points, categories and constructions, PCF, scott domains, recursive domains, and powerdomains.

Liam O'Connor › Curriculum vitæ › Academic community roles [loc-0003]

Member, IFIP Working Group 2.1: Algorithmic Languages and Calculi, 2025–present (observer from 2024–2025).
Organiser, ICFP '25 Programming Contest, 2025.
Editor (Social Media), Journal of Functional Programming, 2020–present.
Member at Large, Workshop on Type-Driven Development Steering Committee, 2022–2024.
Publicity Chair, Scottish Programming Languages Institute, 2022–2024.
Organiser and Designer, TypeSIG Advent of Proof, 2023.
Problem Designer, TypeSIG Advent of Proof, 2024.

Program committees

Haskell '25: 18th ACM SIGPLAN Haskell Symposium
FProPer '25: 2nd ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance
APLAS '25: 23rd Asian Symposium on Programming Languages and Systems
ICFP '25: 29th ACM SIGPLAN International Conference on Functional Programming
PLDI '25: 46th ACM SIGPLAN International Conference on Programming Language Design and Implementation
SBLP '24: 28th Brazilian Symposium on Programming Languages
PEPM '24: ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
APLAS '23: 21st Asian Symposium on Programming Languages and Systems
SBLP '22: 26th Brazilian Symposium on Programming Languages
ICFP '21 Student Research Competition
TyDe '17: 2nd ACM SIGPLAN International Workshop on Type-Driven Development

Other reviewing

Journal Review, Journal of Functional Programming, 2025
External Review, TASE '23: 17th International Symposium on Theoretical Aspects of Software Engineering
External Review, ESOP '22: 31st European Symposium on Programming
External Review, FoSSaCS '21: 24th International Conference on Foundations of Software Science and Computation Structures
Journal Review, Journal of Functional Programming, 2020
External Review, CPP '18: 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
External Review, POPL '16: 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Artifact Evaluation, ICFP '18: 23rd ACM SIGPLAN International Conference on Functional Programming
Subreviewer, CSF '19: 32nd IEEE Computer Security Foundations Symposium
Subreviewer, ASPLOS '19: 24th International Conference on Architectural Support for Programming Languages and Operating Systems
Subreviewer, ITP '17: 8th International Conference on Interactive Theorem Proving
Subreviewer, ICFP '15: 20th ACM SIGPLAN International Conference on Functional Programming
Subreviewer, POPL '15: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Subreviewer, ICFP '14: 19th ACM SIGPLAN International Conference on Functional Programming
Subreviewer, APLAS '13: 11th Asian Symposium on Programming Languages and Systems

Related

Institution. University of Edinburgh [uoe]

Scotland, United Kingdom
https://ed.ac.uk