inglese
Brett Gilio
Brett Gilio
@brettgilio
Researcher in formal methods and programming language theory.
Descrizione
Welcome to the personal website of Brett Gilio. I am a programmer and researcher in compiler construction, formal methods, constructive mathematics, type theory, category theory, and intuitionistic logic. I am also passionate about software freedom, functional programming, deterministic software, type safety, and enthusiastically opposing framework-driven programming.
Squadre
brettgilio fa parte di 1 squadra:
orcircd
A modern, high-performance IRC server (ircd)
- Donatori
- 0
- Guadagno
- 0,00 USD
a settimana
- Membri
- 1
Cronologia
brettgilio si è iscritto/a 4 anni fa.