Posts By: fruehr
| Date | Post | Topic |
| 03/24/2011 | Going further with functions | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/25/2011 | Sorry to worry you | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/25/2011 | Or "abstract syntax" | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 06/10/2008 | Scheme-based exposition on combinators | help with understanding combinatory logic |
| 05/05/2008 | Cardinality issues | programming languages and facial hair |
| 02/24/2008 | Design versus implementation | Learning language design |
| 02/24/2008 | Wouter Swierstra's "Data Types á là Carte"? | Please help find a paper/tutorial |
| 02/18/2008 | The eye of the beholder | succinctness |
| 01/23/2008 | Minor typo in the first bit of code | Induction of variadic functions, functions over tuples, etc. |
| 12/12/2007 | Statman's results on combinator bases | S has a left inverse |
| 11/30/2007 | A better example? (and Trenchard More's Array Theory) | foundations for J, APL etc |
| 01/27/2008 | Link to Trenchard More Array Theory paper posted | foundations for J, APL etc |
| 10/29/2007 | Don't second-guess yourself ... | PL research & grad schools? |
| 11/03/2007 | An aside on TMs versus "GPCs" | The simplest mechanism with Turing-equivalent power to date ... |
| 11/18/2007 | Gurevich on limits of TMs (and the genesis of the ASM project) | The simplest mechanism with Turing-equivalent power to date ... |
| 10/10/2007 | Maybe to a Platonist ... | Computing is a Natural Science |
| 10/12/2007 | Yes, CS is not just mathematics, but ... | Computing is a Natural Science |
| 07/14/2007 | Still something there | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/10/2007 | [OT cont.] Fant's reputation / patent connection? | HOPL-III: Statecharts in the Making |
| 02/11/2007 | Chomsky's influence on CS, the general academic perspective | 50 years of “Syntactic Structures” |
| 01/31/2007 | Books, summer schools, study abroad? | Want to do undergraduate research, but CS dept is weak... |
| 08/27/2007 | Strange to see this at Walmart ... | Lectures on the Curry-Howard Isomorphism |
| 10/03/2006 | Book = "Flash Math Creativity"? | Why Johnny can't code |
| 07/24/2006 | Another reference to related work ... | Gamma formalism |
| 06/29/2006 | And he came up with the idea of a Monad | Gottfried Wilhelm Leibniz |
| 06/09/2006 | Response on a different issue? | Joshua Bloch: "Nearly All Binary Searches Broken" |
| 06/06/2006 | Now see ... | Relevance of Curry-Howard |
| 06/15/2006 | Stoy, not Scott? | First Class Values, Types as values within a Programming Language |
| 08/21/2006 | And the direction is already in the list | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 04/04/2006 | Small intersection | Purity in PLT |
| 04/04/2006 | Everything in APL ... | Purity in PLT |
| 03/23/2006 | Hoare's anecdote re long division | Programming: 50, 100 years from now |
| 03/23/2006 | Asimov's story "The Feeling of Power" | Programming: 50, 100 years from now |
| 03/24/2006 | Contacting Tony Hoare | Programming: 50, 100 years from now |
| 01/20/2006 | Polymorphism versus polytypism | Spring School on Datatype-Generic Programming 2006 |
| 01/21/2006 | One more time, with pith | Spring School on Datatype-Generic Programming 2006 |
| 11/11/2005 | Giving Dr. Pasalic his due | The Role of Type Equality in Meta-Programming |
| 03/23/2005 | The classical liberal arts are ... | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/24/2005 | By the way ... | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/24/2005 | Post-modernists co-opting Gödel? | According to Allen Holub programming is now a liberal art. When did this happen? |
| 02/15/2005 | Lots of variation in usage | Stupid Question. |
| 02/16/2005 | Re: papers | Stupid Question. |
| 02/20/2005 | What Scott actually said | Stupid Question. |
| 10/20/2005 | About those Eskimos ... | the Chinese natual language |
| 08/26/2004 | Incompleteness of typing (plus Zelazny, Egyptian gods) | Why type systems are interesting - part II |
| 07/18/2004 | Recursive Programming Techniques by W. H. Burge | Old computer science and technical books worth searching for |
| 07/18/2004 | OK, then ... | Old computer science and technical books worth searching for |
| 07/23/2004 | Another "arithmetic & types" idea (but remember Burge!) | Old computer science and technical books worth searching for |
| 02/04/2005 | Slight mis-reading | The DSL, MDA, UML thing again... |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |