Tag Info

type-systems Questions

165	14	Neel Krishnaswami 31.6k1 gold badge94 silver badges163 bronze badges
119	17	cody 13.2k1 gold badge43 silver badges87 bronze badges
108	12	Andrej Bauer 26.6k1 gold badge71 silver badges124 bronze badges
54	3	Andreas Rossberg 1,29010 silver badges11 bronze badges
32	4	Uday Reddy 4,67627 silver badges38 bronze badges
26	3	Dave Clarke 16.6k3 gold badges58 silver badges106 bronze badges
20	5	Martin Berger 10.3k3 gold badges34 silver badges62 bronze badges
17	2	Sam Tobin-Hochstadt 1,88711 silver badges21 bronze badges
17	3	Damiano Mazza 4,8231 gold badge20 silver badges35 bronze badges
17	2	Jacques Carette 1,49013 silver badges23 bronze badges
10	1	Stephen Dolan 1012 bronze badges
10	1	Anthony 7104 silver badges12 bronze badges
9	1	Noam Zeilberger 4,31921 silver badges34 bronze badges
9	1	Gabriella Gonzalez 2061 silver badge3 bronze badges
9	1	Gilles 'SO- stop being evil' 2,6671 gold badge25 silver badges35 bronze badges
8	1	Dominic Mulligan 8379 silver badges15 bronze badges
8	2	Max New 1,4127 silver badges19 bronze badges
8	3	xrq 1,1255 silver badges15 bronze badges
7	2	Rodolphe Lepigre 3113 silver badges8 bronze badges
7	1	Charles Stewart 4,27626 silver badges45 bronze badges

41	3	hawkeye 2,5011 gold badge17 silver badges32 bronze badges
36	5	Joey Eremondi 2,72414 silver badges29 bronze badges
34	1	oconnor0 4534 silver badges6 bronze badges
25	2	Petr 2,47112 silver badges25 bronze badges
24	1	indil 3432 silver badges6 bronze badges
22	4	Labbekak 6913 silver badges9 bronze badges
21	3	MaiaVictor 3,0459 silver badges29 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,1474 silver badges12 bronze badges
14	2	Uday Reddy 4,67627 silver badges38 bronze badges
14	3	beta 2932 silver badges5 bronze badges
13	1	Nutel 3513 silver badges9 bronze badges
13	1	molikto 3171 silver badge9 bronze badges
11	2	Martin Berger 10.3k3 gold badges34 silver badges62 bronze badges
10	1	socumbersome 1215 bronze badges
10	1	Jozef Mikušinec 3301 silver badge8 bronze badges
9	1	Alejandro DC 7013 silver badges14 bronze badges
9	1	Derek Thurn 1932 bronze badges