Tag Info

type-systems Questions

Jason Gross

2511 silver badge5 bronze badges

142	13	Neel Krishnaswami 29.3k81 silver badges155 bronze badges
99	15	cody 11.8k34 silver badges66 bronze badges
83	7	Andrej Bauer 23k1 gold badge61 silver badges108 bronze badges
47	2	Andreas Rossberg 1,1559 silver badges11 bronze badges
29	4	Uday Reddy 4,46624 silver badges36 bronze badges
25	3	Dave Clarke 16.2k3 gold badges54 silver badges104 bronze badges
19	5	Martin Berger 9,7152 gold badges31 silver badges61 bronze badges
17	2	Jacques Carette 1,18811 silver badges20 bronze badges
17	2	Sam Tobin-Hochstadt 1,81711 silver badges20 bronze badges
17	3	Damiano Mazza 3,9781 gold badge16 silver badges31 bronze badges
10	1	Anthony 6804 silver badges11 bronze badges
9	1	Gilles 'SO- stop being evil' 2,4971 gold badge23 silver badges33 bronze badges
9	1	Gabriel Gonzalez 2061 silver badge2 bronze badges
8	1	Noam Zeilberger 3,93019 silver badges31 bronze badges
8	1	Dominic Mulligan 8079 silver badges15 bronze badges
8	3	xrq 9532 silver badges14 bronze badges
7	1	Charles Stewart 4,18623 silver badges45 bronze badges
7	2	Max New 1,1465 silver badges17 bronze badges
7	2	Rodolphe Lepigre 3113 silver badges8 bronze badges
6	1	gallais 5913 silver badges14 bronze badges

jmite

2,2029 silver badges27 bronze badges

37	3	hawkeye 2,3311 gold badge13 silver badges28 bronze badges
33	1	oconnor0 4433 silver badges6 bronze badges
30	4	jmite 2,2029 silver badges27 bronze badges
23	2	Petr Pudlák 2,26110 silver badges22 bronze badges
21	3	MaiaVictor 2,8377 silver badges26 bronze badges
21	1	indil 3132 silver badges6 bronze badges
17	3	Labbekak 4852 silver badges7 bronze badges
15	1	Christopher Monsanto 1,0027 silver badges11 bronze badges
15	1	RoboAlex 2532 silver badges6 bronze badges
14	2	Uday Reddy 4,46624 silver badges36 bronze badges
14	3	beta 2832 silver badges5 bronze badges
14	2	Yufei Cai 1411 bronze badge
13	4	Łukasz Lew 9352 silver badges12 bronze badges
11	1	Nutel 2912 silver badges8 bronze badges
11	2	Martin Berger 9,7152 gold badges31 silver badges61 bronze badges
11	1	molikto 2771 silver badge9 bronze badges
11	1	ZeitRaffer 1136 bronze badges
9	1	Alejandro DC 7013 silver badges14 bronze badges
9	1	Derek Thurn 1932 bronze badges
8	1	user13264 912 bronze badges