Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: Derek Elkins

  Date    Post    Topic  
02/19/2012Minor OT: Polymorphic Recursion in HaskellWhy Concatenative Programming Matters
11/26/2011To emphasizeLTL types FRP
11/12/2011EmphasisThe Experimental Effectiveness of Mathematical Proof
02/13/2011Not even wrongMonads vs. Actors
02/13/2011What does "abstractionMonads vs. Actors
02/13/2011Please tell me how I am supposed to read the followingMonads vs. Actors
01/26/2011SELFMAN, WillemsSeeking papers that unify control theory and programming language design
01/22/2011Pattern CalculusPoints in the Pattern Matching Design Space
12/03/2010Why ask us? Ask Coq.Embarrassed
12/04/2010Goldbach's conjecture isEmbarrassed
11/29/2010Tolerant /= RobustTolerant vs. Demanding Software
11/29/2010If the software isTolerant vs. Demanding Software
09/14/2010NonsensicalGADTs in a dynamically type-checked language?
07/24/2010If I'm not interested inpaper: "Purely Functional Structured Programming"
06/07/2010Provenance SemiringsTropical Semirings
06/06/2010Um... there are entireThe Galois connection between syntax and semantics
07/02/2010ResolvingFunctional Pearl: Species and Functors and Types, Oh My!
06/01/2010Types/Ordering of canonical FP compiler transforms and optimizations?Types/Ordering of canonical FP compiler transforms and optimizations?
05/02/2010Church v. CurryTyped Lambda Calculus
04/24/2010I add scalars and vectorsSeeking thoughtful criticisms of functional programming and languages
01/17/2010Jaynes, Hestenes, GrandyQuantum Lambda Calculus
12/18/2009Jacques response was notClaiming Infinity
11/14/2009Just to be clear, theJohn Hughes on Erlang and Haskell
11/22/2009Presumably showing suchJohn Hughes on Erlang and Haskell
11/02/2009I would say a caseBranching constructs in intermediate languages
10/19/2009There's a fair bit ofErik Meijer's MSDN Channel 9 lecture series on functional programming
09/13/2009What you want can easily beBackground of call/cc
09/10/2009You can read Bart Jacobs'Categorical semantics for F_\omega
09/07/2009OOHaskellSolving the expression problem with type classes
08/22/2009Behavioural SPecification LanguageFunction Interface Models for Hardware Compilation
08/25/2009Aside: Real numbersTheoretical Foundations for Practical Totally Functional Programming, by Colin Kemp
08/14/2009World's first formal machine-checked proof of a general-purpose operating system kernelWorld's first formal machine-checked proof of a general-purpose operating system kernel
08/12/2009MirrorsReceiver knowing the sender?
08/10/2009Hoopl: Dataflow Optimization Made SimpleHoopl: Dataflow Optimization Made Simple
07/31/2009Omniscient DebuggingDefinition of Functional Programming Language
07/29/2009Backus' definition of FPDefinition of Functional Programming Language
04/12/2009What are the PLT contributions of Cobol?ADD 50 TO COBOL GIVING COBOL
03/07/2009The RAFTS project had someLinear Logic and Permutation Stacks--The Forth Shall Be First
03/06/2009I will verify thatThe Meta-LtU Thread
02/21/2009Algebraic SemanticsDenotational design with type class morphisms
02/21/2009Semantic AlgebrasDenotational design with type class morphisms
02/22/2009Type classes don't have a denotationDenotational design with type class morphisms
02/22/2009Type classes as theories indeedDenotational design with type class morphisms
02/14/2009We'll add -Wmutation to GCCParameterized Notions of Computation
02/15/2009I would think it would beParameterized Notions of Computation
01/23/2009You've already mentionedTony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake"
01/19/2009Usually substitution isLambda Calculus Notation
01/16/2009closing overLooking for papers describing advanced language topics in terms of C programming
01/22/2009PolicyIntroducing Dawn - yet another new language
03/05/2009If you were coming at thisUsing coalgebraic structures for traversing ADTs lazily
01/09/2009I'm rather against itJob board on LtU?
12/28/2008The lambda cube seems to beThe Lambda Cube & Some Programming Languages
12/26/2008Λ the UltimateIf Programming Languages were <T>
01/14/2009Tangent: Haskell does not have viewsFundamental Flaws in Current Programming Language Type Systems
11/29/2008DanFest 2004Clojure: Trampoline for mutual recursion
11/24/2008HistoryNon-standard type theories for FP
11/26/2008Cripes.Non-standard type theories for FP
11/26/2008Even in a total language,Non-standard type theories for FP
11/10/2008Zip CalculusExtensible tuples?
11/12/2008It's not an implicitSubtyping + overloading
11/14/2008Type lambdasSubtyping + overloading
11/14/2008The second sentence from mySubtyping + overloading
11/17/2008No implicit coercionsSubtyping + overloading
11/18/2008DefaultingSubtyping + overloading
11/13/2008Subtyping is an interface-level conceptSubtyping + overloading
11/09/2008More specifically, it's theβ, η, ξ ⊢ α?
11/13/2008To answer your very lastThe Origins of the BitC Programming Language
11/13/2008This is much better, butThe Origins of the BitC Programming Language
11/05/2008PLAIA tutorial on implemeting type inference?
11/06/2008The obvious place that youOz/K: A kernel language for component-based open programming
11/06/2008A countability argument isTotal functional language self interpreter?
11/05/2008Are-you-full-good-sir?Factor: an extensible interactive language
10/28/2008Animation: From Cartoons toDeclarative layout and/or UI languages?
10/17/2008Haskell type classes areConstructor classes
10/12/2008Tail calls are not an FPL thingNo more tail calls in Javascript?
10/13/2008My examples fall into eitherNo more tail calls in Javascript?
10/19/2008Static typing can catchOn the (perceived) equivalence of static and dynamically typed reflective programming languages
10/06/2008My recurring themesInspiring Papers
10/01/2008See also Boquist's thesis and HenkLazy Graph Reduction and abstract machines
10/01/2008Lazy Graph Reduction and abstract machinesLazy Graph Reduction and abstract machines
09/30/2008SSA, ANF, CPS, and MonadicTo CPS or not to CPS
09/30/2008The 'let' in ANF isTo CPS or not to CPS
09/30/2008I think you are totallyTo CPS or not to CPS
09/15/2008The thing is simply that oneIrresistible programs
08/30/2008I don't particularly haveShould nested types capture type parameters?
08/22/2008Not appropriatetype derivation for 'map map', yelp
08/12/2008Symmetric Lambda CalculusProgramming Language Beauty: Look Closure
08/02/2008One recurring theme I'veA subtle extention to Lisp-style macros
08/03/2008The point of the comment(s)A subtle extention to Lisp-style macros
07/29/2008GHC Pointer taggingGarbage Collection Representations
07/14/2008Joel Spolsky has some insightIn search for a programming language to replace spreadsheets.
07/02/2008Derivation of a Typed Functional LR ParserNon-Deterministic Recursive Ascent Parsing
06/29/2008Complete Type Inferencetype-checking programs with unknown types
07/08/2008SML/NJThe hits and misses of Microsoft
06/30/2008DetailsWhy Multi-Core is Easy and Internet is Hard
06/30/2008Lambda the Ultimate ConferenceWhy Multi-Core is Easy and Internet is Hard
07/01/2008YesWhy Multi-Core is Easy and Internet is Hard
06/20/2008My experience with writingScaling Type Inference
06/20/2008Subtyping and type inferenceScaling Type Inference
06/21/2008AlsoPure imperative programming
06/15/2008GHCPreemptive concurrency via compiler-inserted checks
06/09/2008One thing to note is oftenWhat kind of a category is the blue calculus?
06/04/2008MLMultiple Value Return - Common Lisp vs. Tuples and destructuring
07/01/2008GHCMultiple Value Return - Common Lisp vs. Tuples and destructuring
07/02/2008This is exactly how tuplesMultiple Value Return - Common Lisp vs. Tuples and destructuring
06/01/2008Purely functional IOContinuation based I/O with referential trasparency (Hope+) ?
05/18/2008Code is dataRegions for Code GC?
05/09/2008I think it can fairly beHistory of Logic Programming: What went wrong, What was done about it, and What it might mean for the future
05/05/2008Defunctionalization at WorkA located lambda calculus
04/21/2008While all current HaskellStatic Typing and Expressivity
04/11/2008Previously on LtURegister Allocation by Proof Transformation
04/11/2008ST and SSACan local variables assignments be considered pure functional without monads?
04/11/2008I'm talking about the Java.Can local variables assignments be considered pure functional without monads?
04/09/2008An APL MachineMinimal set of operators for APL/J like language
09/26/2008TrivialSafe and Secure Software in Ada
04/08/2008It's confusing because youProving compositions
04/05/2008Monads and monad transformers in HaskellApril 1st special: The War of the Worlds
03/30/2008Bart JacobsAlgebraist Network
03/19/2008Linear logic and overloadingRole of Types in Evaluation Strategy
03/20/2008Despite my lame attempt atRole of Types in Evaluation Strategy
02/21/2008They don't denote the same valueWhen Is A Functional Program Not A Functional Program?
02/19/2008Magical PackagesGilad Bracha: Cutting out Static
04/04/2008Stack overflowGilad Bracha: Cutting out Static
02/14/2008NoRecursive Algorithms that cannot be expresses with Tail-Recursion?
02/08/2008New breed of dependently typed languagesLanugages with built-in rules/tests?
02/08/2008CHdBLL CorrespondenceLanugages with built-in rules/tests?
02/09/2008For referenceLeaning how to judge the right tool for the job?
02/05/2008[Meta]Languages and data conversions.
02/01/2008It's not "unusual" scoping.A name for this form of variable capture?
02/01/2008It is lexical scoping.A name for this form of variable capture?
01/25/2008I've been looking for this paper.Recycling Continuations
01/25/2008Functional reactiveEmbedded concurrent FPish languages?
01/25/2008Run-time v. Compile-timeHow useful is reflection, anyway?
01/28/2008Not type dependentThe Design and Implementation of Typed Scheme
01/29/2008TypesThe Design and Implementation of Typed Scheme
01/28/2008ParametricityThe Design and Implementation of Typed Scheme
01/22/2008Similarly for C#Compile-Time Execution in an Object Oriented Language
01/20/2008The Logic of ProofsThe Logic of Proofs
01/16/2008Surely you mean "WelcomeRuby vs. Smalltalk
01/21/2008ADTsUnderstanding category theory and its practical applications
01/16/2008There are some issues inUnderstanding category theory and its practical applications
02/15/2008Don't forget your modal logic.Understanding category theory and its practical applications
01/21/2008State transition systemsUnderstanding category theory and its practical applications
01/10/2008It's not really a problem.Computer Science Education: Where Are the Software Engineers of Tomorrow?
01/03/2008Lock free algorithmsNested Schedulers: A Tree Is Not Enough?
12/19/2007Sequential Concurrency and Concurrent SequencesConcurrency with Scheme
12/11/2007Here'sS has a left inverse
12/21/2007An expressive languageComputation Orchestration: A Basis for Wide-Area Computing
12/08/2007We just discussed thisfunctions, statements, expressions
12/08/2007There were at least twofunctions, statements, expressions
12/08/2007Which?functions, statements, expressions
12/11/2007Theory appliedfunctions, statements, expressions
12/05/2007I'm wondering what makespoll: syntax
12/05/2007ElsewhereConnecting the first steps
12/05/2007Very well knownParametric datatype-genericity
12/02/2007GCMonadic and Substructural Type Systems for Region-Based Memory Management
12/02/2007GC and Region InferenceMonadic and Substructural Type Systems for Region-Based Memory Management
12/02/2007ExerciseMonadic and Substructural Type Systems for Region-Based Memory Management
12/03/2007LinearityMonadic and Substructural Type Systems for Region-Based Memory Management
12/04/2007There was discussion (and sufficient enough for me)Monadic and Substructural Type Systems for Region-Based Memory Management
11/28/2007TimDerivation trees for lambda-calculus
11/25/2007Effect systemsA survey and discussion of taming effects
11/20/2007This is unconstructive andSamurai - Protecting Critical Data in Unsafe Languages
11/21/2007Purity and Static TypingSamurai - Protecting Critical Data in Unsafe Languages
11/21/2007HistorySamurai - Protecting Critical Data in Unsafe Languages
11/21/2007"Haskell"Samurai - Protecting Critical Data in Unsafe Languages
11/22/2007For the love of Pete!Samurai - Protecting Critical Data in Unsafe Languages
11/26/2007To put it another way...Samurai - Protecting Critical Data in Unsafe Languages
11/19/2007C# has perfectly completeWhat are the properties of "Functional Programming Languages"?
11/25/2007Don't we all love category theoryWhat are the properties of "Functional Programming Languages"?
11/22/2007Each Erlang process has aWhat are the properties of "Functional Programming Languages"?
11/17/2007Tech TalkWell-typed programs can't be blamed
10/26/2007Wrong forumhi about scheme programming language....
10/26/2007Coinduction isn't magical.Gödel, Nagel, minds and machines
10/29/2007Category TheoryGödel, Nagel, minds and machines
10/26/2007Your part on CH is totally jacked upOn the Importance of Purity
10/27/2007CHOn the Importance of Purity
10/28/2007Usually, type checkers don'tOn the Importance of Purity
10/29/2007Not more precision, more clarityOn the Importance of Purity
11/02/2007TerminologyOn the Importance of Purity
10/30/2007MetaprogrammingOn the Importance of Purity
10/14/2007QCComputing is a Natural Science
10/12/2007Where Mathematics Comes FromComputing is a Natural Science
09/29/2007He is scolding!Witnessing Side-Effects
09/30/2007neelk should know betterWitnessing Side-Effects
09/25/2007The obvious answer...Tim Bray and Erlang
09/17/2007AudienceOn creating an ad hoc assembly interpreter to aid studying
09/18/2007Exercise to the readerOnline video course on monads
09/18/2007AnswersOnline video course on monads
09/19/2007η is not fmap. fmap isOnline video course on monads
09/14/2007Atsushi OhoriReconstructing Abstractions
09/13/2007FactorMinimal FORTH compiler and tutorial
09/13/2007You don't want that to be all...Minimal FORTH compiler and tutorial
09/12/2007[Meta]Q: Modularizing SQL?
09/03/2007A Concurrent Window SystemRob Pike on Concurrency and Message passing in Newsqueak
09/03/2007CPS and channel passing concurrencyRob Pike on Concurrency and Message passing in Newsqueak
09/04/2007Have the languageNo Name: Just Notes on Software Reuse
09/03/2007Enter OzEscape from Zurg: An Exercise in Logic Programming
09/03/2007The thing is Oz computationEscape from Zurg: An Exercise in Logic Programming
09/01/2007The work of Atsushi OhoriThe work of Atsushi Ohori
09/01/2007The work of Kenichi AsaiThe work of Atsushi Ohori
12/15/2007Genuine shift/reset in Haskell98The work of Atsushi Ohori
08/25/2007I mentioned it a long timeA functional correspondence between evaluators and abstract machines
11/27/2007A reference of the relevant papersA functional correspondence between evaluators and abstract machines
11/28/2007It's wired inA functional correspondence between evaluators and abstract machines
08/23/2007Me tooAn Accidental Simula User, Luca Cardelli
08/19/2007SQLDiagram showing all programming paradigms and their relationships
08/27/2007Your thesis is onTools for (PhD) Researching
08/15/2007MOP For FP!Metaobject protocols: Why we want them and what else they can do
08/21/2007Monads and substitutionMonad Description For Imperative Programmer
07/29/2007One view, in rant form!LtU turns 7: The year of spam
08/05/2007How about thisLtU turns 7: The year of spam
08/05/2007Most of them seem to.LtU turns 7: The year of spam
07/27/2007iterate f x = x:iterate f (f x)Comprehensions with ‘Order by' and ‘Group by'
07/27/2007Unconstructive CriticismComprehensions with ‘Order by' and ‘Group by'
07/27/2007The relationship betweenInstantiation of classes in wrong place leads to wrong structures ... (reminder)
07/21/2007I don't recall this being onBest LtU humour
07/24/2007Repetitive but...Or is it now?
07/16/2007runtime safety (without thatWhoever does not understand LISP, is doomed to reinvent it.
07/15/2007Actually sorted lists doWhoever does not understand LISP, is doomed to reinvent it.
07/14/2007[OTish] Geometric AlgebraCurrent "best books on FP"?
07/13/2007Uh... types...ErlCaml
07/13/2007The question is underconstrainedType inference for free?
07/10/2007Obviously formal logic is a mustHOPL-III: Statecharts in the Making
07/09/2007Two level van Wijngaarden grammars?Extensible Languages
06/27/2007Without the source or evenStanding on each others' feet
06/27/2007It's the same language.Katahdin: Modifying your programming language as it runs
06/22/2007ObjectivePython 3000 Status Update
06/19/2007I especially like thePLs and large scale development
06/15/2007Answering this question isWhat next?
06/12/2007Clowns to the left of me, jokers to the rightDerivatives of Regular Expressions
07/13/2007Behavioral DerivativeDerivatives of Regular Expressions
06/11/2007and call-by-name...ECMAScript Edition 4 Reference Implementation
06/07/2007Trickles: A Stateless Network Stack for Improved Scalability, Resilience and FlexibilityTrickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility
06/07/2007fixedTrickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility
06/04/2007C--How the Chicken Scheme compiler works
06/02/2007Sounds disturbingly familiarAutomated Whitebox Fuzz Testing
06/02/2007Not much considering it's aAutomated Whitebox Fuzz Testing
05/30/2007Purity"Practical" advantages of lazy evaluation
05/31/2007Purity again"Practical" advantages of lazy evaluation
06/01/2007One advantage not mentioned"Practical" advantages of lazy evaluation
05/30/2007Why Functional Programming Matters"Practical" advantages of lazy evaluation
02/17/2008Symmetric Lambda Calculus"Practical" advantages of lazy evaluation
02/18/2008CPS transform"Practical" advantages of lazy evaluation
02/17/2008Head strict lists"Practical" advantages of lazy evaluation
05/24/2007Currying v. partial applicationCurrying != Generalized Partial Application?!
05/28/2007Curried ApplicationCurrying != Generalized Partial Application?!
05/28/2007Good bookFestschrift for John C Reynolds's 70th Birthday
05/20/2007It's fuzzy, butWhat is a "domain specific language"?
05/20/2007Except perhaps by legal meansWhat is a "domain specific language"?
05/20/2007Pretty hello worldWhat is a "domain specific language"?
06/01/2007GoalsWhat is a "domain specific language"?
05/22/2007Me Done It or I Done It.Delegating Responsibility in Digital Systems: Horton's "Who Done It?"
05/20/2007Unimportant asideHow to make the static represent the dynamic?
05/11/2007Type lambdasLC for kids (alligators, oh my!)
05/31/2007That, or alligators orLC for kids (alligators, oh my!)
05/05/2007Functional PearlsFunctional Pearls
05/03/2007Derivation of a Typed Functional LR ParserTowards efficient, typed LR parsers
05/04/2007fixRules of good declarative language design
05/04/2007RecursionRules of good declarative language design
05/17/2007They're equivalent. Yay!Is Integer wrapping an exceptional condition?
05/02/2007So the economics of programIs Integer wrapping an exceptional condition?
05/21/2007Propagating type informationIs Integer wrapping an exceptional condition?
05/04/2007IndeedThe Monad.Reader
05/12/2007NoThe Monad.Reader
05/14/2007Neither tests nor proofsThe Monad.Reader
05/15/2007Memory errorsThe Monad.Reader
04/26/2007Perhaps the implication isArc in action (a.k.a. it's aliiiiive!)
04/23/2007PresumablyAlmost invisible upgrade
04/23/2007Maybe relevantFrom abstract interpretation to small-step typing
04/22/2007OBJWhy is there not a PL with a mathematical type system?
04/24/2007Quotient Types (again)Why is there not a PL with a mathematical type system?
04/24/2007Cellular automata explicitlyWhy is there not a PL with a mathematical type system?
04/21/2007Or (for one part) logical languages in generalWhy is there not a PL with a mathematical type system?
04/16/2007In the spirit ofThoughts about the Best Introductory Language
04/15/2007Hmm...Thoughts about the Best Introductory Language
04/14/2007Not to be a jackass, but...Thoughts about the Best Introductory Language
04/15/2007Cover v. ContentThoughts about the Best Introductory Language
04/19/2007One benefit of a programming communityThoughts about the Best Introductory Language
05/01/2007Just because it's oldThoughts about the Best Introductory Language
04/14/2007But there is no fundamentalDeliverable code?
04/04/2007One wordGenerators/Iterators and lazy evaluation
04/01/2007I don't see that in five yearsExpect New Major Language Within Five Years
03/27/2007Type Directed ConcurrencyType Directed Concurrency
03/27/2007Concurrent Constraint Handling RulesNo Ifs, Ands, or Buts
03/25/2007"mutability junkie"A Real-World Use of Lift, a Scala Web Application Framework
03/21/2007The impression I've had for a whileThe New Twelf Wiki
03/19/2007This post just gave me a stance in this questionSubject headings
03/15/2007Good OpeningPico Lisp: A Case for Minimalist Interpreters?
03/21/2007#7Order of the Science Scouts Badges
03/14/2007I find it much simpler justPiraha Exceptionality: a Reassessment
03/02/2007BackusNon-Applicative Functional Languages
03/02/2007Roughly, yes.Non-Applicative Functional Languages
02/28/2007[OT, Meta] #haskellMapReduce
02/25/2007An Analytical Approach to Programs as Data ObjectsAn Analytical Approach to Programs as Data Objects
02/24/2007What's the hook for your language?Dao, a new programming language
02/24/2007I don't have the wherewithalDao, a new programming language
02/25/2007Thank youDao, a new programming language
02/24/2007Literature on recovering grammars?Literature on recovering grammars?
02/23/2007"types are not sets" usuallyTypes vs classes: what is the difference?
02/19/2007Pseudonym did exactly thisDimensional analysis typing
02/19/2007Huh? The first thing isDimensional analysis typing
02/19/2007Hmm, Noether's theorem forAutomata-Based Programming
09/21/2007Correctness, Robustness,Almost everything happened in the Golden Age, right?
02/09/2007Lock-freedomPatrick Logan on Software Transaction Memory
02/09/2007Lock-free, not lock freePatrick Logan on Software Transaction Memory
02/08/2007Random topical anecdoteOpinions on _Theoretical Introduction to Programming_?
02/07/2007Can vs. MustTermination Checking with Types
02/08/2007No it isn'tTermination Checking with Types
02/08/2007There are (usually)Termination Checking with Types
02/09/2007Logic and realityTermination Checking with Types
02/09/2007An FSM can match (01)*, yourTermination Checking with Types
02/08/2007What issues are you thinkingSteps Toward The Reinvention of Programming
02/08/2007Actual v. PotentialSteps Toward The Reinvention of Programming
01/27/2007This idea was oftenTotal Functional Programming
01/20/2007SelfIntellisense for dynamic languages
02/20/2007Thank God for those down toWhy people don't use functional programming?
06/02/2008lambdabotLambda The Ultimate comes to SecondLife
12/27/2006Amorphous Computing (again)AgentSheets: End-User Programing (and Secret Lisp Success Story!)
12/29/2006Stream processingAgentSheets: End-User Programing (and Secret Lisp Success Story!)
12/31/2006Normal OODAgentSheets: End-User Programing (and Secret Lisp Success Story!)
12/30/2006So C# gets it and then JavaMore Haskell in Java 7 or 8?
12/26/2006So I'm tempted to concludeQuestion about closures and higher-order functions
12/30/2006Second, some people claimQuestion about closures and higher-order functions
12/26/2006Mathematical notationThe Role of Composition in Computer Programming
02/28/2007Self (as always)Why do we need finally in try?
12/26/2006A practical exampleProgramming (language) puzzles
12/26/2006IncidentallyThe Future of LtU
04/06/2007If I had to choose aDe-Scheming MIT?
07/13/2007MonoidsDodo
07/14/2007Semigroup homomorphismDodo
07/17/2007CurryingDodo
07/16/2007M-SetsDodo
08/18/2006Wrong/Nonsensical questionCan a dynamically typed language support type inference?
08/10/2006Not usually namedRevisiting Google's MapReduce
08/09/2006I list three things youLisp Lovers, how would you fix Lisp or bring it up to date?
08/08/2006It might be helpful to noteautomatic theorem proving
08/03/2006TypeclassesSoftware Extension and Integration with Type Classes
08/01/2006Side effects and parametricityGenerics as a Library
08/01/2006The programmersCost of provably-correct code
07/21/2006FLINT?A type-correct, stack-safe, provably correct, expression compiler in Epigram
07/24/2006Untested HaskellAdvantages of Soft Typing
07/18/2006The question is whether anAdvantages of Soft Typing
07/16/2006Two Other Reasons Not to ContinueOOP Parallel class hierarchies
07/17/2006One interesting approachWriting an interpreter, targeting a VM or writing from scratch?
07/10/2006CH (what else?)Abstracting Allocation: The New new Thing
07/05/2006Check out the OBJ family ofDSLs and operator associativity/precedence
06/27/2006Some agreement and some disagreementLtU: Policies document
07/02/2006LtU WikiLtU: Policies document
06/29/2006In my experience, relying onLtU: Policies document
06/26/2006My personal opinionPetition for adding garbage collection to C++.
06/21/2006Consider this also a reply to raouldRules for Developing Safety-Critical Code
06/21/2006BahWhat are the real benefits of FP?
06/24/2006Games in HaskellWhat are the real benefits of FP?
06/24/2006Ack!What are the real benefits of FP?
06/18/2006To try to add featuresWhy only 'minimal' languages
06/18/2006I'm sure the engineers wouldWhy only 'minimal' languages
06/09/2006Being the author of this theLtU: blog not forum!
06/18/2006Perhaps it would beLtU: blog not forum!
06/24/2006This was the gist of my postLtU: blog not forum!
06/07/2006Completely off-topic for this thread, but...Public resources for ECMAScript Edition 4
06/07/2006Right. So why did you postPublic resources for ECMAScript Edition 4
06/08/2006But I can't reply to eitherPublic resources for ECMAScript Edition 4
06/08/2006"Some quarters" can ignoreemulation for Erlang style processes
06/03/2006LolliMonContinuations for Parallel Logic Programming
06/03/2006When the type system isRelevance of Curry-Howard
06/05/2006Surely what the userRelevance of Curry-Howard
06/07/2006The answer is obviousRelevance of Curry-Howard
06/08/2006Type debuggingRelevance of Curry-Howard
06/03/2006However, what doesRelevance of Curry-Howard
06/09/2006My unbased feelingRelevance of Curry-Howard
06/01/2006metalType checking and logical errors
06/05/2006It was spun into aType checking and logical errors
06/01/2006It refers to this.Type checking and logical errors
06/01/2006Phantom types, parametric polymorphismType checking and logical errors
05/31/2006My viewsyet another noob via "little lisper" and scheme
06/07/2006RecompilationBuried Treasure - No Fluff Just Stuff
06/03/2006Useless typesBuried Treasure - No Fluff Just Stuff
06/05/2006Ah, I see. That's notBuried Treasure - No Fluff Just Stuff
06/07/2006Um, what Philippa and Andreas saidBuried Treasure - No Fluff Just Stuff
05/31/2006What gives?Buried Treasure - No Fluff Just Stuff
06/03/2006Not too relevantBuried Treasure - No Fluff Just Stuff
06/03/2006Russell's Parad[o]x resultsBuried Treasure - No Fluff Just Stuff
05/27/2006Haskell's CommunityLinspire chooses Haskell as preferred language
05/27/2006Procrastination"New story" template
05/23/2006Editing: My PerspectiveEditing posts
05/21/2006No, just chastised for not exploringDepartments in need...
05/20/2006Forget Infinite /Lists/Question about Lazy-ness and algorithmic runtime analysis
05/20/2006[OT for thread] The essence of functional programmingPaul Vick: BASIC principles
05/14/2006Arbitrary idea that just popped in my headThe Cat Programming Language
05/11/2006Semantic LegosBuilding Interpreters by Composing Monads
05/14/2006Stabs at answersBuilding Interpreters by Composing Monads
05/20/2006Pushouts of monadsBuilding Interpreters by Composing Monads
05/22/2006bump, apologiesBuilding Interpreters by Composing Monads
05/12/2006LPSBuilding Interpreters by Composing Monads
05/09/2006C++ templates are NOT parametric polymorphismParameteric Polymorphism from a C++ Perspective (good or bad?)
05/10/2006Side-effectsParameteric Polymorphism from a C++ Perspective (good or bad?)
05/10/2006?The Nature of Lisp (a tutorial)
05/12/2006CLThe Nature of Lisp (a tutorial)
05/11/2006[OT] Pathetic segueThe Nature of Lisp (a tutorial)
05/07/2006ParametricityDesigning a Type Notation for a Stack Based Functional Language
05/12/2006swap and parametricityDesigning a Type Notation for a Stack Based Functional Language
05/04/2006My absolute favourite paperWhat do you believe about Programming Languages (that you can't prove (yet))?
05/08/2006CLFWhat do you believe about Programming Languages (that you can't prove (yet))?
05/08/2006Categorical LogicWhat do you believe about Programming Languages (that you can't prove (yet))?
05/01/2006Associativity, Commutativity, and QuotientsFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem)
04/22/2008No, it's not just takingFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem)
02/28/2007Continuation-Value dualityA Language-Based Approach to Unifying Events and Threads
04/28/2006People outside our fieldOberon Script. A Lightweight Compiler and Runtime System for the Web
05/16/2006Some quickly googled slidesHow do Java generics correspond to System F-(omega)?
04/24/2006Constructing Polymorphic Programs with Quotient TypesThe fundamental difference between Sets and Lists?
04/18/2006Uh...The Essence of the Iterator Pattern
04/06/2006TCOPython 2.5a1 released
04/03/2006Paintable ComputingProgramming: 50, 100 years from now
02/13/2006Chu SpacesChu Spaces
02/14/2006Synthetic Differential GeometryInterval Computations
02/13/2006Category TheoryType theory question...
02/14/2006Dependent Sum and ProductType theory question...
02/14/2006This is static(/lexical) scopingGuido: Language Design Is Not Just Solving Puzzles
02/14/2006Explicit references considered a very good ideaGuido: Language Design Is Not Just Solving Puzzles
02/15/2006I think the programmingGuido: Language Design Is Not Just Solving Puzzles
02/11/2006Interval DatatypeInterval Datatype
02/13/2006I guess I should have said this immediatelyInterval Datatype
02/10/2006Strictness analysisIs STL algorithms doing damage to the cause?
02/02/2006Historical NoteA New Haskell and those anxious to change
02/02/2006TriplesWhat is a monad, why should I use it, and when is it appropriate?
01/31/2006Minor OTWeak vs. strong typing
02/06/2006HTML tagsline breaks?
01/30/2006LC and foundationsLambda the Ultimate Set Comprehension
01/31/2006Functions v. SetsLambda the Ultimate Set Comprehension
02/02/2006Somewhat OTLambda the Ultimate Set Comprehension
02/03/2006It's not that complicatedLambda the Ultimate Set Comprehension
02/04/2006Are you even reading what you are reading (or I am writing)?Lambda the Ultimate Set Comprehension
02/06/2006The Golden RuleLambda the Ultimate Set Comprehension
01/31/2006Axiom of InfinityLambda the Ultimate Set Comprehension
02/05/2006IntuitionismLambda the Ultimate Set Comprehension
01/31/2006A paperLambda the Ultimate Set Comprehension
02/03/2006EqualityLambda the Ultimate Set Comprehension
01/26/2006What's the OS's job?Promising OS's from a Programming Language Perspective
01/27/2006Xok's statusPromising OS's from a Programming Language Perspective
01/27/2006MicrokernelsPromising OS's from a Programming Language Perspective
01/30/2006Sticking this herePromising OS's from a Programming Language Perspective
01/26/2006Intentional ProgrammingProgramming Language transformation?
01/26/2006Phil does rock!Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming
01/23/2006Binary IOHaskell vs. Erlang, Reloaded
01/24/2006From the Preface of theHaskell vs. Erlang, Reloaded
01/24/2006Session typesHaskell vs. Erlang, Reloaded
01/23/2006What is a Purely Functional LanguageReferentially Transparent Scheme
01/20/2006minor OTLisp is sin
01/20/2006HaskellLisp is sin
01/20/2006IndeedLisp is sin
01/20/2006The future...Lisp is sin
01/20/2006.Lisp is sin
05/19/2007The future is now!Lisp is sin
01/18/2006Polytypic programmingSpring School on Datatype-Generic Programming 2006
01/21/2006ITASpring School on Datatype-Generic Programming 2006
02/02/2006No roughly about itGAWK (GNU AWK) for AI?
01/09/2006If you are referring to Patterns of Software...Singleton classes really that bad?
01/11/2006There's -nothing- wrong with the otherwiseSingleton classes really that bad?
01/07/2006CSPClassic CS Texts
01/03/2006EpigramAuld Lang Alice
06/07/2006Dynamic scoping is less evilReturn of the Global Variables?
01/20/2006On the topic at the end of the postJoel Spolsky views on CS education
01/06/2006No, no, noAccelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism
01/03/2006There areAccelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism
12/28/2005A beautiful segueLanguage affects 'half of vision'
05/31/2006they pooh-pooh me, sayingInsights on teaching computer programming
06/01/2006Perhaps you're somewhatInsights on teaching computer programming
09/04/2009Incorrect premiseExceptional syntax
12/19/2005Hey, way to point out another oneVirtual machine implementation and dynamic languages
12/16/2005SelfVirtual machine implementation and dynamic languages
12/16/2005And all these ideas came from SelfVirtual machine implementation and dynamic languages
12/20/2005PemoVirtual machine implementation and dynamic languages
12/17/2005I'm surprised you're surprisedVirtual machine implementation and dynamic languages
12/19/2005Shift/reset v. call/ccVirtual machine implementation and dynamic languages
12/16/2005Connecting Haskell practice to CT practiceThe Haskell Programmer's Guide to the IO Monad --- Don't Panic
12/20/2005That wasn't my suggestionThe Haskell Programmer's Guide to the IO Monad --- Don't Panic
06/09/2007Why walk when you can take the tube?The Haskell Programmer's Guide to the IO Monad --- Don't Panic
06/09/2007Indeed, Conor's entire siteThe Haskell Programmer's Guide to the IO Monad --- Don't Panic
08/20/2007More free monadsThe Haskell Programmer's Guide to the IO Monad --- Don't Panic
11/22/2007And moreThe Haskell Programmer's Guide to the IO Monad --- Don't Panic
01/06/2006idThe Haskell Programmer's Guide to the IO Monad --- Don't Panic
01/07/2006SemanticsThe Haskell Programmer's Guide to the IO Monad --- Don't Panic
12/15/2005Tick CThe MetaC Language
12/14/2005MonadsTradeoffs between Unique Types and Monads
12/13/2005Coq and a bit of a coincidenceDjinn, a theorem prover in Haskell, for Haskell.
01/24/2006YonedaDjinn, a theorem prover in Haskell, for Haskell.
12/13/2005DanvyTop N Papers 2005
12/16/2005Yes and noCPS without GC?
12/09/2005Reflection v. IntrospectionTypes and reflection
12/09/2005Me neitherTypes and reflection
12/10/2005Typechecking at runtimeTypes and reflection
12/11/2005"Runtime" typecheckingTypes and reflection
12/06/2005IntrospectionWhat is polytypic programming?
12/05/2005Answer to one questionThe breaking point of language usability?
12/06/2005Re the "smart"/"stupid" I belThe breaking point of language usability?
12/07/2005My intent with that remark (tThe breaking point of language usability?
12/09/2005The breaking point of language usability?The breaking point of language usability?
12/06/2005Formal SemanticsMisc Links
12/01/2005Because...Lock-Free Data Structures using STMs in Haskell
12/01/2005John ReynoldsConjunction types
12/01/2005Treating types as sets of vaConjunction types
12/05/2005My simplificated understandingConjunction types
11/28/2005PugsGetting started in language design -- reading material?
11/29/2005Oz, CurryGetting started in language design -- reading material?
11/22/2005Your understanding is rightDependent types: literature, implementations and limitations ?
11/18/2005XokWhat good is Strong Normalization in Programming Languages?
11/10/2005Metal/xgccBattling Bugs: A Digital Quagmire
11/10/2005CPSOOPSLA 2005: Io, a small programming language
11/13/2005Heck if I knowOOPSLA 2005: Io, a small programming language
03/13/2007No books but the Self papers also include such thingsPrototype based OO
11/10/2005Metamorphic ProgrammingCan one avoid monads?
11/02/2005Geometric AlgebraGeometric Algebra
11/02/2005Clifford Algebra v. Geometric AlgebraGeometric Algebra
11/03/2005Actually...Geometric Algebra
11/03/2005The Category of Vector Spaces and QC and FPGeometric Algebra
11/02/2005NitSmalltalk case-statement
11/03/2005TypecheckingOOPSLA 2005 Reports
11/03/2005Actually...OOPSLA 2005 Reports
11/04/2005TypeclassesOOPSLA 2005 Reports
11/05/2005Essentially, yesOOPSLA 2005 Reports
11/04/2005YesOOPSLA 2005 Reports
11/05/2005Runtime Type-checkingOOPSLA 2005 Reports
11/05/2005In general, and in practice,OOPSLA 2005 Reports
11/06/2005What do you mean by "this"? :OOPSLA 2005 Reports
11/08/2005One way or another let's call it a dayOOPSLA 2005 Reports
11/06/2005I agreeOOPSLA 2005 Reports
10/24/2005Algebraic DTs and IterationWhy Lists?
10/24/2005"How hard is that?"Why Lists?
10/24/2005Haskell practiceWhy Lists?
08/18/2006State passingObject Oriented Programming + Referential Transparency
10/15/2005DeforestationImplementing Higher Order Messages
10/04/2005What CPS is not"The Anatomy of a Loop"
10/04/2005But is there really a languag"The Anatomy of a Loop"
10/05/2005When I see an algorithm that"The Anatomy of a Loop"
09/26/2005You both already should I'm fairly certainSearching For Derek Elkins
09/26/2005OT asideWhat is Intuitive?
09/22/2005OIThe essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene
09/21/2005Concatenative LanguagesGood languages with simple grammar
09/16/2005Pattern MatchingMost Productive FP Lang?
08/23/2005ParsecNeko 1.0
08/12/2005The most complex (terminating) type systemsInvariants/Contracts vs. types
08/12/2005SelfSyntax Design
08/12/2005Functional languages can "namConcatenative Language Kont
08/12/2005Let's not start pointing fingConcatenative Language Kont
08/08/2005OBJ3Overloading - Syntactic Heroin?
08/08/2005Abstract logic programming languagesMercury Vs Prolog
08/03/2005NeedleA Java/Python hybrid?
08/03/2005And so...Causal Nets
07/25/2005DSPGeneral Purpose Cellular Automata Programming
07/02/2005Just sticking this inA Typed, Compositional Logic for a Stack-Based Abstract Machine
06/30/2005OrganizationOrganizing papers...
06/28/2005TimberDead Languages
06/23/2005NotationHow To Read a Paper
11/08/2007I looked at the slides andTransducer Composition and CPS
06/16/2005Modal logic and monadsA question I have been meaning to ask.
05/13/2005A simpler more direct explanationWhy Dependent Types Matter
06/05/2006NoLet's make a programming language!
06/07/2006Reader macrosLet's make a programming language!
06/08/2006PostScriptLet's make a programming language!
06/05/2006Besides, we all probablyLet's make a programming language!
06/05/2006Macro expressivenessLet's make a programming language!
05/04/2005Recursion Schemes from ComonadsGeneric Accumulations: Battery-powered Bananas
10/01/2005Aliasing and scoping in practiceFrom Perl Monks: "pissed off about functional programming"
04/23/2005CLFWhy Dependent Types Matter
04/18/2005Logic was firstOn the Unusual Effectiveness of Logic in Computer Science
04/15/2005YAMTRDenotational semantics of a DSL?
04/10/2005From nice to less nicePremonoidal categories and notions of computation
04/10/2005While it is always flatteringComputerworld Development Survey
04/05/2005PLAIMechanics of designing and implementing a language
03/30/2005Fun: HaWiki Quotes PageFun: HaWiki Quotes Page
04/18/2005That reminds meexpressivity of "idiomatic C++"
03/30/2005Nth languagesexpressivity of "idiomatic C++"
03/30/2005Professionalismexpressivity of "idiomatic C++"
03/30/2005Ironicexpressivity of "idiomatic C++"
04/08/2005Minor asideexpressivity of "idiomatic C++"
09/19/2005"Why Functional Programming Matters"expressivity of "idiomatic C++"
03/26/2005Other reflective languagesProper tail reflection?
03/24/2005and the Schemers should be yawning.Python: Generator methods
03/24/2005Connectivity-Based Garbage Collection?UCPy: Reverse Engineering Python
03/23/2005QuickCheckAccording to Allen Holub programming is now a liberal art. When did this happen?
03/19/2005Unfortunately...Halting program density?
03/24/2005Functional/Logic integrationEmbedding one language in another
03/09/2005NoEducational Pearl: Automata as Macros
03/10/2005Degree of macro useEducational Pearl: Automata as Macros
03/10/2005Macro-based systems as compilers (exactly my point!)Educational Pearl: Automata as Macros
03/11/2005We seem to be converging on agreement, but one misunderstandingEducational Pearl: Automata as Macros
03/11/2005That's well and good...Educational Pearl: Automata as Macros
03/02/2005Firstly, I have to say I hearBuilding a Modern Computer From First Principles
03/01/2005Type ClassesEmbedded Interpreters
03/02/2005I didn't mean via the reify/reflect wayEmbedded Interpreters
03/02/2005Re: How about GADTs?Embedded Interpreters
02/23/2005Sources and finding sourcesJournals and papers?
02/19/2005Type Signatures in Haskell PracticeACM Queue: A Conversation with Alan Kay
02/08/2005FLINTThe Church Project
02/08/2005ConsistencyTransparent Persistence
02/19/2005Delayed ReplyTransparent Persistence
02/04/2005TinyOSRegion Streams: Functional Macroprogramming for Sensor Networks
02/04/2005Functorial Semantics of Algebraic TheoriesA question for the theory guys
01/31/2005Incremental GCAvoiding worst case GC with large amounts of data?
02/01/2005Many solutions, but...Avoiding worst case GC with large amounts of data?
02/02/2005And if, and if, and if...Avoiding worst case GC with large amounts of data?
02/02/2005In an ideal world...Avoiding worst case GC with large amounts of data?
02/03/2005Don't confuse User-Space with "not the kernel"Avoiding worst case GC with large amounts of data?
01/31/2005OTOH, the equivalence paper IA Type System Equivalent to Flow Analysis
02/02/2005Re: Stack ComputersLangauges and Hardware...
01/21/2005Another...Getting Started
01/22/2005The universality of fold and programming languagesGetting Started
04/20/2007Church's Thesis and Functional ProgrammingGetting Started
01/24/2005Completely off-topicOOP Is Much Better in Theory Than in Practice
06/16/2007We are?OOP Is Much Better in Theory Than in Practice
01/10/2005Searching for the stack...Ian Bicking: The challenge of metaprogramming
01/08/2005Re: Part of me - most of me, reIan Bicking: The challenge of metaprogramming
01/10/2005Something similar to (tailcall E) exists in many languages...Ian Bicking: The challenge of metaprogramming
01/11/2005Re: Are you sure?Ian Bicking: The challenge of metaprogramming
01/14/2005Tail calls and SecurityIan Bicking: The challenge of metaprogramming
01/06/2005FunnelJoCaml
01/07/2005Well if we're not...Speech-to-text friendly programming languages
01/05/2005Linking commentsLinking comments
01/02/2005Lock-freedomThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
12/04/2004Purely Functional Programming for Sensor NetsPurely Functional Programming for Sensor Nets
02/02/2005Pi, Call-by-push-valueCall-by-what?
02/02/2005Actually I ignored it.Call-by-what?
10/26/2007I find that one moreExplaining monads
12/17/2008There's no way Arrows can beExplaining monads
08/13/2006[Random] Karl SimsRichard Feynman and the Connection Machine
12/17/2004Re: C/Assembler approachUnderstanding continuations
12/20/2004Re: Threads vs. continuationsUnderstanding continuations
12/20/2004Re: Relation to function calls?Understanding continuations

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