Tag Info

type-systems Questions

142	13	Neel Krishnaswami 29.4k82 silver badges155 bronze badges
101	15	cody 12k35 silver badges68 bronze badges
84	7	Andrej Bauer 23.2k1 gold badge62 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 badges55 silver badges105 bronze badges
20	5	Martin Berger 9,7552 gold badges31 silver badges61 bronze badges
17	2	Jacques Carette 1,20812 silver badges20 bronze badges
17	2	Sam Tobin-Hochstadt 1,82711 silver badges21 bronze badges
17	3	Damiano Mazza 4,0181 gold badge17 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 9432 silver badges14 bronze badges
7	1	Charles Stewart 4,18623 silver badges45 bronze badges
7	2	Max New 1,1765 silver badges18 bronze badges
7	2	Rodolphe Lepigre 3113 silver badges8 bronze badges
6	1	gallais 5913 silver badges14 bronze badges

jmite

2,2429 silver badges27 bronze badges

37	3	hawkeye 2,3311 gold badge13 silver badges28 bronze badges
33	1	oconnor0 4433 silver badges6 bronze badges
33	5	jmite 2,2429 silver badges27 bronze badges
23	2	Petr Pudlák 2,29110 silver badges22 bronze badges
21	3	MaiaVictor 2,8377 silver badges26 bronze badges
21	1	indil 3132 silver badges6 bronze badges
17	3	Labbekak 5052 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 9452 silver badges12 bronze badges
11	1	Nutel 2912 silver badges8 bronze badges
11	2	Martin Berger 9,7552 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