Tag Info

type-systems Questions

142	13	Neel Krishnaswami 29.7k83 silver badges155 bronze badges
102	15	cody 12k36 silver badges69 bronze badges
84	7	Andrej Bauer 23.5k1 gold badge62 silver badges108 bronze badges
47	2	Andreas Rossberg 1,1559 silver badges11 bronze badges
29	4	Uday Reddy 4,49625 silver badges36 bronze badges
25	3	Dave Clarke 16.2k3 gold badges55 silver badges105 bronze badges
20	5	Martin Berger 9,8052 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 6904 silver badges11 bronze badges
9	1	Gilles 'SO- stop being evil' 2,5071 gold badge23 silver badges33 bronze badges
9	1	Gabriel Gonzalez 2061 silver badge2 bronze badges
8	1	Noam Zeilberger 3,94019 silver badges31 bronze badges
8	1	Dominic Mulligan 8079 silver badges15 bronze badges
8	3	xrq 9632 silver badges14 bronze badges
7	1	Charles Stewart 4,19623 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

6	1	Nift 1878 bronze badges
2	1	Rodrigo 5452 silver badges11 bronze badges

37	3	hawkeye 2,3411 gold badge13 silver badges29 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,31110 silver badges22 bronze badges
21	3	MaiaVictor 2,8477 silver badges26 bronze badges
21	1	indil 3132 silver badges6 bronze badges
17	3	Labbekak 6192 silver badges8 bronze badges
15	1	Christopher Monsanto 1,0027 silver badges11 bronze badges
15	1	RoboAlex 2532 silver badges6 bronze badges
15	2	Yufei Cai 1511 bronze badge
14	2	Uday Reddy 4,49625 silver badges36 bronze badges
14	3	beta 2932 silver badges5 bronze badges
13	4	Łukasz Lew 9452 silver badges12 bronze badges
11	1	Nutel 2912 silver badges8 bronze badges
11	2	Martin Berger 9,8052 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