alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC TeamPortugal
alt-romes's Followers
- 000MatthewJamesKalasky
- adamshaylor@Lobelia-Earth
- andrew-johnson-4LibExplainer.com
- antonlogvinenko
- artisdomAuckland
- Benjamin-cupCanada
- Binary-Brawler
- Charles-ChrismannInstitut de l'Internet et du Multimédia (IIM)
- CharlesAverill@SoftwareLanguagesSecurityLab
- cmcmA20
- Connor9994
- criskellyo-lara
- djvelimirNovi Sad, Vojvodina, Serbia
- dmjioAustin, TX
- Educorreia932freiheit.com
- ejmin91
- evanrelf@MercuryTechnologies
- foxmeanThailand
- glopes00
- hardRockWorldIndia
- hu8813Vienna, Austria
- idimetrix@elevanceit
- jmg-duarte@eigerco
- joseemds
- minokiJapan
- monad-oneIndia
- mrdaybird
- naldocoUniversidad de Alcalá
- neuroevolutus
- nholuongutDevOps and Platform Services Lead
- philzook58Draper
- RiscadoAInstituto Superior Técnico
- seniorvuejsdeveloperVue Companies
- wavewaveSan Francisco, CA, USA
- xavierpinhoBraga, Portugal
- XiaomingXuhaka