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

Posts By: Jim Apple

  Date    Post    Topic  
04/02/2011"Witnessing side effects"Determining if a function is effectively pure
03/12/2011POPLmarkReference request: running out of countably many variable names
05/28/2010GHC now derives functorFunctional Pearl: Species and Functors and Types, Oh My!
09/23/2008Don't feed the trollsSimon Peyton Jones Interview
09/11/2008let binding in typesPolymorphic Algebraic Data Type Reconstruction
03/25/2008"Pervasive support for dependent types"Algebraist Network
03/25/2008Type inference?The Disciplined Disciple Compiler
01/18/2008a)POPLmark progress, preservation, puns b)quiet GADTs c)no HypePrediction for 2008
10/26/2007God and DeterminismOn the Importance of Purity
04/07/2007Early Programming Languages (A Logic Puzzle)Early Programming Languages (A Logic Puzzle)
04/07/2007CforallCforall
04/07/2007YesnoYesno
04/07/2007Aldor going open sourceAldor going open source
02/19/2007OspreyDimensional analysis typing
02/20/2007external v. internal checkingDimensional analysis typing
02/04/2007State of the Union: Type Inference via Craig InterpolationState of the Union: Type Inference via Craig Interpolation
02/03/2007RZ for Constructive Mathematics in ProgrammingRZ for Constructive Mathematics in Programming
02/03/2007[Style fixed]RZ for Constructive Mathematics in Programming
02/13/2007Flamebait: "People on the frontier"Why people don't use functional programming?
02/28/2007Types and value checkingWhy people don't use functional programming?
03/02/2007Haskell and Type DeclarationsWhy people don't use functional programming?
01/01/2007Why bikesheds should be blackWhy numbering should start at 0
12/07/2006OBJTyping a function which includes its axioms?
12/07/2006Dependent Types in Aldor?Languages with first order types and partial evaluation
11/28/2006Mechanized Metatheory Model-CheckingMechanized Metatheory Model-Checking
11/29/2006Wrong category, indeed!Mechanized Metatheory Model-Checking
11/27/2006The Theory of Parametricity in Lambda CubeThe Theory of Parametricity in Lambda Cube
11/19/2006Modular Type ClassesModular Type Classes
09/30/2006Arrows, like Monads, are MonoidsArrows, like Monads, are Monoids
09/09/2006Folds, Church Encodings, Builds, and Short Cut Fusion for Nested Types: A Principled ApproachFolds, Church Encodings, Builds, and Short Cut Fusion for Nested Types: A Principled Approach
08/22/2006ESC not just for Java any moreESC not just for Java any more
08/22/2006Why not homepage?ESC not just for Java any more
05/26/2006Backwards debuggingBackwards debugging
05/09/2006MathLangMathLang
05/10/2006How is J in the bounds specified?MathLang
08/06/2006Maude/OBJ introductionOpen data types and open functions
04/03/2006Purity in PLTPurity in PLT
04/03/2006Other nascent ideas:Purity in PLT
04/03/2006Quality v. PopularityPurity in PLT
04/03/2006Every language has zealots?Purity in PLT
04/03/2006More examples:Purity in PLT
04/02/2006Disruptive PLT, 4 years laterDisruptive PLT, 4 years later
03/30/2006Polymorphism?[ANN] Scala-2
03/26/2006Generic Haskell IIGeneric Haskell II
02/02/2006A New Haskell and those anxious to changeA New Haskell and those anxious to change
02/02/2006Type Refinements for Programming LanguagesType Refinements for Programming Languages
02/02/2006The essence of ML type inferenceThe essence of ML type inference
02/02/2006G'Caml comes of ageG'Caml comes of age
02/03/2006yup (nt)G'Caml comes of age
02/05/2006Type classes are openG'Caml comes of age
01/19/2006polymorphism/polytypismSpring School on Datatype-Generic Programming 2006
01/09/2006FrinkClassic CS Texts
12/14/2005Polymorphic Regular Tree Types and PatternsPolymorphic Regular Tree Types and Patterns
12/15/2005Oleg's in-Haskell versionDjinn, a theorem prover in Haskell, for Haskell.
12/10/2005Generic viewsGeneric views
10/11/2006An implementationGeneric views
12/05/2005What is polytypic programming?What is polytypic programming?
12/05/2005No mention of other projectsWhat is polytypic programming?
12/04/2005Ulf's Home-Page of Programming Language DesignUlf's Home-Page of Programming Language Design
12/02/2005Are we missing out on fancy types?Are we missing out on fancy types?
12/02/2005YupAre we missing out on fancy types?
11/26/2005Systematic search for lambda expressionsSystematic search for lambda expressions
11/25/2005Monads are an idiom, but Idiom isn't a monadMonads are an idiom, but Idiom isn't a monad
12/01/2005Implementation in HaskellMonads are an idiom, but Idiom isn't a monad
11/25/2005FC++Collection of links to monad implementations in various languages.
11/10/2005Overloading when?OCaml 3.0.9
11/12/2005subtyping in HaskellOCaml 3.0.9
10/31/2005Ontic Spec linkThe Type-System-Feature-Creep Death Spiral
10/19/2005ViewsBest default sequence?
10/17/2005C++ references are non-nullTerritorial Exception Handling
09/27/2005Contributing EditorsLtU: Style and Focus
09/27/2005Then I'm wrongLtU: Style and Focus
09/27/20055 comments/yearLtU: Style and Focus
09/23/2005DylanNon-Lisp, natively extensible?
09/22/2005Natural recursionWhat is Intuitive?
09/23/2005Format whine [OT]Ruby: Language of the Programming Übermensch?
09/22/2005Ask better questionsDon Box: Scheme Is Love
09/21/2005Dynamic vs. Static Typing - A Pattern-Based AnalysisDynamic vs. Static Typing - A Pattern-Based Analysis
09/21/2005Checked exceptionsDynamic vs. Static Typing - A Pattern-Based Analysis
09/21/2005Haskell's type classesDynamic vs. Static Typing - A Pattern-Based Analysis
09/21/2005Third problemDynamic vs. Static Typing - A Pattern-Based Analysis
09/27/2005Where announcements goSeaFunc meets Tues. Sept. 27th
09/21/2005ST is rubber, DT glueDynamic typing in OCaml
09/21/2005emacs & STDynamic typing in OCaml
09/18/2005Other languages with supportFunctional multi-method programming language
09/21/2005GHC performanceMost Productive FP Lang?
09/23/2005Don't be rude.Most Productive FP Lang?
09/08/2005It's because they roam . . .Persistent functional databases
09/08/2005No, you're not supposed to get itPersistent functional databases
09/05/2005Don't feed the trollsYearning for a practical scheme
08/18/2005This is a troll'Information and Computation' Open Access
08/12/2005Comparing type system strengthInvariants/Contracts vs. types
08/14/2005CoCInvariants/Contracts vs. types
07/31/2005GoF get SIGPLAN awardGoF get SIGPLAN award
07/06/2005The New C StandardThe New C Standard
07/05/2005Google cache of removed linkDesign Concepts in Programming Languages
06/27/2005Dead LanguagesDead Languages
07/07/2005Where is Timber?Dead Languages
06/27/2005A Typeful Approach to Object-Oriented Programming with Multiple inheritanceA Typeful Approach to Object-Oriented Programming with Multiple inheritance
05/30/2005Tying the knotShort examples of complex use of state?
05/21/2005GCC intentional obfuscationLLVM 1.5 has been released!
05/11/2005Applied Type SystemApplied Type System
05/11/2005The Epigram BlogThe Epigram Blog
05/11/2005How to talk dep. typesWhy Dependent Types Matter
05/12/2005forall P . (P -> P) -> PWhy Dependent Types Matter
05/06/2005GADTs + Extensible Kinds = Dependent ProgrammingGADTs + Extensible Kinds = Dependent Programming
05/06/2005Existential Types == Guarded TypesExistential Types == Guarded Types
04/21/2005License issuesComputer generates verifiable mathematics proof
04/19/2005Nice & Dep TypesWhy Dependent Types Matter
04/28/2005C++ and parametric polymorphismexpressivity of "idiomatic C++"
04/04/2005Syntax, dialogueexpressivity of "idiomatic C++"
03/14/2005AmenInterview with Donald Knuth
03/14/2005Website changeInterview with Donald Knuth
03/15/2005I admitInterview with Donald Knuth
11/02/2005Nothing to complain aboutBuilding a Modern Computer From First Principles
02/25/2005How about in Fomega?The HM system does not have principal typings for all terms
02/25/2005head . headThe HM system does not have principal typings for all terms
02/26/2005But must it be?The HM system does not have principal typings for all terms
12/10/2004Prototyping Generic Programming using Template HaskellPrototyping Generic Programming using Template Haskell
12/07/2004You've never used a typed PL?Definition of Type
12/07/2004irrelevant/non-crucialDefinition of Type
11/04/2004GbetaGbeta
11/04/2004sorry, fixed (nt)Gbeta
10/15/2004IBM's Object REXX open sourcedIBM's Object REXX open sourced
10/04/2004"Error: not yet implemented"Shoot-out: most annoying compiler error message
10/04/2004ExcusablesShoot-out: most annoying compiler error message
09/29/2004Do you mean COBOL++Java and coolness, a discussion
09/03/2004SillinessA Deeper Look At Metafunctions
09/03/2004Time to move onA Deeper Look At Metafunctions
08/18/2004State and execution orderNew Paul Graham thing...
07/25/2004The Sphere Online JudgeThe Sphere Online Judge
07/21/2004Why does this fail to simulate GADTsWobbly types
07/23/2004Because phantom types are not first classWobbly types
07/17/2004"larger, richer featureset than Haskell"New CLR Language: Boo
07/15/2004Looking for the source of a quoteLooking for the source of a quote
07/15/2004FC++ not boosted!Functional programming in Java
07/15/2004Rejection noticeFunctional programming in Java
07/15/2004Boost haterationFunctional programming in Java
07/16/2004Review (of review)^n where n = 2Functional programming in Java
06/02/2004Re: The view from the leftThe view from the left
04/15/2004Why, Krakatoa and Caduceus: Software proofWhy, Krakatoa and Caduceus: Software proof
03/14/2004Re: Bruce Eckel on Java genericsBruce Eckel on Java generics
03/09/2004Re: Every Language War EverEvery Language War Ever
02/27/2004Re: MIT Theta Language and Thor Distributed OO DatabaseMIT Theta Language and Thor Distributed OO Database
02/27/2004Re: MIT Theta Language and Thor Distributed OO DatabaseMIT Theta Language and Thor Distributed OO Database
02/23/2004Control operatorsControl operators
02/02/2004Re: Data as codeData as code
01/20/2004FreshML - abstract syntax manipulationFreshML - abstract syntax manipulation
01/20/2004Algorithmic complexity of evaluation: lazy, eager, pure and impureAlgorithmic complexity of evaluation: lazy, eager, pure and impure
01/19/2004Re: Concept programmingConcept programming
01/19/2004Re: Concept programmingConcept programming
01/19/2004Re: Concept programmingConcept programming
01/19/2004Re: Concept programmingConcept programming
01/18/2004Macros for C++?Macros for C++?
12/24/2003Re: Feature wishes may be grantedFeature wishes may be granted
12/27/2003Re: Feature wishes may be grantedFeature wishes may be granted
11/16/2003Re: Notes on Programming in CNotes on Programming in C
11/17/2003Re: Notes on Programming in CNotes on Programming in C
08/10/2003Re: Patterns of SoftwarePatterns of Software
06/29/2003Re: Constructive Computation Theory. Course notes on lambda calculusConstructive Computation Theory. Course notes on lambda calculus
08/16/2003Re: The Charity LanguageThe Charity Language
08/17/2003Re: The Charity LanguageThe Charity Language

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