cody

723 reputation

bio	website	lri.fr/~rouxcody
	location	Orsay, France
	age
visits	member for	1 year, 1 month
	seen	yesterday
stats	profile views	16

I am currently a postdoc in theoretical computer science, my main fields of interest revolve around logic and type theory, termination checking, satisfiability modulo theories.

	723 reputation	bio	website	lri.fr/~rouxcody	visits	member for	1 year, 1 month
15 badges		location	Orsay, France		seen	yesterday

summary answers questions tags badges favorites bounties reputation activity

14 Answers

votes activity newest

9	Is Category Theory useful for learning functional programming?
8	Fixed point, what does it mean in the world of computer science
8	$\lambda$-calculus with reflection
5	Inferring refinement types
5	Sorting algorithms which accept a random comparator

723 Reputation

+10	Can a runtime environment detect an infinite loop?
+10	$\lambda$-calculus with reflection
+55	How does 'deforestation' remove 'trees' from a program?
+10	Proving non-confluency and adding an equation to make it confluent and terminating

0 Questions

votes activity newest

This user has not asked any questions

28 Tags

19 programming-languages × 4	9 type-theory × 2
18 logic × 4	9 semantics × 2
16 functional-programming × 3	9 category-theory
12 terminology × 2	8 computability × 3
12 lambda-calculus × 2	8 reflection

7 Accounts

	Theoretical Computer Science	1,450 rep	37
	Computer Science	723 rep	15
$Mathematics Stack Exchange$	Mathematics	126 rep	2
	Stack Overflow	101 rep
	Programmers	101 rep	1