tydeworkshop.org - TyDe Workshop

home > domains > tydeworkshop.org

Example domain paragraphs

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.

2023, Seattle

2022, Ljubljana ( local copy )

Links to tydeworkshop.org (4)

• josh-hs-ko.github.io Hsiang-Shang ‘Josh’ Ko 柯向上
• gallais.github.io index
• liamoc.net liamoc.net – Dr. Liam O’Connor
• anuyts.github.io Andreas Nuyts