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

Posts By: Scott Turner

  Date    Post    Topic  
12/29/2011highly trained mathematiciansSeven Myths of Formal Methods Revisited
02/14/2010that's meA few billion lines of code later: using static analysis to find bugs in the real world
02/15/2010having to explainA few billion lines of code later: using static analysis to find bugs in the real world
12/15/2009Surreal NumbersClaiming Infinity
06/30/2009one "interesting" C programMost powerful terminating semantics?
05/19/2009strict types in the lazy source languageTypes are Calling Conventions
05/20/2009liking Zeilberger's approachTypes are Calling Conventions
05/12/2009it worksConversations with the Creators of Major Programming Languages
10/28/2007the truth about formalityGödel, Nagel, minds and machines
05/08/2007eBookChurch's Thesis and Functional Programming
02/12/2006development team interface to programGuido: Language Design Is Not Just Solving Puzzles
01/24/2006reminds me of call-by-push-valueHaskell is not not ML
01/21/2006incompleteness theoremWhat is a Proposition?
11/11/2005A compiler is a model generator.Putting Curry-Howard to Work
09/20/2005direct linkNemerle and C# 3.0
12/20/2005understanding computersAdbmaL
06/09/2005fundamental structuresData locality and data structures
07/22/2005Haskell Workshop talkGADTs + Extensible Kinds = Dependent Programming
05/06/2005a simple language *system*Let's make a programming language!
05/06/2005more so than FelixLet's make a programming language!
04/18/2005remember the referencesAnyone remember Russell (the language, that is)?
04/18/2005most basic typesMechanics of designing and implementing a language
04/18/2005primary colorsMechanics of designing and implementing a language
03/29/2005totally different?expressivity of "idiomatic C++"
03/29/2005for the reader to completeexpressivity of "idiomatic C++"
03/29/2005OP?expressivity of "idiomatic C++"
03/30/2005C++ still not comparable to Haskellexpressivity of "idiomatic C++"
04/02/2005Mathematica not comparable to Haskellexpressivity of "idiomatic C++"
03/31/2005programmatic nature of quantum electrodynamicsProgrammatic nature of subatomic make up
03/15/2005macro TIFFs to PDFInterview with Donald Knuth
01/31/2005neologismNeologism
02/03/2005reinventing the call-by-push-valueNeologism
01/29/2005thinking out loudBitC, a new OS implementation language
01/30/2005types for program behaviorBitC, a new OS implementation language
01/25/2005The demands are driven by use"Popular vs. Good" in Programming Languages
01/10/2005TCO surpriseIan Bicking: The challenge of metaprogramming
01/12/2005not on targetIan Bicking: The challenge of metaprogramming
01/12/2005tco(E)Ian Bicking: The challenge of metaprogramming
01/08/2005the continuations pathIan Bicking: The challenge of metaprogramming
01/07/2005It's comingImplementation of FPL
01/07/2005It's in the TypesLinks (Wadler)
12/05/2004types in HeronDefinition of Type
11/19/2004wannabe DSLs?Language Oriented Programming
11/13/2004what C/C++ should've beenACM Queue: There's Still Some Life Left in Ada
11/08/2004overloading and inferenceIdeas about a language.
11/09/2004re: overloading and type inferenceIdeas about a language.
11/08/2004types and pattern matchingIdeas about a language.
10/24/2004definition plus experienceWhat's a definition of "type" that beginners can understand?
10/28/2004a straight definitionWhat's a definition of "type" that beginners can understand?
10/22/2004data parallel programmingMapReduce - functional programming in the REAL World
10/19/2004feeling the bits between your toesTwo Languages (high+low level) vs One Language
10/22/2004Python nested scopesInteresting? closure/object idea
10/08/2004favorite control operatorsKen Shan: Shift to Control
10/08/2004Where's the catch?Ken Shan: Shift to Control
02/17/2005superiority vanishesCall-by-what?
09/14/2004Call-by: BothCall-by-what?
07/14/2004Re: No magic?Explaining monads
07/13/2004first-class continuationsUnderstanding continuations
07/08/2004The problem is display, not concatenation.International Components for Unicode 3.0 Released
06/30/2004runtime errors that are type errorsDebugging Functional Programs
03/21/2004Re: Min-Maxing languagesMin-Maxing languages

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