Conference. TyDe '17: 2nd ACM SIGPLAN International Workshop on Type-Driven Development [tyde17]

September 2017
University of Oxford
10.1145/3122975
https://tydeworkshop.org/2017

Colocated with ICFP'17. An instance of the Workshop on Type-Driven Development.

Backlinks

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 Oxford [ox]

Oxford, United Kingdom
https://ox.ac.uk

Conference Series. Workshop on Type-Driven Development [tyde]

10.1145/3331554
https://tydeworkshop.org/

The workshop on Type-driven Development aims to show how static type information may be used effectively in the development of computer programs. Colocated with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development.