Lambda the Ultimate Weblog Topics
Last Updated 09/08/2011

Posts By: Dave Herman

  Date    Post    Topic  
07/11/2010Re: How does this differ from using phantom types?The Rust Language
07/11/2010H-MThe Rust Language
06/20/2010Some advancementsA Theory of Typed Hygienic Macros
03/10/2010under-specificationHave tracing JIT compilers won?
01/12/2010Verified Just-In-Time Compiler on x86Verified Just-In-Time Compiler on x86
10/17/2009fexprs are a very bad ideaLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
08/11/2009related work by CobbeAvoid a Void: eradicating null-pointer dereferencing
07/09/2009MitchFest 2009: Symposium in Honor of Mitchell WandMitchFest 2009: Symposium in Honor of Mitchell Wand
07/09/2009Re: Nice talk titlesMitchFest 2009: Symposium in Honor of Mitchell Wand
06/21/2009Re: First-class macrosFully-parameterized, first-class modules with hygienic macros
05/18/2009classic example: equals/hashCodeExtension Methods versus Structural Typing of Traits for solving the expression problem
05/18/2009syntax is fine, but...Extension Methods versus Structural Typing of Traits for solving the expression problem
05/11/2009seductionWhy Did M.I.T. Switch from Scheme to Python?
04/13/2009The inescapable conclusion:ADD 50 TO COBOL GIVING COBOL
04/08/2009can you clarify?Twitter and Scala
04/01/2009what, no twitter feed?LtU: Forum not blog
04/02/2009or People's United BankAnnouncing the Haskot
03/25/2009linkThe Art of the Propagator
01/22/2009Cobbe's thesisTony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake"
12/19/2008hilariousIf Programming Languages were <T>
12/21/2008insufficiently general story titleIf Programming Languages were <T>
12/25/2008perhaps, but...If Programming Languages were <T>
11/09/2008we won't do your homework for youLabyrinth:how to find the exit?
10/12/2008not an optimizationNo more tail calls in Javascript?
10/12/2008hee hee, I just don't give upNo more tail calls in Javascript?
07/08/2008Java PreciselyOf Generics and Erasure and, of all things, GC and memory layout
07/05/2008tail-recursive SECDImplementing fast interpreters
06/17/2008neat stuffAlgebraic Data Types in JavaScript
06/18/2008Re: Thanks!Algebraic Data Types in JavaScript
05/17/2008failing fastHOPL-III: A History of Erlang
04/03/2008I don't believe youApril 1st special: The War of the Worlds
04/24/2008innermost returnHigher-Order Programming without Closures?
04/26/2008yesHigher-Order Programming without Closures?
03/05/2008I think his question was genuineHelp John Baez and Mike Stay!
02/22/2008more than thatWhen Is A Functional Program Not A Functional Program?
01/30/2008gensym isn't enoughArc is released
01/31/2008parameters to the macroArc is released
01/07/2008slim pickingsFeatherweight JavaScript?
01/11/2008well...Featherweight JavaScript?
01/11/2008semantics of the DOMFeatherweight JavaScript?
11/06/2007ECMAScript Edition 4 and Backwards CompatibilityECMAScript Edition 4 and Backwards Compatibility
11/06/2007thanksECMAScript Edition 4 and Backwards Compatibility
10/23/2007tail callsECMAScript 4 overview paper
11/06/2007More materialECMAScript 4 overview paper
09/13/2007compactness of representationMinimal FORTH compiler and tutorial
09/14/2007end-to-end, bottom-upMinimal FORTH compiler and tutorial
04/07/2008I don't knowMinimal FORTH compiler and tutorial
09/04/2007references in semantics?Rob Pike on Concurrency and Message passing in Newsqueak
09/04/2007a clueRob Pike on Concurrency and Message passing in Newsqueak
08/22/2007two different lambdasCompiling with Continuations, Continued
08/08/2007neat!Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams
06/08/2007ECMAScript Edition 4 Reference ImplementationECMAScript Edition 4 Reference Implementation
06/09/2007Use v110.64ECMAScript Edition 4 Reference Implementation
06/10/2007"formalized" is not a formal propertyECMAScript Edition 4 Reference Implementation
06/11/2007"inherently non-deterministic"ECMAScript Edition 4 Reference Implementation
06/11/2007over-specificationECMAScript Edition 4 Reference Implementation
06/09/2007make exec-releaseECMAScript Edition 4 Reference Implementation
06/09/2007this is a *pre-release*ECMAScript Edition 4 Reference Implementation
06/09/2007not problems, reallyECMAScript Edition 4 Reference Implementation
06/09/2007wonderful!ECMAScript Edition 4 Reference Implementation
05/03/2007store-passing styleFunctional Object-Oriented Programming
05/03/2007afterthoughtFunctional Object-Oriented Programming
04/02/2007lexical scopeTerminology: Thunking vs Quoting
03/22/2007missing a big oneThe New Twelf Wiki
03/12/2007interpretationThe Current Practical Limit of Static Typing
03/15/2007theorem or conversation?The Current Practical Limit of Static Typing
02/23/2007linkActors that Unify Threads and Events
02/22/2007cool ideasDanFest 2004 videos online
02/22/2007effect systemsEffects in Types
02/14/2007Threads in JavaScript?Threads in JavaScript?
02/14/2007JS3/ES5Threads in JavaScript?
02/16/2007yeah, big differenceThreads in JavaScript?
02/07/2007anaphoraProgramming Shorthands
02/03/2007I'll biteSeparation Logic: A Logic for Shared Mutable Data Structures
01/30/2007escape continuationsWhat is a "fully featured closure"? Request for comments.
01/13/2007in what way is your comment related to the paper?Interlanguage Migration: From Scripts to Programs
12/19/2006MetaOCamlScheme interpreters written in Standard ML?
11/29/2006soundness: keeping your promisesMechanized Metatheory Model-Checking
11/30/2006obviously a type errorMechanized Metatheory Model-Checking
11/21/2006a few moreHaskell -> Javascript converter, kind of
10/20/2006Specifying ECMAScript via MLSpecifying ECMAScript via ML
10/20/2006why MLSpecifying ECMAScript via ML
10/22/2006confused...Specifying ECMAScript via ML
10/22/2006cheap shotSpecifying ECMAScript via ML
10/22/2006Re: reference implementation than specificationSpecifying ECMAScript via ML
10/21/2006call/ccSpecifying ECMAScript via ML
10/21/2006Re: delimited continuations in OCamlSpecifying ECMAScript via ML
10/22/2006call/cc and type soundnessSpecifying ECMAScript via ML
10/21/2006perhapsSpecifying ECMAScript via ML
10/22/2006not a whole lotSpecifying ECMAScript via ML
10/25/2006elaborating into SMLSpecifying ECMAScript via ML
10/24/2006SMLSpecifying ECMAScript via ML
02/13/2007update coming soonSpecifying ECMAScript via ML
10/17/2006you may not have missed...On Publishing
10/17/2006welcome to the ugly world of backwards-compatibilityBlock-scope
10/15/2006Delimited Control for PLT SchemeDelimited Control for PLT Scheme
10/10/2006Re: QuantifiersA Very Modal Model of a Modern, Major, General Type System
01/14/2007link to bookLectures on the Curry-Howard Isomorphism
09/14/2006Draft R6RS availableDraft R6RS available
08/05/2006future-proofeWeek: Sun Digging Deep for Dynamic Language Support
06/09/2006Margaret BurnettHuman Factors Research On Programming Language Syntax
06/10/2006pubA Brief History of Scala
06/06/2006Public resources for ECMAScript Edition 4Public resources for ECMAScript Edition 4
06/01/2006JavaScript 2 and the Future of the WebJavaScript 2 and the Future of the Web
05/31/2006lightweight languages?Javascript department
05/31/2006fuzzy ideas demand fuzzy terminology!Javascript department
06/01/2006sureJavascript department
06/04/2006not linked under DepartmentsJavascript department
05/31/2006+1Narrative Javascript
05/31/2006stay tunedNarrative Javascript
05/31/2006implicit continuationsNarrative Javascript
06/01/2006yieldNarrative Javascript
05/16/2006core principles?Paul Vick: BASIC principles
05/17/2006the LSM debatePaul Vick: BASIC principles
05/15/2006sound non-null types are trickyNon-null references?
05/03/2006softwareProofs are Programs: 19th Century Logic and 21st Century Computing
04/11/2006...in A-normal form, anywayFunctional Programming Has Reached The Masses; It's Called Visual Basic
04/30/2006extensible recordsFunctional Programming Has Reached The Masses; It's Called Visual Basic
04/06/2006mzscheme parametersNative delimited continuations in (byte-code) OCaml
04/06/2006alsoNative delimited continuations in (byte-code) OCaml
03/15/2006obligatory linksProgramming: 50, 100 years from now
03/15/200650 years from nowProgramming: 50, 100 years from now
03/08/2006ACL2 in DrSchemeACL2 in DrScheme
03/02/2006A Tail-Recursive Machine with Stack InspectionA Tail-Recursive Machine with Stack Inspection
03/03/2006Question 9A Tail-Recursive Machine with Stack Inspection
01/10/2006The next 600 data languagesTim Bray: Don't Invent XML Languages
12/01/2005safe low-level languagesNew languages for OS level programming?
11/22/2005caveat lectorMonads in Ruby
11/21/2005fun!FORTRAN 25th anniversary film online
11/03/2005neat!Jakarta Commons Monad, er, Chain
10/31/2005env, man!Does Visual Studio Rot the Mind?
10/23/2005whyWhat do you mean by studying "programming languages"?
10/11/2005EnglishPLT and College
09/23/2005Channel 9 Videos on VBChannel 9 Videos on VB
09/23/2005hard to know where you're coming fromDon Box: Scheme Is Love
09/08/2005mnesiaPersistent functional databases
08/24/2005similar discussion on LtUWhen to create syntax?
07/02/2005yay JavascriptBehaviour: Using CSS selectors to apply Javascript functionality
07/02/2005another useBehaviour: Using CSS selectors to apply Javascript functionality
07/02/2005modularityBehaviour: Using CSS selectors to apply Javascript functionality
07/03/2005here's a prototypeBehaviour: Using CSS selectors to apply Javascript functionality
07/04/2005sureBehaviour: Using CSS selectors to apply Javascript functionality
06/29/2005citeulikeOrganizing papers...
06/27/2005Javascript, PLT SchemeFunctions as Classes: Which languages?
06/23/2005couple tipsHow To Read a Paper
06/23/2005it's a languageHow To Read a Paper
06/22/2005INTERCALWhy recursing is better than looping
06/20/2005typesJavaScript 2.0: Evolving a Language for Evolving Systems
06/28/2005I'd say go ahead anywayJavaScript 2.0: Evolving a Language for Evolving Systems
06/10/2005mmm, meta-recursionBottom-Up beta-Substitution: Uplinks and lambda-DAGs
05/28/2005how aboutShort examples of complex use of state?
05/28/2005oh, wait...Short examples of complex use of state?
05/25/2005it's in thereArchiving LISP history
05/29/2005googling for ∀Why Dependent Types Matter
05/29/2005referenceWhy Dependent Types Matter
05/07/2005discussed on ll-discusssubtext: Uncovering the simplicity of programming
09/29/2005RT is a property of contextsFrom Perl Monks: "pissed off about functional programming"
10/02/2005still must specify the contextsFrom Perl Monks: "pissed off about functional programming"
10/02/2005there's a valid complaint thereFrom Perl Monks: "pissed off about functional programming"
05/02/2005Re: lazy evaluationR6RS Scheme Status Report
04/27/2005The Fortress Language Spec v0.618The Fortress Language Spec v0.618
04/21/2005not to worryComputer generates verifiable mathematics proof
04/19/2005yay slidersWhy Dependent Types Matter
04/18/2005un-astoundingOn the Unusual Effectiveness of Logic in Computer Science
04/15/2005Sam Ruby: Continuations for CurmudgeonsSam Ruby: Continuations for Curmudgeons
04/15/2005try thisGarbage collecting computations
04/15/2005also...Garbage collecting computations
04/15/2005me tooDenotational semantics of a DSL?
04/13/2005build woesLinks
04/13/2005some applicationsLinks
04/16/2005Some people work very hard / but still they never get it rightLinks
03/30/2005nothing to be afraid ofHow to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible
03/31/2005good pointHow to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible
04/03/2005yes -- but it's still nothing to fearHow to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible
03/15/2005some work on foreign interfacesEmbedding one language in another
03/14/2005A New Approach to Abstract Syntax with Variable BindingA New Approach to Abstract Syntax with Variable Binding
03/09/2005the why of macrosEducational Pearl: Automata as Macros
03/10/2005Re: Hmm...Educational Pearl: Automata as Macros
03/09/2005non-meta solution?Educational Pearl: Automata as Macros
03/10/2005Re: Here's the spielEducational Pearl: Automata as Macros
03/10/2005Re: Limits?Educational Pearl: Automata as Macros
03/09/2005monadsμABC: A Minimal Aspect Calculus
03/03/2005staying logged inNew RSS Feed(s)
03/04/2005Re: staying logged inNew RSS Feed(s)
01/13/2005some linksIncompleteness in semantics and parallel-or
01/09/2005The Four QuestionsThe Four Questions
01/08/2005loops are fundamental, tooIan Bicking: The challenge of metaprogramming
01/09/2005management says noIan Bicking: The challenge of metaprogramming
01/09/2005one way to do itIan Bicking: The challenge of metaprogramming
01/08/2005different tail call operatorIan Bicking: The challenge of metaprogramming
01/09/2005Re: But surely...Ian Bicking: The challenge of metaprogramming
01/07/2005cafepressImplementation of FPL
01/02/2005the State department has declared me statelessThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
12/29/2004Use Continuations to Develop Complex Web ApplicationsUse Continuations to Develop Complex Web Applications
12/12/2004what is this "recursion" you speak of?Tim Bray: Sun & Dynamic Java
12/13/2004java.lang.StackOverflowErrorTim Bray: Sun & Dynamic Java
12/13/2004guaranteeTim Bray: Sun & Dynamic Java
12/14/2004how soon you hit the wallTim Bray: Sun & Dynamic Java
12/03/2004useful assignment for programming researchersPhenomenology of Languages and Language Design
12/06/2004good ideaPhenomenology of Languages and Language Design
11/26/2004changeset algebraDarcs: an open source version control system implemented in Haskell
11/26/2004oh yeah!Darcs: an open source version control system implemented in Haskell
11/18/2004Skribe 1.2b releasedSkribe 1.2b released
11/19/2004growing a programmerSkribe 1.2b released
10/29/2004carefulScheme Language Standardization Process: R6RS Progress Report
11/01/2004Re: ActuallyScheme Language Standardization Process: R6RS Progress Report
10/26/2004archive: grad schol adviceGrad School [Master's Programs]
10/22/2004Online Bibliography of Partial Evaluation ResearchOnline Bibliography of Partial Evaluation Research
10/22/2004okayOnline Bibliography of Partial Evaluation Research
10/22/2004um..Online Bibliography of Partial Evaluation Research
10/10/2004quasiquote vs. quoteLanguage design: Escaping escapes
10/12/2004nice nod to R5RSLanguage design: Escaping escapes
10/08/2004Proceedings of Scheme Workshop 2004Proceedings of Scheme Workshop 2004
10/08/2004proceedingsKen Shan: Shift to Control
10/08/2004found 'em!Ken Shan: Shift to Control
10/08/2004shifting back to the subject at hand...Ken Shan: Shift to Control
10/06/2004hi!Probabilistic languages for kids?
10/06/2004I can see it now...Probabilistic languages for kids?
10/01/2004Looking for an old conversation on CleanLooking for an old conversation on Clean
10/01/2004don't think soLooking for an old conversation on Clean
10/10/2004Mercury!Looking for an old conversation on Clean
09/30/2004a few more more good onesReferences for Beginners in PL Theory
09/17/2004L'shana tova!Busy, busy
09/17/2004Gettin' there!newLisp: A better Lisp/Scheme Fusion...
09/12/2004incentiveUse real names
09/04/2004The Human-Language InterfaceThe Human-Language Interface
09/01/2004tradeoffsSchematics Scheme Cookbook
08/25/2004Sorry, it does happen with FirefoxProblem with posting
09/06/2004Hilbert Spaces to Dilbert SpacesIntroduction to computability logic
08/21/2004Links, links, linksGrad School advice
08/13/2004lost in translationWhy compiler optimizations are interesting
08/13/2004let a thousand flowers bloomWhy type systems are interesting - part II
08/13/2004Re: My notes and commentsDynamic Languages Wizards panel videos (rerun)
08/06/2004explicit substitution calculiA Visual Environment for Developing Context-Sensitive Term Rewriting Systems
07/15/2004Ll-discuss's new homeLl-discuss's new home
07/16/2004wasn't subscribedLl-discuss's new home
07/15/2004Full abstraction is not very abstract (via comp.lang.scheme)Full abstraction is not very abstract (via comp.lang.scheme)
07/21/2004neat!Old computer science and technical books worth searching for
07/14/2004sequencingExplaining monads
07/14/2004linearity and monadsExplaining monads
07/14/2004Schemer's introductionExplaining monads
07/14/2004macrosExplaining monads
07/15/2004The New WorldExplaining monads
07/15/2004SorryExplaining monads
09/24/2004Re: yes, sequencingExplaining monads
09/24/2004linearity, thenExplaining monads
09/29/2004Je pense donc j'ai mal à la tête.Explaining monads
09/24/2004puh-leezeExplaining monads
09/29/2004Explaining monadsExplaining monads
07/12/2004pedagogyUnderstanding continuations
06/24/2004contracts!Debugging Functional Programs
06/24/2004Re: or notDebugging Functional Programs
06/21/2004Beautiful!Welcome to the New, Improved LtU!
05/29/2004Re: Nullable TypesNullable Types
05/25/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/02/2004Re: Wolfram's Future MathWolfram's Future Math
04/04/2004Re: April Second...April Second...
03/03/2004Re: Every Language War EverEvery Language War Ever
01/28/2004Re: Implicit params in HaskellImplicit params in Haskell
01/25/2004Re: Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )
01/27/2004Re: Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )Reading Styles ( Idiomatic Lisp and Idiomatic Scheme )
12/15/2003Re: Reading, Writing, and CodeReading, Writing, and Code
12/05/2003Re: Frappe: Functional Reactive Programming in JavaFrappe: Functional Reactive Programming in Java
11/26/2003Re: Is it time for another guest blogger?Is it time for another guest blogger?
11/26/2003Re: FPGA's, Soft Cores and Custom CPU's.FPGA's, Soft Cores and Custom CPU's.
11/27/2003Re: FPGA's, Soft Cores and Custom CPU's.FPGA's, Soft Cores and Custom CPU's.
11/20/2003Re: Viewing code - how much is just right?Viewing code - how much is just right?
11/19/2003Re: Making reliable distributed systems in the presence of software errorsMaking reliable distributed systems in the presence of software errors
11/08/2003Re: Longhorn Command Shell (Longhorn Command Shell ("Monad")
11/09/2003Re: Longhorn Command Shell (Longhorn Command Shell ("Monad")
11/08/2003Re: LL3 WebcastLL3 Webcast
10/31/2003Re: Zero Button TestingZero Button Testing
10/07/2003Re: OO Best Feature PollOO Best Feature Poll
08/19/2003Re: Codata and Comonads in HaskellCodata and Comonads in Haskell
07/12/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/13/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
06/01/2003Re: Preview of Java 1.5Preview of Java 1.5
04/04/2003Re: Toward an architecture for quantum programmingToward 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


Chris Rathman/ Chris.Rathman@tx.rr.com