Tag Info

type-systems Questions

140	13	Neel Krishnaswami 27.1k80 silver badges153 bronze badges
91	14	cody 11.5k34 silver badges66 bronze badges
77	6	Andrej Bauer 22.5k1 gold badge59 silver badges107 bronze badges
47	2	Andreas Rossberg 1,1209 silver badges11 bronze badges
29	4	Uday Reddy 4,17124 silver badges36 bronze badges
25	3	Dave Clarke 15.2k3 gold badges52 silver badges103 bronze badges
19	5	Martin Berger 9,4702 gold badges30 silver badges61 bronze badges
17	2	Jacques Carette 1,07611 silver badges20 bronze badges
17	2	Sam Tobin-Hochstadt 1,80710 silver badges20 bronze badges
17	3	Damiano Mazza 3,7731 gold badge16 silver badges31 bronze badges
10	1	Anthony 5503 silver badges11 bronze badges
9	1	Gilles 2,3071 gold badge22 silver badges32 bronze badges
9	1	Gabriel Gonzalez 2061 silver badge2 bronze badges
8	1	Noam Zeilberger 3,55018 silver badges31 bronze badges
8	1	Dominic Mulligan 8079 silver badges15 bronze badges
8	3	xrq 6831 silver badge14 bronze badges
7	1	Charles Stewart 3,86122 silver badges45 bronze badges
7	2	Rodolphe Lepigre 3113 silver badges8 bronze badges
6	1	gallais 5563 silver badges14 bronze badges
6	1	gasche 1,4921 gold badge12 silver badges13 bronze badges

37	3	hawkeye 1,1501 gold badge8 silver badges25 bronze badges
32	1	oconnor0 2682 silver badges6 bronze badges
23	2	Petr Pudlák 1,4519 silver badges20 bronze badges
21	3	jmite 1,0288 silver badges26 bronze badges
21	3	MaiaVictor 1,4026 silver badges26 bronze badges
19	1	indil 981 silver badge6 bronze badges
15	1	Christopher Monsanto 6425 silver badges11 bronze badges
15	1	RoboAlex 1781 silver badge6 bronze badges
14	2	Uday Reddy 4,17124 silver badges36 bronze badges
14	3	beta 1931 silver badge5 bronze badges
14	2	Yufei Cai 711 bronze badge
13	4	Łukasz Lew 6701 silver badge12 bronze badges
11	1	Nutel 1831 silver badge8 bronze badges
11	2	Martin Berger 9,4702 gold badges30 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
8	1	AllCoder 463 bronze badges