Tag Info

type-systems Questions

4	1	Andrej Bauer 22.7k1 gold badge60 silver badges108 bronze badges
3	1	Max New 8265 silver badges17 bronze badges

142	13	Neel Krishnaswami 27.2k81 silver badges154 bronze badges
98	15	cody 11.7k34 silver badges66 bronze badges
81	7	Andrej Bauer 22.7k1 gold badge60 silver badges108 bronze badges
47	2	Andreas Rossberg 1,1209 silver badges11 bronze badges
29	4	Uday Reddy 4,19124 silver badges36 bronze badges
25	3	Dave Clarke 15.2k3 gold badges53 silver badges103 bronze badges
19	5	Martin Berger 9,5002 gold badges31 silver badges61 bronze badges
17	2	Jacques Carette 1,09311 silver badges20 bronze badges
17	2	Sam Tobin-Hochstadt 1,81710 silver badges20 bronze badges
17	3	Damiano Mazza 3,7931 gold badge16 silver badges31 bronze badges
10	1	Anthony 5503 silver badges11 bronze badges
9	1	Gilles 2,3471 gold badge23 silver badges33 bronze badges
9	1	Gabriel Gonzalez 2061 silver badge2 bronze badges
8	1	Noam Zeilberger 3,57019 silver badges31 bronze badges
8	1	Dominic Mulligan 8079 silver badges15 bronze badges
8	3	xrq 6932 silver badges14 bronze badges
7	1	Charles Stewart 3,87123 silver badges45 bronze badges
7	2	Max New 8265 silver badges17 bronze badges
7	2	Rodolphe Lepigre 3113 silver badges8 bronze badges
6	1	gallais 5913 silver badges14 bronze badges

5	1	Qhead 282 bronze badges
3	1	Labbekak 1957 bronze badges

37	3	hawkeye 1,2311 gold badge10 silver badges28 bronze badges
33	1	oconnor0 2732 silver badges6 bronze badges
23	2	Petr Pudlák 1,46110 silver badges22 bronze badges
22	3	jmite 1,1308 silver badges27 bronze badges
21	3	MaiaVictor 1,4377 silver badges26 bronze badges
21	1	indil 1081 silver badge6 bronze badges
16	3	Labbekak 1957 bronze badges
15	1	Christopher Monsanto 6425 silver badges11 bronze badges
15	1	RoboAlex 1781 silver badge6 bronze badges
14	2	Uday Reddy 4,19124 silver badges36 bronze badges
14	3	beta 1931 silver badge5 bronze badges
14	2	Yufei Cai 711 bronze badge
13	4	Łukasz Lew 6702 silver badges12 bronze badges
11	1	Nutel 1961 silver badge8 bronze badges
11	2	Martin Berger 9,5002 gold badges31 silver badges61 bronze badges
11	1	molikto 1929 bronze badges
11	1	ZeitRaffer 586 bronze badges
9	1	Alejandro DC 4712 silver badges14 bronze badges
9	1	Derek Thurn 1482 bronze badges
8	1	user13264 462 bronze badges