Stéphane Gimenez

less info

network profile

655 reputation

318

bio	website
	location	Innsbruck, Austria
	age
visits	member for	1 year, 2 months
	seen	May 8 at 13:42
stats	profile views	37

Some advertising for new sites and Area51 proposals:

summary answers questions tags badges favorites bounties reputation activity

6 Questions

votes activity newest

16	Counting binary trees
11	Clever memory management with constant time operations?
9	Are today's massive parallel processing units able to run cellular automata efficiently?
7	Influence of the dimension of cellular automata on complexity classes
6	Polymorphism and Inductive datatypes

view more

655 Reputation

+5	Counting binary trees
+5	Influence of the dimension of cellular automata on complexity classes
+5	Clever memory management with constant time operations?
+10	Characterization of lambda-terms that have union types

view more

5 Answers

votes activity newest

12	ML function of type 'a -> 'b
7	Characterization of lambda-terms that have union types
4	CCS process for a drink dispenser with two different prices
2	Why store self and parent links (. and ..) in a directory entry?
1	Notions of efficient computation

26 Tags

12 programming-languages × 2	7 type-theory
12 typing	4 modelling
12 functional-programming	4 concurrency
11 logic × 3	4 process-algebras
7 lambda-calculus	2 operating-systems × 2

view more

18 Accounts

	French Language & Usage	9,471 rep	31657
	Unix & Linux	8,052 rep	1241
	Bitcoin	1,828 rep	825
	Meta Stack Overflow	724 rep	214
	English Language & Usage	710 rep	516

17 Badges

recent class name

Popular Question	Enthusiast
Yearling	Beta
Informed	Analytical
Custodian × 3	Nice Answer
Nice Question × 3	Commentator

view more

0 Active bounties

active offered earned

This user has no active bounties

81 Votes Cast

all time			by type
81	up		39	question
0	down		42	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 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.17.690