nponeccop

less info

network profile

191 reputation

8

bio	website	node-js.prcn.co.cc
	location
	age
visits	member for	1 year, 9 months
	seen	Oct 30 '12 at 6:26
stats	profile views	97

summary answers questions tags badges favorites bounties reputation activity

4 Answers

votes activity newest

2	Programming languages for efficient computation
2	In what manner and to which degree would programming on a hypothetical ternary computer differ than from binary computers?
1	What is the most intuitive dependent type theory I could learn?
-1	Research on call-site based type inference?

191 Reputation

+20	In what manner and to which degree would programming on a hypothetical ternary computer differ than from binary computers?
-2	Research on call-site based type inference?
+20	Programming languages for efficient computation
+10	What is the most intuitive dependent type theory I could learn?

view more

1 Question

votes activity newest

8	Type inference for imperative statements other than assignment

10 Tags

3 pl.programming-languages × 4	0 type-theory × 3
2 computability	0 imperative-programming
2 cc.complexity-theory	0 reference-request
1 dependent-type	-1 type-inference × 2
1 lo.logic	-1 type-systems

15 Accounts

	Stack Overflow	5,868 rep	931
	Code Review	628 rep	5
	Theoretical Computer Science	191 rep	8
	Server Fault	188 rep	8
	Personal Finance & Money	143 rep	4

8 Badges

recent class name

Announcer	Citizen Patrol
Commentator	Scholar
Editor	Student
Teacher	Supporter

0 Active bounties

active offered earned

This user has no active bounties

25 Votes Cast

all time			by type
25	up		10	question
0	down		15	answer

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 Christianity Arqade (gaming) Bicycles Role-playing Games more (21)	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.6.19.751

Theoretical Computer Science Stack Exchange works best with JavaScript enabled