jespercockx/popl19-tutorial
Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
HTML
Stargazers
- alinabNCSA, University of Illinois Urbana-Champaign
- anton-trunovTON Foundation
- ayberktUniversity of Birmingham
- borsiemirAmsterdam
- clayratIMDEA Software
- CubesoupDeep Space
- cwjnkinsStony Brook University
- ebigram
- germanDTrilitech
- ichistmeinname@Cap3
- joom@Bloomberg
- KraksINRIA/ENS; Tufts
- logicshan
- MattPD
- nachivpnChalmers University
- nassersala
- philzook58Draper
- PiotrJanderŁódź
- secondwtqSichuan University
- shaobo-he
- steshaw@tweag
- timothyklim
- tkersey@thisisartium
- vyorkin@zeriontech
- xuanruiqiGraduate School of Mathematics, Nagoya University
- yiyuan-caoPeking University