Posts By: S. Clover
| Date | Post | Topic |
| 03/12/2012 | Session Types | What work in FRP models programs which can change the type of output and input they have? |
| 05/16/2011 | Conor McBride is known for | Kleisli Arrows of Outrageous Fortune |
| 03/24/2011 | A small example | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/25/2011 | There's a difference of philosophy here | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/17/2011 | Vicious Circles | Reference request: running out of countably many variable names |
| 03/18/2011 | Expressions vs. Terms | Reference request: running out of countably many variable names |
| 02/18/2011 | There's a history of work on | The Habit Programming Language: The Revised Preliminary Report |
| 01/03/2011 | I'm confused by problem 1. | The AST Typing Problem |
| 11/29/2010 | This seems like the wrong | Recursion over the structure of a type |
| 11/29/2010 | A Rosetta stone | Recursion over the structure of a type |
| 11/24/2010 | For some values of always | What is computation? Concurrency versus Turing's Model |
| 11/24/2010 | FP with moderate use of more | A Preliminary Survey on Functional Programming |
| 11/24/2010 | That's only true if you use | Lambda the Ultimate seems an Overstatement (not) |
| 12/01/2010 | Another way | Lambda the Ultimate seems an Overstatement (not) |
| 12/01/2010 | One way I was thinking about | Lambda the Ultimate seems an Overstatement (not) |
| 11/29/2010 | Software Transactional | Lambda the Ultimate seems an Overstatement (not) |
| 11/29/2010 | Ok. I'm through. | Lambda the Ultimate seems an Overstatement (not) |
| 11/03/2010 | Along those lines, Mike Stay | Conservative Logic |
| 10/21/2010 | The point wasn't to decide | Using Hackage to Inform Language Design |
| 09/22/2010 | Thanks for the link to that | Mildly Extended MixFix |
| 09/07/2010 | Easily implemented... | Is Transactional Programming Actually Easier? |
| 09/08/2010 | It depends on what we mean | Is Transactional Programming Actually Easier? |
| 09/10/2010 | The garbage collection | Is Transactional Programming Actually Easier? |
| 09/16/2010 | Map can only be written in | J's concepts rank, composition, and GC |
| 08/26/2010 | Theoretical Computer Science StackExchange Beta now open | Theoretical Computer Science StackExchange Beta now open |
| 08/27/2010 | See the meta discussion on | Theoretical Computer Science StackExchange Beta now open |
| 10/20/2010 | One element that probably | Compiler Design Q&A Site |
| 08/05/2010 | A gentler start might be | What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common |
| 07/25/2010 | It seems to me that a good | Generative Grammar-based Computation |
| 07/26/2010 | I simply meant to say that I | Generative Grammar-based Computation |
| 07/26/2010 | I think I may have promised | Generative Grammar-based Computation |
| 12/10/2010 | New paper on Programming | Tropical Semirings |
| 05/19/2010 | Rhetoric, representation, and speech acts. | "Critical code studies" |
| 05/20/2010 | That's a really good | Seeking thoughtful criticisms of functional programming and languages |
| 12/30/2009 | A better term | Is (probabilistic) non-determinism pure ? |
| 12/08/2009 | Lazy Functional Incremental Parsing | Differentiating Parsers |
| 12/02/2009 | Clojure's implementation of | Eleven Theses on Clojure |
| 12/02/2009 | Thanks for the reply! I | Eleven Theses on Clojure |
| 12/03/2009 | As per Rich's reply above, I | Eleven Theses on Clojure |
| 11/20/2009 | optimization and declarative programming | John Hughes on Erlang and Haskell |
| 11/23/2009 | As far as ad-hoc | John Hughes on Erlang and Haskell |
| 11/02/2009 | System A calls function f on | Tim Bray on Clojure and Erlang |
| 11/03/2009 | I should add that Joe | Tim Bray on Clojure and Erlang |
| 10/26/2009 | design strategies | Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson |
| 02/23/2009 | Hmm... | Generating nested data types at runtime |
| 01/14/2009 | An alternative approach | Using coalgebraic structures for traversing ADTs lazily |
| 09/10/2008 | Logic programming and finance | Logic programming and finance |
| 08/05/2008 | Lisaac | Systems programming in languages other than C? |
| 01/11/2010 | Interesting work | more power and less verbiage |
| 02/09/2008 | Reactive Futures | time as a first class value? |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |