mariojppereira's Following
- mbbarbosaUniversity of Porto (FCUP) and INESC TEC
- pitag-haTarides
- fpb
- costaseco
- daro-almeidaNOVA SST
- ocurrentCambridge and Paris
- LucccyoTarides
- ionchirica
- xavierpinhoBraga, Portugal
- pedromsrocha
- alt-romesWell-Typed LLP @ GHC Team
- git-amd
- mrjazzybread
- robbertkrebbersRadboud University Nijmegen
- davidfsemedoUniversidade NOVA de Lisboa
- DeVilhena-Paulo
- paulpataultFrance
- sabineSaarbruecken, Germany
- naussicaaENSIIE
- kanigsson@AdaCore
- smolkajGoogle
- nojb@LexiFi
- bcpierce00University of Pennsylvania
- silene
- alcidesLASIGE, University of Lisbon
- OctachronInria
- christineroseTarides
- Julow@tarides
- xldenis
- dhilComputing Systems Laboratory, Zurich Research Center, Huawei Technologies Switzerland
- clarusFormal Land
- nobrakalParis - France
- jacekchrzaszcz
- enieber@fast-think
- jhjourdanCNRS, LMF
- art-w