Tag Info

type-systems Questions

149	13	Neel Krishnaswami 31k89 silver badges160 bronze badges
110	16	cody 12.7k1 gold badge39 silver badges82 bronze badges
101	11	Andrej Bauer 25.4k1 gold badge67 silver badges115 bronze badges
54	3	Andreas Rossberg 1,24010 silver badges11 bronze badges
30	4	Uday Reddy 4,60626 silver badges37 bronze badges
25	3	Dave Clarke 16.4k3 gold badges57 silver badges106 bronze badges
20	5	Martin Berger 10.1k3 gold badges33 silver badges62 bronze badges
17	2	Sam Tobin-Hochstadt 1,88711 silver badges21 bronze badges
17	3	Damiano Mazza 4,4881 gold badge18 silver badges33 bronze badges
17	2	Jacques Carette 1,48013 silver badges23 bronze badges
10	1	Anthony 7004 silver badges12 bronze badges
9	1	Gabriel Gonzalez 2061 silver badge2 bronze badges
9	1	Gilles 'SO- stop being evil' 2,6071 gold badge24 silver badges35 bronze badges
8	1	Dominic Mulligan 8379 silver badges15 bronze badges
8	1	Noam Zeilberger 4,17120 silver badges31 bronze badges
8	3	xrq 1,1254 silver badges14 bronze badges
7	2	Rodolphe Lepigre 3113 silver badges8 bronze badges
7	1	Charles Stewart 4,25625 silver badges45 bronze badges
7	2	Max New 1,2056 silver badges19 bronze badges
6	1	gasche 1,8421 gold badge15 silver badges15 bronze badges

39	3	hawkeye 2,4611 gold badge15 silver badges30 bronze badges
34	5	jmite 2,41712 silver badges27 bronze badges
34	1	oconnor0 4533 silver badges6 bronze badges
24	2	Petr 2,44111 silver badges24 bronze badges
22	1	indil 3232 silver badges6 bronze badges
22	4	Labbekak 6913 silver badges9 bronze badges
21	3	MaiaVictor 3,0058 silver badges28 bronze badges
17	1	RoboAlex 2732 silver badges6 bronze badges
16	2	Yufei Cai 1611 bronze badge
15	1	Christopher Monsanto 1,0327 silver badges11 bronze badges
15	4	Łukasz Lew 1,1373 silver badges12 bronze badges
14	3	beta 2932 silver badges5 bronze badges
14	2	Uday Reddy 4,60626 silver badges37 bronze badges
12	1	molikto 3071 silver badge9 bronze badges
11	1	Nutel 3313 silver badges9 bronze badges
11	2	Martin Berger 10.1k3 gold badges33 silver badges62 bronze badges
9	1	socumbersome 1114 bronze badges
9	1	Derek Thurn 1932 bronze badges
9	1	Alejandro DC 7013 silver badges14 bronze badges
8	1	AllCoder 1913 bronze badges