Posts By: Dave Herman
| Date | Post | Topic |
| 07/11/2010 | Re: How does this differ from using phantom types? | The Rust Language |
| 07/11/2010 | H-M | The Rust Language |
| 06/20/2010 | Some advancements | A Theory of Typed Hygienic Macros |
| 03/10/2010 | under-specification | Have tracing JIT compilers won? |
| 01/12/2010 | Verified Just-In-Time Compiler on x86 | Verified Just-In-Time Compiler on x86 |
| 10/17/2009 | fexprs are a very bad idea | Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language |
| 08/11/2009 | related work by Cobbe | Avoid a Void: eradicating null-pointer dereferencing |
| 07/09/2009 | MitchFest 2009: Symposium in Honor of Mitchell Wand | MitchFest 2009: Symposium in Honor of Mitchell Wand |
| 07/09/2009 | Re: Nice talk titles | MitchFest 2009: Symposium in Honor of Mitchell Wand |
| 06/21/2009 | Re: First-class macros | Fully-parameterized, first-class modules with hygienic macros |
| 05/18/2009 | classic example: equals/hashCode | Extension Methods versus Structural Typing of Traits for solving the expression problem |
| 05/18/2009 | syntax is fine, but... | Extension Methods versus Structural Typing of Traits for solving the expression problem |
| 05/11/2009 | seduction | Why Did M.I.T. Switch from Scheme to Python? |
| 04/13/2009 | The inescapable conclusion: | ADD 50 TO COBOL GIVING COBOL |
| 04/08/2009 | can you clarify? | Twitter and Scala |
| 04/01/2009 | what, no twitter feed? | LtU: Forum not blog |
| 04/02/2009 | or People's United Bank | Announcing the Haskot |
| 03/25/2009 | link | The Art of the Propagator |
| 01/22/2009 | Cobbe's thesis | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 12/19/2008 | hilarious | If Programming Languages were <T> |
| 12/21/2008 | insufficiently general story title | If Programming Languages were <T> |
| 12/25/2008 | perhaps, but... | If Programming Languages were <T> |
| 11/09/2008 | we won't do your homework for you | Labyrinth:how to find the exit? |
| 10/12/2008 | not an optimization | No more tail calls in Javascript? |
| 10/12/2008 | hee hee, I just don't give up | No more tail calls in Javascript? |
| 07/08/2008 | Java Precisely | Of Generics and Erasure and, of all things, GC and memory layout |
| 07/05/2008 | tail-recursive SECD | Implementing fast interpreters |
| 06/17/2008 | neat stuff | Algebraic Data Types in JavaScript |
| 06/18/2008 | Re: Thanks! | Algebraic Data Types in JavaScript |
| 05/17/2008 | failing fast | HOPL-III: A History of Erlang |
| 04/03/2008 | I don't believe you | April 1st special: The War of the Worlds |
| 04/24/2008 | innermost return | Higher-Order Programming without Closures? |
| 04/26/2008 | yes | Higher-Order Programming without Closures? |
| 03/05/2008 | I think his question was genuine | Help John Baez and Mike Stay! |
| 02/22/2008 | more than that | When Is A Functional Program Not A Functional Program? |
| 01/30/2008 | gensym isn't enough | Arc is released |
| 01/31/2008 | parameters to the macro | Arc is released |
| 01/07/2008 | slim pickings | Featherweight JavaScript? |
| 01/11/2008 | well... | Featherweight JavaScript? |
| 01/11/2008 | semantics of the DOM | Featherweight JavaScript? |
| 11/06/2007 | ECMAScript Edition 4 and Backwards Compatibility | ECMAScript Edition 4 and Backwards Compatibility |
| 11/06/2007 | thanks | ECMAScript Edition 4 and Backwards Compatibility |
| 10/23/2007 | tail calls | ECMAScript 4 overview paper |
| 11/06/2007 | More material | ECMAScript 4 overview paper |
| 09/13/2007 | compactness of representation | Minimal FORTH compiler and tutorial |
| 09/14/2007 | end-to-end, bottom-up | Minimal FORTH compiler and tutorial |
| 04/07/2008 | I don't know | Minimal FORTH compiler and tutorial |
| 09/04/2007 | references in semantics? | Rob Pike on Concurrency and Message passing in Newsqueak |
| 09/04/2007 | a clue | Rob Pike on Concurrency and Message passing in Newsqueak |
| 08/22/2007 | two different lambdas | Compiling with Continuations, Continued |
| 08/08/2007 | neat! | Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams |
| 06/08/2007 | ECMAScript Edition 4 Reference Implementation | ECMAScript Edition 4 Reference Implementation |
| 06/09/2007 | Use v110.64 | ECMAScript Edition 4 Reference Implementation |
| 06/10/2007 | "formalized" is not a formal property | ECMAScript Edition 4 Reference Implementation |
| 06/11/2007 | "inherently non-deterministic" | ECMAScript Edition 4 Reference Implementation |
| 06/11/2007 | over-specification | ECMAScript Edition 4 Reference Implementation |
| 06/09/2007 | make exec-release | ECMAScript Edition 4 Reference Implementation |
| 06/09/2007 | this is a *pre-release* | ECMAScript Edition 4 Reference Implementation |
| 06/09/2007 | not problems, really | ECMAScript Edition 4 Reference Implementation |
| 06/09/2007 | wonderful! | ECMAScript Edition 4 Reference Implementation |
| 05/03/2007 | store-passing style | Functional Object-Oriented Programming |
| 05/03/2007 | afterthought | Functional Object-Oriented Programming |
| 04/02/2007 | lexical scope | Terminology: Thunking vs Quoting |
| 03/22/2007 | missing a big one | The New Twelf Wiki |
| 03/12/2007 | interpretation | The Current Practical Limit of Static Typing |
| 03/15/2007 | theorem or conversation? | The Current Practical Limit of Static Typing |
| 02/23/2007 | link | Actors that Unify Threads and Events |
| 02/22/2007 | cool ideas | DanFest 2004 videos online |
| 02/22/2007 | effect systems | Effects in Types |
| 02/14/2007 | Threads in JavaScript? | Threads in JavaScript? |
| 02/14/2007 | JS3/ES5 | Threads in JavaScript? |
| 02/16/2007 | yeah, big difference | Threads in JavaScript? |
| 02/07/2007 | anaphora | Programming Shorthands |
| 02/03/2007 | I'll bite | Separation Logic: A Logic for Shared Mutable Data Structures |
| 01/30/2007 | escape continuations | What is a "fully featured closure"? Request for comments. |
| 01/13/2007 | in what way is your comment related to the paper? | Interlanguage Migration: From Scripts to Programs |
| 12/19/2006 | MetaOCaml | Scheme interpreters written in Standard ML? |
| 11/29/2006 | soundness: keeping your promises | Mechanized Metatheory Model-Checking |
| 11/30/2006 | obviously a type error | Mechanized Metatheory Model-Checking |
| 11/21/2006 | a few more | Haskell -> Javascript converter, kind of |
| 10/20/2006 | Specifying ECMAScript via ML | Specifying ECMAScript via ML |
| 10/20/2006 | why ML | Specifying ECMAScript via ML |
| 10/22/2006 | confused... | Specifying ECMAScript via ML |
| 10/22/2006 | cheap shot | Specifying ECMAScript via ML |
| 10/22/2006 | Re: reference implementation than specification | Specifying ECMAScript via ML |
| 10/21/2006 | call/cc | Specifying ECMAScript via ML |
| 10/21/2006 | Re: delimited continuations in OCaml | Specifying ECMAScript via ML |
| 10/22/2006 | call/cc and type soundness | Specifying ECMAScript via ML |
| 10/21/2006 | perhaps | Specifying ECMAScript via ML |
| 10/22/2006 | not a whole lot | Specifying ECMAScript via ML |
| 10/25/2006 | elaborating into SML | Specifying ECMAScript via ML |
| 10/24/2006 | SML | Specifying ECMAScript via ML |
| 02/13/2007 | update coming soon | Specifying ECMAScript via ML |
| 10/17/2006 | you may not have missed... | On Publishing |
| 10/17/2006 | welcome to the ugly world of backwards-compatibility | Block-scope |
| 10/15/2006 | Delimited Control for PLT Scheme | Delimited Control for PLT Scheme |
| 10/10/2006 | Re: Quantifiers | A Very Modal Model of a Modern, Major, General Type System |
| 01/14/2007 | link to book | Lectures on the Curry-Howard Isomorphism |
| 09/14/2006 | Draft R6RS available | Draft R6RS available |
| 08/05/2006 | future-proof | eWeek: Sun Digging Deep for Dynamic Language Support |
| 06/09/2006 | Margaret Burnett | Human Factors Research On Programming Language Syntax |
| 06/10/2006 | pub | A Brief History of Scala |
| 06/06/2006 | Public resources for ECMAScript Edition 4 | Public resources for ECMAScript Edition 4 |
| 06/01/2006 | JavaScript 2 and the Future of the Web | JavaScript 2 and the Future of the Web |
| 05/31/2006 | lightweight languages? | Javascript department |
| 05/31/2006 | fuzzy ideas demand fuzzy terminology! | Javascript department |
| 06/01/2006 | sure | Javascript department |
| 06/04/2006 | not linked under Departments | Javascript department |
| 05/31/2006 | +1 | Narrative Javascript |
| 05/31/2006 | stay tuned | Narrative Javascript |
| 05/31/2006 | implicit continuations | Narrative Javascript |
| 06/01/2006 | yield | Narrative Javascript |
| 05/16/2006 | core principles? | Paul Vick: BASIC principles |
| 05/17/2006 | the LSM debate | Paul Vick: BASIC principles |
| 05/15/2006 | sound non-null types are tricky | Non-null references? |
| 05/03/2006 | software | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 04/11/2006 | ...in A-normal form, anyway | Functional Programming Has Reached The Masses; It's Called Visual Basic |
| 04/30/2006 | extensible records | Functional Programming Has Reached The Masses; It's Called Visual Basic |
| 04/06/2006 | mzscheme parameters | Native delimited continuations in (byte-code) OCaml |
| 04/06/2006 | also | Native delimited continuations in (byte-code) OCaml |
| 03/15/2006 | obligatory links | Programming: 50, 100 years from now |
| 03/15/2006 | 50 years from now | Programming: 50, 100 years from now |
| 03/08/2006 | ACL2 in DrScheme | ACL2 in DrScheme |
| 03/02/2006 | A Tail-Recursive Machine with Stack Inspection | A Tail-Recursive Machine with Stack Inspection |
| 03/03/2006 | Question 9 | A Tail-Recursive Machine with Stack Inspection |
| 01/10/2006 | The next 600 data languages | Tim Bray: Don't Invent XML Languages |
| 12/01/2005 | safe low-level languages | New languages for OS level programming? |
| 11/22/2005 | caveat lector | Monads in Ruby |
| 11/21/2005 | fun! | FORTRAN 25th anniversary film online |
| 11/03/2005 | neat! | Jakarta Commons Monad, er, Chain |
| 10/31/2005 | env, man! | Does Visual Studio Rot the Mind? |
| 10/23/2005 | why | What do you mean by studying "programming languages"? |
| 10/11/2005 | English | PLT and College |
| 09/23/2005 | Channel 9 Videos on VB | Channel 9 Videos on VB |
| 09/23/2005 | hard to know where you're coming from | Don Box: Scheme Is Love |
| 09/08/2005 | mnesia | Persistent functional databases |
| 08/24/2005 | similar discussion on LtU | When to create syntax? |
| 07/02/2005 | yay Javascript | Behaviour: Using CSS selectors to apply Javascript functionality |
| 07/02/2005 | another use | Behaviour: Using CSS selectors to apply Javascript functionality |
| 07/02/2005 | modularity | Behaviour: Using CSS selectors to apply Javascript functionality |
| 07/03/2005 | here's a prototype | Behaviour: Using CSS selectors to apply Javascript functionality |
| 07/04/2005 | sure | Behaviour: Using CSS selectors to apply Javascript functionality |
| 06/29/2005 | citeulike | Organizing papers... |
| 06/27/2005 | Javascript, PLT Scheme | Functions as Classes: Which languages? |
| 06/23/2005 | couple tips | How To Read a Paper |
| 06/23/2005 | it's a language | How To Read a Paper |
| 06/22/2005 | INTERCAL | Why recursing is better than looping |
| 06/20/2005 | types | JavaScript 2.0: Evolving a Language for Evolving Systems |
| 06/28/2005 | I'd say go ahead anyway | JavaScript 2.0: Evolving a Language for Evolving Systems |
| 06/10/2005 | mmm, meta-recursion | Bottom-Up beta-Substitution: Uplinks and lambda-DAGs |
| 05/28/2005 | how about | Short examples of complex use of state? |
| 05/28/2005 | oh, wait... | Short examples of complex use of state? |
| 05/25/2005 | it's in there | Archiving LISP history |
| 05/29/2005 | googling for ∀ | Why Dependent Types Matter |
| 05/29/2005 | reference | Why Dependent Types Matter |
| 05/07/2005 | discussed on ll-discuss | subtext: Uncovering the simplicity of programming |
| 09/29/2005 | RT is a property of contexts | From Perl Monks: "pissed off about functional programming" |
| 10/02/2005 | still must specify the contexts | From Perl Monks: "pissed off about functional programming" |
| 10/02/2005 | there's a valid complaint there | From Perl Monks: "pissed off about functional programming" |
| 05/02/2005 | Re: lazy evaluation | R6RS Scheme Status Report |
| 04/27/2005 | The Fortress Language Spec v0.618 | The Fortress Language Spec v0.618 |
| 04/21/2005 | not to worry | Computer generates verifiable mathematics proof |
| 04/19/2005 | yay sliders | Why Dependent Types Matter |
| 04/18/2005 | un-astounding | On the Unusual Effectiveness of Logic in Computer Science |
| 04/15/2005 | Sam Ruby: Continuations for Curmudgeons | Sam Ruby: Continuations for Curmudgeons |
| 04/15/2005 | try this | Garbage collecting computations |
| 04/15/2005 | also... | Garbage collecting computations |
| 04/15/2005 | me too | Denotational semantics of a DSL? |
| 04/13/2005 | build woes | Links |
| 04/13/2005 | some applications | Links |
| 04/16/2005 | Some people work very hard / but still they never get it right | Links |
| 03/30/2005 | nothing to be afraid of | How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible |
| 03/31/2005 | good point | How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible |
| 04/03/2005 | yes -- but it's still nothing to fear | How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible |
| 03/15/2005 | some work on foreign interfaces | Embedding one language in another |
| 03/14/2005 | A New Approach to Abstract Syntax with Variable Binding | A New Approach to Abstract Syntax with Variable Binding |
| 03/09/2005 | the why of macros | Educational Pearl: Automata as Macros |
| 03/10/2005 | Re: Hmm... | Educational Pearl: Automata as Macros |
| 03/09/2005 | non-meta solution? | Educational Pearl: Automata as Macros |
| 03/10/2005 | Re: Here's the spiel | Educational Pearl: Automata as Macros |
| 03/10/2005 | Re: Limits? | Educational Pearl: Automata as Macros |
| 03/09/2005 | monads | μABC: A Minimal Aspect Calculus |
| 03/03/2005 | staying logged in | New RSS Feed(s) |
| 03/04/2005 | Re: staying logged in | New RSS Feed(s) |
| 01/13/2005 | some links | Incompleteness in semantics and parallel-or |
| 01/09/2005 | The Four Questions | The Four Questions |
| 01/08/2005 | loops are fundamental, too | Ian Bicking: The challenge of metaprogramming |
| 01/09/2005 | management says no | Ian Bicking: The challenge of metaprogramming |
| 01/09/2005 | one way to do it | Ian Bicking: The challenge of metaprogramming |
| 01/08/2005 | different tail call operator | Ian Bicking: The challenge of metaprogramming |
| 01/09/2005 | Re: But surely... | Ian Bicking: The challenge of metaprogramming |
| 01/07/2005 | cafepress | Implementation of FPL |
| 01/02/2005 | the State department has declared me stateless | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 12/29/2004 | Use Continuations to Develop Complex Web Applications | Use Continuations to Develop Complex Web Applications |
| 12/12/2004 | what is this "recursion" you speak of? | Tim Bray: Sun & Dynamic Java |
| 12/13/2004 | java.lang.StackOverflowError | Tim Bray: Sun & Dynamic Java |
| 12/13/2004 | guarantee | Tim Bray: Sun & Dynamic Java |
| 12/14/2004 | how soon you hit the wall | Tim Bray: Sun & Dynamic Java |
| 12/03/2004 | useful assignment for programming researchers | Phenomenology of Languages and Language Design |
| 12/06/2004 | good idea | Phenomenology of Languages and Language Design |
| 11/26/2004 | changeset algebra | Darcs: an open source version control system implemented in Haskell |
| 11/26/2004 | oh yeah! | Darcs: an open source version control system implemented in Haskell |
| 11/18/2004 | Skribe 1.2b released | Skribe 1.2b released |
| 11/19/2004 | growing a programmer | Skribe 1.2b released |
| 10/29/2004 | careful | Scheme Language Standardization Process: R6RS Progress Report |
| 11/01/2004 | Re: Actually | Scheme Language Standardization Process: R6RS Progress Report |
| 10/26/2004 | archive: grad schol advice | Grad School [Master's Programs] |
| 10/22/2004 | Online Bibliography of Partial Evaluation Research | Online Bibliography of Partial Evaluation Research |
| 10/22/2004 | okay | Online Bibliography of Partial Evaluation Research |
| 10/22/2004 | um.. | Online Bibliography of Partial Evaluation Research |
| 10/10/2004 | quasiquote vs. quote | Language design: Escaping escapes |
| 10/12/2004 | nice nod to R5RS | Language design: Escaping escapes |
| 10/08/2004 | Proceedings of Scheme Workshop 2004 | Proceedings of Scheme Workshop 2004 |
| 10/08/2004 | proceedings | Ken Shan: Shift to Control |
| 10/08/2004 | found 'em! | Ken Shan: Shift to Control |
| 10/08/2004 | shifting back to the subject at hand... | Ken Shan: Shift to Control |
| 10/06/2004 | hi! | Probabilistic languages for kids? |
| 10/06/2004 | I can see it now... | Probabilistic languages for kids? |
| 10/01/2004 | Looking for an old conversation on Clean | Looking for an old conversation on Clean |
| 10/01/2004 | don't think so | Looking for an old conversation on Clean |
| 10/10/2004 | Mercury! | Looking for an old conversation on Clean |
| 09/30/2004 | a few more more good ones | References for Beginners in PL Theory |
| 09/17/2004 | L'shana tova! | Busy, busy |
| 09/17/2004 | Gettin' there! | newLisp: A better Lisp/Scheme Fusion... |
| 09/12/2004 | incentive | Use real names |
| 09/04/2004 | The Human-Language Interface | The Human-Language Interface |
| 09/01/2004 | tradeoffs | Schematics Scheme Cookbook |
| 08/25/2004 | Sorry, it does happen with Firefox | Problem with posting |
| 09/06/2004 | Hilbert Spaces to Dilbert Spaces | Introduction to computability logic |
| 08/21/2004 | Links, links, links | Grad School advice |
| 08/13/2004 | lost in translation | Why compiler optimizations are interesting |
| 08/13/2004 | let a thousand flowers bloom | Why type systems are interesting - part II |
| 08/13/2004 | Re: My notes and comments | Dynamic Languages Wizards panel videos (rerun) |
| 08/06/2004 | explicit substitution calculi | A Visual Environment for Developing Context-Sensitive Term Rewriting Systems |
| 07/15/2004 | Ll-discuss's new home | Ll-discuss's new home |
| 07/16/2004 | wasn't subscribed | Ll-discuss's new home |
| 07/15/2004 | Full abstraction is not very abstract (via comp.lang.scheme) | Full abstraction is not very abstract (via comp.lang.scheme) |
| 07/21/2004 | neat! | Old computer science and technical books worth searching for |
| 07/14/2004 | sequencing | Explaining monads |
| 07/14/2004 | linearity and monads | Explaining monads |
| 07/14/2004 | Schemer's introduction | Explaining monads |
| 07/14/2004 | macros | Explaining monads |
| 07/15/2004 | The New World | Explaining monads |
| 07/15/2004 | Sorry | Explaining monads |
| 09/24/2004 | Re: yes, sequencing | Explaining monads |
| 09/24/2004 | linearity, then | Explaining monads |
| 09/29/2004 | Je pense donc j'ai mal à la tête. | Explaining monads |
| 09/24/2004 | puh-leeze | Explaining monads |
| 09/29/2004 | Explaining monads | Explaining monads |
| 07/12/2004 | pedagogy | Understanding continuations |
| 06/24/2004 | contracts! | Debugging Functional Programs |
| 06/24/2004 | Re: or not | Debugging Functional Programs |
| 06/21/2004 | Beautiful! | Welcome to the New, Improved LtU! |
| 05/29/2004 | Re: Nullable Types | Nullable Types |
| 05/25/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 05/02/2004 | Re: Wolfram's Future Math | Wolfram's Future Math |
| 04/04/2004 | Re: April Second... | April Second... |
| 03/03/2004 | Re: Every Language War Ever | Every Language War Ever |
| 01/28/2004 | Re: Implicit params in Haskell | Implicit params in Haskell |
| 01/25/2004 | Re: Reading Styles ( Idiomatic Lisp and Idiomatic Scheme ) | Reading Styles ( Idiomatic Lisp and Idiomatic Scheme ) |
| 01/27/2004 | Re: Reading Styles ( Idiomatic Lisp and Idiomatic Scheme ) | Reading Styles ( Idiomatic Lisp and Idiomatic Scheme ) |
| 12/15/2003 | Re: Reading, Writing, and Code | Reading, Writing, and Code |
| 12/05/2003 | Re: Frappe: Functional Reactive Programming in Java | Frappe: Functional Reactive Programming in Java |
| 11/26/2003 | Re: Is it time for another guest blogger? | Is it time for another guest blogger? |
| 11/26/2003 | Re: FPGA's, Soft Cores and Custom CPU's. | FPGA's, Soft Cores and Custom CPU's. |
| 11/27/2003 | Re: FPGA's, Soft Cores and Custom CPU's. | FPGA's, Soft Cores and Custom CPU's. |
| 11/20/2003 | Re: Viewing code - how much is just right? | Viewing code - how much is just right? |
| 11/19/2003 | Re: Making reliable distributed systems in the presence of software errors | Making reliable distributed systems in the presence of software errors |
| 11/08/2003 | Re: Longhorn Command Shell ( | Longhorn Command Shell ("Monad") |
| 11/09/2003 | Re: Longhorn Command Shell ( | Longhorn Command Shell ("Monad") |
| 11/08/2003 | Re: LL3 Webcast | LL3 Webcast |
| 10/31/2003 | Re: Zero Button Testing | Zero Button Testing |
| 10/07/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 08/19/2003 | Re: Codata and Comonads in Haskell | Codata and Comonads in Haskell |
| 07/12/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/13/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 06/01/2003 | Re: Preview of Java 1.5 | Preview of Java 1.5 |
| 04/04/2003 | Re: Toward an architecture for quantum programming | Toward an architecture for quantum programming |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |