Computer scientist working on programming language design, formal methods for software product line engineering and security, with a smattering of logic and coordination in there for good measure.

2h
awarded Enlightened
3h
comment Split a number into its digits with Haskell
digs 001 = digs 1 = [1] because 001 = 1.
3h
awarded Nice Answer
9h
answered Is it self-plagiarism to reuse my own unpublished material?
1d
awarded Yearling
1d
awarded Autobiographer
1d
revised Can a solvable problem be encoded in a recursively enumerable language?
added 59 characters in body
1d
answered Can a solvable problem be encoded in a recursively enumerable language?
1d
answered Pierce's Types and Programming Languages : circular definition of terms?
2d
revised Does any one know what this problem is called?
added 9 characters in body; edited title
Nov
21
awarded Good Answer
Nov
20
comment Why are types and grammar non-terminals so distinct?
One short answer: types is about semantics, grammar non-terminals is about syntax.
Nov
19
comment To what extent can I use the concept of "God" in a meteorology lecture without offending anyone?
You could talk about the gods (such as the Greek ones), perhaps in a tongue-in-cheek fashion. No one would be offended then.
Nov
19
awarded Good Answer
Nov
18
comment Advances in program verification?
One notable advance since the 80s: Separation Logic.
Nov
18
comment Why is $L_1-L_2$ regular for any two regular $L_1,L_2$?
Please write your question properly. Many letters are missing from your words.
Nov
18
comment Impact of Grothendieck's program on TCS
@NikolajK There is no real formal meaning to my use of $\subseteq$ over $\in$ -- Chapter 11 of the book addresses Higher-order Dependent Type Theory, for instance.
Nov
17
comment Is it unethical to ask for homework help on StackExchange?
@anorton: One would imagine, as with most laws, that a notion of reasonableness comes in. You'd have to look at our university regulations to find the precise formulation of the guidelines.
Nov
17
awarded Nice Answer
Nov
16
comment Is it unethical to ask for homework help on StackExchange?
You sound just like our students. When in doubt, point "it" out.
1 2 3 4 5