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

Posts By: Peter A Jonsson

  Date    Post    Topic  
09/21/2011No real gain?What needs to be done?
05/16/2011Very cool!In search of inspiration
05/16/2011I'd like to echo ChadOne Pass Real-Time Generational Mark-Sweep Garbage Collection
05/16/2011..benefit in any languageOne Pass Real-Time Generational Mark-Sweep Garbage Collection
03/14/2011Beta-reductionStrict data constructors + non-strict application?
03/16/2011If your optimizer can detectStrict data constructors + non-strict application?
03/14/2011Full-beta reduction isStrict data constructors + non-strict application?
01/16/2011A few pointersParametric Prediction of Heap Memory Requirements
01/08/2011Typed IRThe AST Typing Problem
01/16/2011Avoiding non-terminationThe AST Typing Problem
12/28/2010Bolting on type systemsPrototyping a new language with Haskell
10/11/2010Purity does not require lazy evaluationDesign Principles Behind Smalltalk
09/01/2010Slightly updated versionAbstract interpreters for free
02/15/2010I'm not sure I understandMutable objects with monadic methods
12/21/2009Detecting non-terminationChunked sequences: Lookahead laziness
11/22/2009PerformanceJohn Hughes on Erlang and Haskell
08/17/2009Examples of recursive programming techniquesThe End of the GPU Roadmap
03/13/2009Optimization by equalityAdvantages of pointfree?
03/04/2009Nice!Equality Saturation: A New Approach to Optimization
01/12/2009Monads in strict languagesMonads = lazy, effect types = strict?
12/15/2008Program specializationPracticality of Exclusively Compiler-Driven Unboxing
10/02/2008Not so tagless.Lazy Graph Reduction and abstract machines
09/17/2008Real-Time GCTwilight of the GPU
07/14/2008There is atleast one moreCatch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml
03/16/2008Implementation techniques for first-class functions?Higher-Order Programming without Closures?
02/07/2008Timed pi calculustime as a first class value?
09/27/2007ReduceronFPGA CPUs
09/13/2007Totality Checker for HaskellExtending HM type inference -- would this be possible? Or even desirable?
07/28/2007Testing first year programming studentsTesting first year programming students
07/18/2007Erlang's history and design choicesWhoever does not understand LISP, is doomed to reinvent it.
07/19/2007My claim was that researchWhoever does not understand LISP, is doomed to reinvent it.
06/01/2007Deforesting strict languages"Practical" advantages of lazy evaluation
05/04/2007Previous threads.Functional Object-Oriented Programming
04/20/2007Bounded BuffersActors vs. Reactive Objects
03/08/2007TimberLightweight static resources
02/15/2007Call-by-valueLightweight Fusion by Fixed Point Promotion
03/04/2007GCPatrick Logan on Software Transaction Memory
01/10/2007Commercial Users of Functional ProgrammingWhy people don't use functional programming?
02/08/2007Mapreduce - revisited.Why people don't use functional programming?
02/08/2007Data Parallel Haskell andWhy people don't use functional programming?
02/28/2007This is definitely not myWhy people don't use functional programming?
12/03/2006Simon Peyton Jones has someHow to write a Programming Language Paper?
11/27/2006A Complete, Co-Inductive Syntactic Theory of Sequential Control and State.A Complete, Co-Inductive Syntactic Theory of Sequential Control and State.
11/28/2006Adoption of FP.The Future of LtU
11/29/2006The focus is on pureThe Future of LtU
07/18/2007Huh?Dodo
10/18/2006Virtual memory/SwapGood Ideas, Through the Looking Glass
06/12/2006Formal verification of a C-Compiler frontend.Formal verification of a C-Compiler frontend.
05/07/2006Is this what you are lookingA Hacker's Introduction to Partial Evaluation
05/06/2006If it can be provenPatterns of Integer Usage
05/03/2006Book about PE.What do you believe about Programming Languages (that you can't prove (yet))?
05/06/2006Supercompilers LLCWhat do you believe about Programming Languages (that you can't prove (yet))?
03/29/2006O'Haskell might be aType Inference in Object Oriented Languages
02/03/2006Type inference and scaling.The Next Mainstream Programming Languages
02/04/2006Incomprihensible error messagesThe Next Mainstream Programming Languages
02/01/2006TerminologyU, a small model
01/19/2006Compiler size.Scala 2
11/09/2005Oversimplified web browser.Type Nomenclature
08/11/2006Purely Functional LanguagesObject Oriented Programming + Referential Transparency
09/21/2005Performance, once again.Most Productive FP Lang?
09/23/2005Sparc architecture.Most Productive FP Lang?
09/24/2005Why?Most Productive FP Lang?
09/25/2005Scaling results.Most Productive FP Lang?
09/09/2005Purely functional data structures.Haskell and creative freedom
09/12/2005The syntax?Haskell and creative freedom
09/11/2005Lazy evaluation in embedded systems.System programming using FP
08/25/2005Bunch of examples.Ivory Towers and Gelfand's Principle
08/28/2005O'Haskell/Timber does it.Ivory Towers and Gelfand's Principle
08/25/2005Formal reasoning.Ivory Towers and Gelfand's Principle
08/04/2005Performance critical applicationsObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/05/2005Performance of ErlangObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/08/2005InliningObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/08/2005Strict vs lazyObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/07/2005Parsing C.Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/05/2005Performance of functional languages.Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
07/20/2005Translating out of SSAConversion of 'functional' to 'imperative' algorithms: is it possible?
06/29/2005Polymorphic subtypingGenerics are a mistake?
06/28/2005TimberDead Languages
07/07/2005TimberDead Languages
07/08/2005Re: Where is TimberDead Languages
06/05/2006Many languages haveLet's make a programming 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