Tag Info

type-inference Questions

Andrej Bauer

23.6k1 gold badge55 silver badges94 bronze badges

62	5	cody 7,34117 silver badges44 bronze badges
60	8	Gilles 'SO- stop being evil' 37.9k7 gold badges102 silver badges166 bronze badges
41	8	Martin Berger 7,65820 silver badges40 bronze badges
39	4	chi 13.6k22 silver badges33 bronze badges
15	5	Andrej Bauer 23.6k1 gold badge55 silver badges94 bronze badges
15	3	bellpeace 1,4747 silver badges15 bronze badges
11	3	jmite 26.5k4 gold badges54 silver badges108 bronze badges
11	3	babou 18.3k28 silver badges71 bronze badges
9	3	Rodolphe Lepigre 7743 silver badges10 bronze badges
8	1	didierc 4252 silver badges7 bronze badges
8	1	Tim 4863 silver badges5 bronze badges
7	1	gasche 4692 silver badges3 bronze badges
7	1	Ptharien's Flame 2351 silver badge6 bronze badges
7	3	Derek Elkins left SE 11.4k1 gold badge25 silver badges40 bronze badges
6	1	svick 1,75613 silver badges14 bronze badges
5	1	dan p 511 silver badge3 bronze badges
5	1	András Kovács 5032 silver badges6 bronze badges
4	1	BlueBomber 1,1278 silver badges15 bronze badges
4	1	edA-qa mort-ora-y 1,49811 silver badges15 bronze badges
4	2	D.W.♦ 118k15 gold badges154 silver badges335 bronze badges

3	1	Bharat Khatri 1314 bronze badges
2	1	jonhue 1212 bronze badges

42	1	Victor 6155 silver badges5 bronze badges
33	4	Juan 6333 silver badges12 bronze badges
22	1	jmite 26.5k4 gold badges54 silver badges108 bronze badges
15	4	Rafael Castro 4573 silver badges15 bronze badges
11	1	mrrusof 1114 bronze badges
11	1	Jon Purdy 3651 silver badge8 bronze badges
11	1	Sam Washburn 2151 silver badge5 bronze badges
10	1	Alexey Romanov 2,64712 silver badges17 bronze badges
9	1	miniBill 3971 silver badge12 bronze badges
9	1	Wandering Logic 16.1k1 gold badge37 silver badges74 bronze badges
8	3	Pinocchio 1,0167 silver badges15 bronze badges
8	2	Bakuriu 7995 silver badges17 bronze badges
8	1	user40276 1915 bronze badges
8	1	Peter Lenkefi 1638 bronze badges
6	1	sinan 2131 silver badge5 bronze badges
5	1	Alexis King 1848 bronze badges
5	1	Christian 1513 bronze badges
5	1	pyon 3951 silver badge9 bronze badges
5	1	josh 3211 silver badge4 bronze badges
5	1	feersum 2332 silver badges5 bronze badges