| Nice Answer | Answer score of 10 or more. This badge can be awarded multiple times. |
Dave Clarke earned this badge 49 times |
mar 4 at 11:56
What tools do you use to write papers?
jul 6 '12 at 2:06
#SAT Solver download
jun 13 '12 at 14:57
Why go to theoretical computer science/research?
jun 12 '12 at 14:27
Higher-order algorithms
jun 4 '12 at 18:23
What are the differences between logical relations and simulations?
may 12 '12 at 21:22
Regular languages from category-theoretical point of view
dec 14 '11 at 8:21
When can we say that two programs are different?
dec 13 '11 at 13:29
What is a substantial contribution to software design, with respect to authorship?
dec 3 '11 at 18:20
Boolean as subtype of integer
nov 25 '11 at 13:23
Advice for attending my first TCS conference
sep 25 '11 at 14:17
When are more publications less?
aug 25 '11 at 3:37
What tools do you use to give presentations?
jul 29 '11 at 19:49
the type system does not tell the whole story due to “exception”
jul 7 '11 at 2:49
When a process spawns another process
jul 4 '11 at 13:51
How to become referee for TCS papers and conferences
jun 26 '11 at 23:17
Why is it so difficult for a computer to prove something?
may 27 '11 at 4:04
Applications of topology to computer science
may 25 '11 at 19:28
Dark Integers: General Purpose Computations on Internet Routers
may 12 '11 at 10:06
What would you advise someone who wants to do research as a hobby?
may 12 '11 at 8:26
Do dependent types give you everything subtyping does?
apr 20 '11 at 18:27
What is the most intuitive dependent type theory I could learn?
apr 18 '11 at 19:06
Looking for papers and articles on modal substructural logics
apr 14 '11 at 10:39
“The Solution Problem” - How to get credit for your work as an undergrad?
apr 5 '11 at 16:41
Are types propositions? (What are types exactly?)
apr 5 '11 at 10:25
Conjectures implying Four Color Theorem
mar 29 '11 at 17:07
How do 'tactics' work in proof assistants?
mar 28 '11 at 23:42
Is there a survey of the semantics of various programming language features?
mar 28 '11 at 15:42
Is there any programming language theory describing foreign function interfaces (FFI) and multiple language bindings?
mar 28 '11 at 10:52
Time-based mathematics or logic
mar 2 '11 at 4:11
What is the difference between proofs and programs (or between propositions and types)?
feb 25 '11 at 17:25
Programming languages for efficient computation
feb 22 '11 at 16:07
How to write a negative review for a conference paper?
feb 2 '11 at 12:46
Discharged hypotheses in ->Introduction
jan 31 '11 at 2:14
What kind of mathematical background is needed for graph theory?
dec 22 '10 at 13:25
What are theoretically sound programming languages for graph problems?
dec 19 '10 at 20:01
C# Generics Research Papers
dec 3 '10 at 16:51
What Books Should Everyone Read?
nov 9 '10 at 5:21
How do I referee a paper?
nov 9 '10 at 5:16
Inspirational talk for final year high school pupils
nov 6 '10 at 13:59
Can the cost of GC be neglected when analyzing the running time of worst-case data structures specified in a garbage-collected programming language?
nov 5 '10 at 21:59
What is the theoretical basis of imperative programming?
nov 2 '10 at 20:37
What algorithms/reading matter would you recommend on resolving transactions / read-write locks?
oct 26 '10 at 13:06
Why do we need formal semantics for predicate logic?
oct 23 '10 at 4:45
Physics results in TCS?
oct 22 '10 at 0:57
Why Ramanujan graphs are named after Ramanujan?
sep 4 '10 at 19:26
Solid applications of category theory in TCS?
