Tag Info

type-systems Questions

varkor

1261 bronze badge

142	13	Neel Krishnaswami 30k87 silver badges156 bronze badges
107	16	cody 12.3k1 gold badge36 silver badges70 bronze badges
91	8	Andrej Bauer 24.2k1 gold badge65 silver badges109 bronze badges
53	3	Andreas Rossberg 1,23010 silver badges11 bronze badges
29	4	Uday Reddy 4,54625 silver badges37 bronze badges
25	3	Dave Clarke 16.3k3 gold badges57 silver badges105 bronze badges
20	5	Martin Berger 9,9153 gold badges32 silver badges61 bronze badges
17	2	Jacques Carette 1,21812 silver badges20 bronze badges
17	2	Sam Tobin-Hochstadt 1,83711 silver badges21 bronze badges
17	3	Damiano Mazza 4,2381 gold badge17 silver badges31 bronze badges
10	1	Anthony 6904 silver badges11 bronze badges
9	1	Gilles 'SO- stop being evil' 2,5271 gold badge24 silver badges33 bronze badges
9	1	Gabriel Gonzalez 2061 silver badge2 bronze badges
8	1	Noam Zeilberger 4,02020 silver badges31 bronze badges
8	1	Dominic Mulligan 8179 silver badges15 bronze badges
8	3	xrq 1,0353 silver badges14 bronze badges
7	1	Charles Stewart 4,23625 silver badges45 bronze badges
7	2	Max New 1,1755 silver badges18 bronze badges
7	2	Rodolphe Lepigre 3113 silver badges8 bronze badges
6	1	gallais 6264 silver badges14 bronze badges

38	3	hawkeye 2,4111 gold badge14 silver badges30 bronze badges
33	1	oconnor0 4433 silver badges6 bronze badges
33	5	jmite 2,31910 silver badges27 bronze badges
23	2	Petr Pudlák 2,33111 silver badges23 bronze badges
21	3	MaiaVictor 2,8778 silver badges27 bronze badges
21	1	indil 3132 silver badges6 bronze badges
17	3	Labbekak 6393 silver badges9 bronze badges
16	2	Yufei Cai 1611 bronze badge
15	1	Christopher Monsanto 1,0127 silver badges11 bronze badges
15	1	RoboAlex 2532 silver badges6 bronze badges
14	2	Uday Reddy 4,54625 silver badges37 bronze badges
14	3	beta 2932 silver badges5 bronze badges
13	4	Łukasz Lew 1,0592 silver badges12 bronze badges
12	1	molikto 2971 silver badge9 bronze badges
11	1	Nutel 2913 silver badges8 bronze badges
11	2	Martin Berger 9,9153 gold badges32 silver badges61 bronze badges
11	1	ZeitRaffer 1136 bronze badges
9	1	Alejandro DC 7013 silver badges14 bronze badges
9	1	Derek Thurn 1932 bronze badges
9	1	socumbersome 1114 bronze badges