mrrusof

less info

network profile

41 reputation

2

bio	website
	location
	age
visits	member for	6 months
	seen	Nov 16 '12 at 11:39
stats	profile views	0

summary answers questions tags badges favorites bounties reputation activity

1 Question

votes activity newest

8	Concise example of exponential cost of ML type inference

41 Reputation

+40	Concise example of exponential cost of ML type inference

0 Answers

votes activity newest

This user has not answered any questions

5 Tags

0 lambda-calculus	0 type-checking
0 functional-programming	0 type-inference
0 type-theory

5 Accounts

	Computer Science	41 rep	2
	English Language & Usage	13 rep	2
	Stack Overflow	1 rep
$Mathematics Stack Exchange$	Mathematics	1 rep
	Programmers	1 rep	1

2 Badges

recent class name

Editor

Student

0 Active bounties

active offered earned

This user has no active bounties

0 Votes Cast

This user has not cast any votes

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.24.702