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

Posts By: Greg Buchholz

  Date    Post    Topic  
02/22/2012PureA Concept Design for C++
01/24/2012STEPS 2011 Progress Report (personal computing in 20kLOC)STEPS 2011 Progress Report (personal computing in 20kLOC)
07/22/2011ClojurescriptClojurescript
07/29/2011"why eval was excluded"Clojurescript
03/02/2011J language source to be released under GPLv3J language source to be released under GPLv3
03/03/2011I can't believeJ language source to be released under GPLv3
03/07/2011DownloadJ language source to be released under GPLv3
01/27/2011HDLs, etc.I've run out of programming languages to study
11/12/2010Do we?Conservative Logic
11/12/2010Reversible ComputingConservative Logic
11/14/2010DNAConservative Logic
09/29/2010Python ReinteractWhat is the best system for experimenting with and visualizing complex algorithms?
09/20/2010DasherProgramming with touch?
07/28/2010Stats...It's been ten years!
07/01/2010XPCE: the SWI-Prolog native GUI libraryLogic programming based GUI framework
11/07/2009The embarrassing way to codeJohn Hughes on Erlang and Haskell
11/05/2009Haskell Type Constraints UnleashedHaskell Type Constraints Unleashed
06/03/2009Monadic Constraint ProgrammingMonadic Constraint Programming
04/26/2009Coherent ReactionCoherent Reaction
04/24/2009Available on CiteSeerIntentional tool released
03/06/2009PLTThe Meta-LtU Thread
03/07/2009Formal methods???The Meta-LtU Thread
10/06/2008Obligatory...Inspiring Papers
02/06/2009Mere?Twilight of the GPU
09/13/2008The many uses of append/3Irresistible programs
07/28/2008Conservative LogicBeyond FRP: physics-inspired programming abstractions?
07/24/2008Different from Haskell?Type classes and type generator restrictions
07/24/2008No place to put contextType classes and type generator restrictions
07/22/2008CycloneSystems programming in languages other than C?
07/11/2008QCalcIn search for a programming language to replace spreadsheets.
06/28/2008Nested data typesType system that can type list structure?
04/08/2008Labview?Simply efficient functional reactivity
03/16/2008ZPL?Languages best suited for scientific computing?
01/26/2008Axioms and Theorems for a Theory of ArraysAxioms and Theorems for a Theory of Arrays
01/05/2008What is Late Binding?Early vs. late binding dogma/experiences?
11/21/2007Shapiro's Algorithmic Program DiagnosisInductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
09/19/2007Obligatory..Binary Lambda Calculus and Combinatory Logic
09/21/2007FruitBinary Lambda Calculus and Combinatory Logic
08/15/2007Metaobject protocols: Why we want them and what else they can doMetaobject protocols: Why we want them and what else they can do
07/18/2007ComplicationsWhoever does not understand LISP, is doomed to reinvent it.
07/09/2007Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus)Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/25/2007Type systems as Aspects?From abstract interpretation to small-step typing
03/02/2007Can Programming Be Liberated from the von Neumann Style?Non-Applicative Functional Languages
02/12/2007Automatic termination proofs for programs with shape-shifting heapsAutomatic termination proofs for programs with shape-shifting heaps
02/07/2007Inside-outProgramming Shorthands
02/07/2007Zip ComprehensionsProgramming Shorthands
02/07/2007Best language to write this in?Programming Shorthands
02/10/2007Implementation in LispProgramming Shorthands
02/09/2007FSM?Termination Checking with Types
02/02/2007HaskellGeneric Programming, Now!
02/02/2007Closer?Generic Programming, Now!
01/23/2007Total Functional ProgrammingTotal Functional Programming
01/23/2007Induction on naturals?Total Functional Programming
01/24/20072/3's the way there?Total Functional Programming
01/24/2007*Almost*Total Functional Programming
01/24/2007What About the Natural NumbersTotal Functional Programming
01/20/2007Comonads?Have I Missed Something ?
02/16/2007Personal Experience?Why people don't use functional programming?
02/27/2007Magic Numbers & Fault Density?Why people don't use functional programming?
03/02/2007Haskell declarations?Why people don't use functional programming?
03/03/2007And some starter threads...Why people don't use functional programming?
03/03/2007[∃x(x)]Why people don't use functional programming?
03/05/2007Formless blobs.Why people don't use functional programming?
03/05/2007I think there's probablyWhy people don't use functional programming?
01/04/2007Trouble Shared is Trouble HalvedCan referential transparency be bad? (puzzle included)
01/03/2007Missing style for <quote>?Missing style for <quote>?
01/03/2007PLAIType inference and unification algorithms
01/02/2007Cyclomatic ComplexityMetrics for Programmatic Complexity?
12/21/2006Hoogle(Even more) theorems for free?
12/21/2006They figured out, longThe Role of Composition in Computer Programming
12/28/2006An introduction to J for Haskell, ML, or Scheme programmers?The Role of Composition in Computer Programming
02/19/2010Simple ray tracer...The Role of Composition in Computer Programming
11/29/2006CCuredC++ has indeed become too "expert friendly"
11/19/2006ML Modules and Haskell Type Classes: A Constructive ComparisonModular Type Classes
11/15/2006Computed gotoFunctional programming and software engineering
10/29/2006PrologWant to learn something new
11/06/2006breaking the von Neumann bottleneck...Want to learn something new
10/27/2006Mind expanding stuff...Practical OCaml
10/25/2006GADT vs. Type ClassesGADT vs. Type Classes
10/26/2006GADTizationGADT vs. Type Classes
11/03/2006ParserGADT vs. Type Classes
10/02/2006Executing a type programTim Bray: Dynamic-Language IDEs
09/24/2006Two/three tuple in Haskell?SSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing?
08/28/2006Do O(1) arrays really exist?Implementing arrays
08/28/2006For a given technology...Implementing arrays
08/28/2006Sure, but...Implementing arrays
08/29/2006Er, I guess I did a bad jobImplementing arrays
12/04/2006You need a fancier type for foo...unchecked exceptions are like runtime type checking?
08/28/2006Common LispLisp Lovers, how would you fix Lisp or bring it up to date?
08/04/2006Don't forget CleanSoftware Extension and Integration with Type Classes
07/12/2006opportunity costs?Abstracting Allocation: The New new Thing
07/03/2006Common vs. Civil Law?LtU: Policies document
06/12/2006ML Modules and Haskell Type Classes: A Constructive ComparisonML Modules and Haskell Type Classes: A Constructive Comparison
06/09/2006Epigram in Epigram?Relevance of Curry-Howard
06/09/2006My CPU is a FSMRelevance of Curry-Howard
05/29/2006In Static Type checkingFirst Class Values, Types as values within a Programming Language
05/30/2006Non top-level types?First Class Values, Types as values within a Programming Language
05/11/2006CompilersBuilding Interpreters by Composing Monads
05/11/2006Algebra of JoyOptimization - Symmetric Reductions
06/09/2006Living w/o type classes in O'Caml?Multidimensional Virtual Classes
06/10/2006Do they pass the Oleg test?Multidimensional Virtual Classes
05/15/2006Where to start? (theorem provers, etc.)Open data types and open functions
07/03/2006Polymorphic variants in HaskellOpen data types and open functions
05/02/2006FusionFilter-Reduce Optimization
04/05/2006Here's some links to get youany functional language without GC?
03/29/2006Probabilistic Type Systems?Extremely static language?
03/18/2006Visual HaskellACM Queue: On Usability of Programming Languages
03/10/2006Higher-order Logic Programming in PrologTowards Applicative Relational Programming
03/14/2006Cross Concatenation in HaskellRich resource site for the programming language "K"
03/14/2006Transliterating to Language "X"Rich resource site for the programming language "K"
02/22/2006boost::tuples are first classStroustrup: A Brief Look at C++0x
02/28/2006{1, 2} + {3, 4}Stroustrup: A Brief Look at C++0x
02/10/2006Cheating?Is STL algorithms doing damage to the cause?
02/09/2006No GADTsHow are GADTs useful in practical programming?
02/06/2006What kind of work?hypothetical question
02/09/2006Isn't it possible toThe Next Mainstream Programming Languages
02/02/2006Maybe Example...What is a monad, why should I use it, and when is it appropriate?
01/25/2006CoyotosPromising OS's from a Programming Language Perspective
01/23/2006Thermodynamics?Haskell is not not ML
01/01/2006FSFAuld Lang Alice
12/09/2005I like...Types and reflection
12/09/2005Also of possible interest...Types and reflection
12/02/2005Functional DependenciesConjunction types
11/21/2005PrologMonads in Ruby
04/27/2009Program Transformation and Optimization in Calculational FormAlgebra Of Programming (Bird, De Moor)
11/03/2005CombinatorsGeometric Algebra
11/02/2005Pronouncing ">>"Smalltalk case-statement
10/31/2005More linksThe Type-System-Feature-Creep Death Spiral
11/03/2005Dynamic Typing in a Statically Typed LanguageOOPSLA 2005 Reports
11/03/2005eval, etc. in a static language...OOPSLA 2005 Reports
11/04/2005Number Parameterized TypesOOPSLA 2005 Reports
10/31/2005Roots of LispOOPSLA 2005 Reports
11/03/2005OT: space leakBruce Tate: Technologies that may challenge Java
10/31/2005zipWith?Bruce Tate: Technologies that may challenge Java
10/18/2005Best default sequence?Best default sequence?
10/21/2005Monads anyone?Best default sequence?
08/16/2006Fixing some space leaks with a garbage collectorObject Oriented Programming + Referential Transparency
10/17/2005A spoonful of sugar...Territorial Exception Handling
10/05/2005What is late binding?Static type inference & late binding?
11/13/2006Static type inference & late binding?Static type inference & late binding?
10/05/2005linkNumber-Parameterized Types by Oleg Kiselyov
09/30/2005Looping in APL"The Anatomy of a Loop"
09/30/2005But..."The Anatomy of a Loop"
10/05/2005Been There. Done That."The Anatomy of a Loop"
09/27/2005A Group Is Its Own Worst EnemLtU: Style and Focus
09/22/2005comonads and RT?The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene
09/21/2005IntentDynamic typing in OCaml
09/15/2005Garbage Collection as a Lazy AlgorithmGarbage Collection as a Lazy Algorithm
09/16/2005YesGarbage Collection as a Lazy Algorithm
09/07/2005Type enforced conservation lawsCombining Theorem Proving and Programming
09/09/2005DML?Combining Theorem Proving and Programming
09/08/2005NoetherCombining Theorem Proving and Programming
09/06/2005Linear LispYearning for a practical scheme
08/24/2005Safe array accessIvory Towers and Gelfand's Principle
08/22/2005Functional anti-memoizationFunctional anti-memoization
08/23/2005Dataflow?Functional anti-memoization
08/25/2005Just checkingFunctional anti-memoization
08/16/2005linking to a postForum usability
08/12/2005Dependent and Generalized Algebraic TypesInvariants/Contracts vs. types
08/11/2005Larger Subroutines == Fewer DefectsLarger Subroutines == Fewer Defects
08/12/2005Yes, my functions tend to beLarger Subroutines == Fewer Defects
08/12/2005Another aspect.Larger Subroutines == Fewer Defects
08/10/2005MonadsConcatenative Language Kont
08/10/2005Types?Concatenative Language Kont
08/10/2005More LinearConcatenative Language Kont
08/10/2005low vs. lowerConcatenative Language Kont
08/10/2005Static vs. DynamicConcatenative Language Kont
08/11/2005The original threadConcatenative Language Kont
08/15/2005SquintingConcatenative Language Kont
08/12/2005More confusion?Concatenative Language Kont
08/10/2005Foreign?Concatenative Language Kont
08/12/2005Joy in HaskellConcatenative Language Kont
08/04/2005Ask, and you shall receive...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/04/2005Yes.Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
07/29/2005It's FridaySlides for ' Programming in Haskell'
07/29/2005Language support for generating functions?Language support for generating functions?
07/29/2005NeedsLanguage support for generating functions?
07/27/2005Physics?The Complexity Zoo
07/20/2005Magpie?On the Revival of Dynamic Languages
07/21/2005Tek LabsOn the Revival of Dynamic Languages
07/11/2005Abstract InterpretationStatic Typing Where Possible, Dynamic Typing When Needed
06/30/2005rows per columnHungarian Notation vs The Right Thing
06/30/2005Not buying itHungarian Notation vs The Right Thing
06/30/2005Previously, on LtU...Hungarian Notation vs The Right Thing
06/23/2005Static Types vs. Partially Evaluated Latent TypesStatic Types vs. Partially Evaluated Latent Types
06/24/2005ClairificationStatic Types vs. Partially Evaluated Latent Types
06/24/2005ExcellentStatic Types vs. Partially Evaluated Latent Types
06/23/2005Which communities?How To Read a Paper
06/24/2005Maybe, but...How To Read a Paper
06/08/2005No DRM then?What will Apple's move to Intel mean for Alternative Language Communities?
06/01/2005Something to chew onBasic(er) Simple(r) Type Theory(?)
09/19/2006CA Embedded DSL in HaskellCellang
09/08/2006Invalid file?Cellang
05/02/2005One differenceCall for Papers: ACM Symposium on Dynamic Languages
04/26/2005Many reasonsExpressivity of lisp/scheme but speed of assembly/C/C++
04/20/2005Allowing currying means we loQi 6.1 released
04/11/2005OTCCLanguage Design 101
04/05/2005Inspiring Languages?Mechanics of designing and implementing a language
03/18/2005Halting program density?Halting program density?
03/18/2005Very much related.Halting program density?
03/18/2005Another tryHalting program density?
03/18/2005For us empiricistsHalting program density?
03/23/2005Elegant programsHalting program density?
03/22/2005BiologyEmbedding one language in another
06/03/2005[OT] Why PDF?Issue One of The Monad.Reader, monthly Haskell eZine
02/15/2005Alloy vs. QuickCheckACM Queue: A Conversation with Alan Kay
03/01/2005Perl in PerlACM Queue: A Conversation with Alan Kay
03/01/2005Where the magic happensACM Queue: A Conversation with Alan Kay
03/02/2005So that's what hyperlinks are for!ACM Queue: A Conversation with Alan Kay
12/19/2006A type system for boundedTransparent Persistence
12/19/2006DetailsTransparent Persistence
01/27/2005Typed ReflectionBitC, a new OS implementation language
01/28/2005Functional nirvana?BitC, a new OS implementation language
01/27/200531 bit intsLangauges and Hardware...
01/27/2005Dynamic LanguagesLangauges and Hardware...
01/26/2005Other HDLsLangauges and Hardware...
01/27/2005O'Caml revised syntax"Popular vs. Good" in Programming Languages
01/27/2005Taking advantage of current parallelism?Implicit parallel functional programming
01/21/2005Advanced Scheme?Getting Started
01/21/2005doing itGetting Started
01/18/2005Dynamic Eager HaskellDynamic Eager Haskell
01/18/2005runtime behaviorDynamic Eager Haskell
01/18/2005Nonlinearities, etc.Dynamic Eager Haskell
01/19/2005Easy?Dynamic Eager Haskell
01/08/2005Eliminate recursionIan Bicking: The challenge of metaprogramming
01/09/2005Perl6Ian Bicking: The challenge of metaprogramming
01/10/2005DasherSpeech-to-text friendly programming languages
01/03/2005Eliminating Array Bound CheckingSPARKAda
01/04/2005Other high assurance languages?SPARKAda
12/09/2004Lisp for the 21st century?Casting SPELs in Lisp
12/03/2004Download page?Lazy K
11/22/2004Accessing libraries through the file systemExtending Ruby with C
11/09/2004wxFruitLanguage comparison experiment
11/10/2004As long as you mentioned it...Language comparison experiment
09/14/2004Faking it (even better)Faking it (even better)
09/15/2004Objects in HaskellFaking it (even better)
08/27/2004Typed Hardware"Types and Reflection" by Lauri Emil Alanko
08/17/2004microkernelsThe right default: concurrent components with message passing
08/10/2004Haskell and typingWhy type systems are interesting - part II
08/12/2004Haskell typingWhy type systems are interesting - part II
10/11/2006Implicit ConfigurationsWhy type systems are interesting - part II
10/10/2006Even Number TypeWhy type systems are interesting - part II
08/12/2004sorted-list typeWhy type systems are interesting - part II
08/12/2004Automatic Algorithm InferenceWhy type systems are interesting - part II
01/23/2007Renumbering vs. RenamingA Visual Environment for Developing Context-Sensitive Term Rewriting Systems
05/26/2006Exception-Free ProgrammingWhy type systems are interesting
09/24/2004Monads in PerlExplaining monads

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