jfdm
Jan de Muijnck-Hughes
Research Associate. Liking Session Types, Design Patterns, Usable Crypto, Dependent Types.
Europe
Following (20)
|
FelixMcFelix Kyle A. Simpson |
|
jonathanjouty Jonathan Jouty |
|
owickstrom Oskar Wickström |
|
leastfixedpoint Tony Garnock-Jones |
|
samth Sam Tobin-Hochstadt |
|
wim Wim Vanderbauwhede |
|
tonydaly Tony Daly |
|
jmchapman James Chapman |
|
mbbx6spp Susan Potter |
|
simoninireland Simon Dobson |
Followers (20)
|
|
leastfixedpoint Tony Garnock-Jones |
|
|
jonathanjouty Jonathan Jouty |
|
|
owickstrom Oskar Wickström |
|
ska80 Kamil Shakirov |
|
|
FelixMcFelix Kyle A. Simpson |
|
japoneris Japoneris |
|
graydon Graydon Hoare |
|
yurrriq Eric Bailey |
|
dysinger Tim Dysinger |
|
cynede Cynede |
Browse others (15)
|
knewter Josh Adams |
|
svg Serge van Ginderachter |
|
porteneuve Christophe Porteneuve |
|
perlmutterlabs Aaron Perlmutter |
|
gattaca gattaca |
|
digitsu DJC |
|
AgileBits AgileBits, Inc. |
|
ecneladis Michał Marek |
|
madduck martin ➬ |
|
diggan Victor Bjelkholm |
|
steveberryman Steve Berryman |
|
adrianrossouw Adrian Rossouw |
|
alloy Eloy Durán |
|
fampinheiro Filipe Pinheiro |
