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