Eelco Visser:
shriram krishnamurthi
Eelco Visser:
what is daan thinking?
Eelco Visser:
william and stefan
Eelco Visser:
adam chlipala
Eelco Visser:
discussion
Eelco Visser:
stefan hanenberg
Eelco Visser:
gilad bracha
Eelco Visser:
william cook
Eelco Visser:
susan eisenbach
Eelco Visser:
sean mcdirmid
Eelco Visser:
gilad bracha
Eelco Visser:
shriram krishnamurthi
Eelco Visser:
alex loh and advisor
Eelco Visser:
yannis smaragdakis
Eelco Visser:
working group
Eelco Visser:
roberto ierusalimschi
Eelco Visser:
matthew flatt
Eelco Visser:
manuel serrano
Eelco Visser:
andrew black
Eelco Visser:
adam chlipala
Eelco Visser:
roberto ierusalimschy
Eelco Visser:
andrew black
Eelco Visser:
klaus ostermann
Eelco Visser:
roberto ierusalimschy
Eelco Visser:
roberto ierusalimschy
Eelco Visser:
tijs van der storm
Eelco Visser:
markus voelter
Eelco Visser:
leo meyerovich
Eelco Visser:
william cook
Eelco Visser:
stefan hanenberg
