Badge
| Nice Answer | Answer score of 10 or more. This badge can be awarded multiple times. |
Neel Krishnaswami earned this badge 55 times |
mar 18 at 16:53
Does there exist an extension of regular expressions that captures the context free languages?
mar 6 at 1:24
logic in the presence of doubt, uncertainty, lies
feb 27 at 9:45
What is a commutative transitive closure operator?
jan 11 at 20:37
Free theorems, where?
dec 28 at 20:44
Is there such a thing as a state-based programming language?
nov 21 at 8:03
Frame rule as a change-preserver?
nov 12 at 16:52
How are Futures described in terms of category theory?
nov 3 at 9:12
Can any program be implemented mechanically?
nov 2 at 21:10
Is it possible to decide $\beta$-equivalence within System F (or another normalizing typed λ-calculus)?
sep 11 at 17:06
A mathematical (categorical) description of type classes
aug 12 at 2:47
Proofs techniques related to Curry–Howard correspondence
jul 7 at 10:48
Feasibility of Gödel machines
jun 4 '12 at 9:53
Unary parametricity vs. binary parametricity
mar 27 '12 at 20:30
Where is the proof that Coq + Excluded Middle is consistent
mar 11 '12 at 19:05
Halting problem, uncomputable sets: common mathematical proof?
mar 10 '12 at 4:07
Data Structure isomorphisms
mar 9 '12 at 17:35
Programming languages with canonical functions
mar 8 '12 at 18:29
What's the difference between ADTs, GADTs, and inductive types?
feb 27 '12 at 0:30
In domain theory, what can the extra structure present in metric spaces be used for?
feb 18 '12 at 15:42
What is the point of calling $\lambda$-calculus an algebra?
jan 20 '12 at 23:56
Functions that typed lambda calculus cannot compute
jan 18 '12 at 16:07
Class of functions computable by Coq
jan 4 '12 at 22:39
When can we say that two programs are different?
sep 28 '11 at 23:20
Computational hardness of “real” computer programs
sep 9 '11 at 18:54
Data structures in programming language with linear types
sep 1 '11 at 9:49
A category of NP-complete problems?
jul 28 '11 at 19:33
What are the equational laws for zero types?
jun 27 '11 at 8:57
Why is it so difficult for a computer to prove something?
may 23 '11 at 5:31
Is there any other algorithm whose worst-case running time is exponential meanwhile it works very well in practice other than Simplex Algorithm?
may 11 '11 at 9:24
Do dependent types give you everything subtyping does?
apr 4 '11 at 3:34
Classification of Typed/Untyped Lambda Calculi
mar 9 '11 at 17:53
Why do we need formal semantics for predicate logic?
mar 4 '11 at 15:58
Curry-Howard and programs from non-constructive proofs
mar 1 '11 at 20:51
Relationship between contracts and dependent typing
feb 9 '11 at 14:34
Axioms necessary for theoretical computer science
feb 4 '11 at 21:20
Applications of metric structures on posets/lattices in theoryCS
jan 31 '11 at 19:17
Where do most REGEX implementations fall on the complexity scale?
jan 12 '11 at 0:53
How are imperative languages more different from each other than functional languages?
jan 6 '11 at 15:38
Is there a sensible notion of an approximation algorithm for an undecidable problem?
jan 2 '11 at 18:34
What do we know about provably correct programs?
dec 31 '10 at 1:17
How do I choose a functional dictionary data structure?
dec 24 '10 at 17:28
Why naturals instead of integers?
nov 9 '10 at 5:36
Shallow versus Deep Embeddings
nov 6 '10 at 13:14
Can the cost of GC be neglected when analyzing the running time of worst-case data structures specified in a garbage-collected programming language?
oct 30 '10 at 2:10
Difference lists in functional programming
oct 26 '10 at 3:35
Context Sensitive Grammars and Types
oct 21 '10 at 3:50
How are side effects handled in semantics?
sep 10 '10 at 10:16
Realizability theory: difference in power between Lambda calculus and Turing Machines
sep 4 '10 at 18:51
Solid applications of category theory in TCS?
