Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Blaisorblade's user avatar
Blaisorblade's user avatar
Blaisorblade's user avatar
Blaisorblade
  • Member for 13 years, 8 months
  • Last seen more than a month ago
17 votes
Accepted

Why was Schönfinkel's work on eliminating "bound variables" in logic so crucial?

8 votes

Technical article vs. research paper

8 votes

For which algorithms is there a large gap between the theoretical analysis and reality?

6 votes

Has anyone used Pottier and Gauthier's polymorphic defunctionalization in a modular compiler?

6 votes

What are the uses of Limits and Colimits of Category Theory in every day problems?

5 votes

What are the uses of Limits and Colimits of Category Theory in every day problems?

5 votes

Where do most REGEX implementations fall on the complexity scale?

4 votes

Are there intermediate eta theories for the lambda calculus?

4 votes

Are lambda calculus and combinatory logic the same?

4 votes

Simple balanced trees with O(1) concat?

2 votes

Is eta-equivalence for functions compatiable with Haskell's seq operation?

1 vote

Church's Theorem and Gödel's Incompleteness Theorems

1 vote

Regular expressions aren't

0 votes

For what languages is there already a theory of observational equivalence?

-1 votes

Distinguishing semantics vs syntactic techniques and the syntax of your semantic domains