|Enlightened||First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.|
Neel Krishnaswami earned this badge 22 times
mar 18 at 19:19Does there exist an extension of regular expressions that captures the context free languages?
mar 6 at 1:24logic in the presence of doubt, uncertainty, lies
feb 27 at 10:40What is a commutative transitive closure operator?
jan 11 at 20:47Free theorems, where?
nov 12 at 18:12How are Futures described in terms of category theory?
nov 9 at 11:43What is the difference between meaning and denotation?
nov 3 at 9:32Can any program be implemented mechanically?
nov 2 at 22:55Is it possible to decide $\beta$-equivalence within System F (or another normalizing typed λ-calculus)?
sep 11 at 17:16A mathematical (categorical) description of type classes
aug 12 at 3:42Proofs techniques related to Curry–Howard correspondence
jul 7 at 21:33Feasibility of Gödel machines
jun 4 '12 at 11:38Unary parametricity vs. binary parametricity
mar 27 '12 at 21:20Where is the proof that Coq + Excluded Middle is consistent
mar 11 '12 at 21:20Halting problem, uncomputable sets: common mathematical proof?
mar 10 '12 at 4:37Data Structure isomorphisms
mar 9 '12 at 18:15Programming languages with canonical functions
mar 9 '12 at 7:54What's the difference between ADTs, GADTs, and inductive types?
sep 9 '11 at 19:24Data structures in programming language with linear types
jul 28 '11 at 19:38What are the equational laws for zero types?
feb 21 '11 at 5:59Applications of metric structures on posets/lattices in theoryCS