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

Posts By: Tim Sweeney

  Date    Post    Topic  
03/07/2011The victory of logic programmingMiddle History of Logic Programming
01/31/2011Wanted: Pointful SyntaxInvertible Syntax Descriptions: Unifying Parsing and Pretty Printing
02/02/2011Partial logic language featuresInvertible Syntax Descriptions: Unifying Parsing and Pretty Printing
01/10/2011Solution?Scala Team Wins ERC Grant
01/11/2011Towards nice parallelismScala Team Wins ERC Grant
01/11/2011EvidenceScala Team Wins ERC Grant
10/27/2010The Essence of Object OrientationThe Myths of Object-Orientation
10/28/2010Not PhilosophyThe Myths of Object-Orientation
11/01/2010Identity, State, Persistence...The Myths of Object-Orientation
11/01/2010Big Object Base ClassThe Myths of Object-Orientation
09/08/2010What a messJoe Duffy: A (brief) retrospective on transactional memory
08/07/2010ImplicitsType Classes as Objects and Implicits
08/09/2010Staging and dependent typesType Classes as Objects and Implicits
08/18/2010MetaOCamlType Classes as Objects and Implicits
08/20/2010Partial evaluation is evitableType Classes as Objects and Implicits
08/04/2010My UnderstandingOverlapping Instances + Functional Dependencies Unsound?
07/22/2010Nice!Scribble: Closing the Book on Ad Hoc Documentation Tools
06/25/2010Why?Intel Concurrent Collections for Haskell
05/27/2010Species and FunctorsFunctional Pearl: Species and Functors and Types, Oh My!
05/28/2010deriving FunctorFunctional Pearl: Species and Functors and Types, Oh My!
05/28/2010Co-functorsFunctional Pearl: Species and Functors and Types, Oh My!
03/12/2010Top-level vs otherShould let be generalized?
02/10/2010It's trueNaNs and reflexivity
12/04/2009Overly ImperativePragmatic declarative event abstraction
10/15/2009Practical concurrency idiomsSeeking broad survey of wide range of concurrency idioms
10/12/2009Conflicts with overloadingSequenceL - declarative computation on nonscalars
08/11/2009Compiling to OpenCLThe End of the GPU Roadmap
08/11/2009Vector Haskell?The End of the GPU Roadmap
06/04/2009Monadic Constraint ProgrammingMonadic Constraint Programming
05/10/2009UnbelievableWhy Did M.I.T. Switch from Scheme to Python?
02/04/2009AnyWhat is the dual of { } ?
02/02/2009UsefulRuling out nonsensical data type definitions
02/03/2009AnalogyRuling out nonsensical data type definitions
02/03/2009C++ voidRuling out nonsensical data type definitions
01/16/2009Prop vs TypeOn the Strength of Proof-Irrelevant Type Theories
12/17/2008Why this is a bad ideaAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/17/2008? is not a functorAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/18/2008Static aparametricityAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/17/2008UpdatedAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/29/2008Encapsulation and parametricityAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
06/11/2008Why Turing Completeness?On the importance of Turing completeness
04/29/2008OuchAutomatic Patch-Based Exploit Generation
04/24/2008ConfusingSpecies: making analytic functors practical for functional programming
04/25/2008Thanks!Species: making analytic functors practical for functional programming
03/13/2008ConditionalVariation of C's inline conditional
03/04/2008Retreating from pure Horn clausesPure, Declarative, and Constructive Arithmetic Relations
02/18/2008Dereferencing operatorsUniform naming
01/30/2008ASCII Only?Arc is released
01/31/2008The mess that is Unicode...Arc is released
01/29/2008Steps to PracticalityThe YNot Project
12/07/2007Nice ManifestoA Growable Language Manifesto
12/11/2007Static metaprogrammingA Growable Language Manifesto
12/04/2007GenericityParametric datatype-genericity
11/29/2007APL and vector-like data typesfoundations for J, APL etc
11/27/2007Abstract syntax treeDerivation trees for lambda-calculus
11/10/2007Turning complete type systemsUniversal Type System
11/07/2007Universal Type SystemUniversal Type System
11/08/2007Incompleteness vs The Halting ProblemUniversal Type System
07/27/2007Is there a better way?Comprehensions with ‘Order by' and ‘Group by'
07/09/2007Dependent typesSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/12/2007Type erasure requires totalitySimply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/13/2007Proof-Carrying CodeSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/09/2007Can you imagine your typicalSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/09/2007General recursionSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
06/05/2007Partial Evaluation in renderingPartial evaluation applied to high speed lighting preview
06/05/2007Merging stuffMerging Functions, Modules, Classes, the whole nine yards...
06/04/2007Correctness of parsersCorrectness of Parsers
05/30/2007Advantages"Practical" advantages of lazy evaluation
05/07/2007ExcellentThe expression problem, Scandinavian style
04/16/2007TranslationTwitter and Rails brouhaha
03/16/2007Imperatrix OrnothologicaSyntax Solicited for Imperative-flavored Concurrent Language with Keywords
02/27/2007Behavior diffingBehaviour Diffing
02/09/2007STM nervousnessPatrick Logan on Software Transaction Memory
02/09/2007Can you help me understandPatrick Logan on Software Transaction Memory
02/09/2007BloatPatrick Logan on Software Transaction Memory
12/31/2006Anti-ObjectsAgentSheets: End-User Programing (and Secret Lisp Success Story!)
12/27/2006Lambda terms as graphsQuotation and evaluation -- or, how pure is the pure lambda calculus?
10/10/2006QuantifiersA Very Modal Model of a Modern, Major, General Type System
10/03/2006What are access modifiers?Relationship between access modifiers and type
09/24/2006AOP is only successful inIs "post OO" just over?
09/18/2006Early programming languagesWhy Johnny can't code
09/03/2006Finite set typesSmall Value Set Types
09/03/2006RightConstant Values as Types
09/03/2006Singleton typesConstant Values as Types
07/28/2006QuestionGenerics as a Library
07/29/2006Expression ProblemGenerics as a Library
08/01/2006Parametricity in HaskellGenerics as a Library
07/25/2006Big TheoremsCost of provably-correct code
07/11/2006WeirdSocially Responsive, Environmentally Friendly Logic
06/27/2006Full abstraction in multi-language runtimesSecuring the .NET Programming Model
06/27/2006HolesSecuring the .NET Programming Model
06/30/2006Unexpected behaviorSecuring the .NET Programming Model
07/06/2006You're rightSecuring the .NET Programming Model
06/27/2006Unreal Engine 3 garbage collectionPetition for adding garbage collection to C++.
06/27/2006Tim SweeneyPetition for adding garbage collection to C++.
06/19/2006TensionVariance and Generalized Constraints for C# Generics
05/31/2006Excellent presentationThe Weird World of Bi-Directional Programming
05/04/2006Is this a political dissertation?A note on distributed computing
04/30/2006Neutral foldsFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem)
03/13/2006A real problem?Virtual Machines, Language Runtimes, and the Future of Objective C
03/13/2006YikesRich resource site for the programming language "K"
03/14/2006There are two things hereRich resource site for the programming language "K"
02/18/2006NoGilad Is Right
02/18/2006Names and slotsGilad Is Right
02/03/2006Garbage collectionThe Next Mainstream Programming Languages
02/03/2006Why virtual classes?The Next Mainstream Programming Languages
02/09/2006Tim's idea of adding moreThe Next Mainstream Programming Languages
01/31/2006InterestingNaked Objects
02/01/2006IntrospectionNaked Objects
02/02/2006The Subtyping PropertyNaked Objects
12/31/2005Same hack, new nameReturn of the Global Variables?
12/29/2005The essence of duck typingDuck typing vs Structural Subtyping
01/02/2006Extensional PolymorphismDuck typing vs Structural Subtyping
11/24/2005It's always great to see receGeneralized Algebraic Data Types and Object-Oriented Programming
10/31/2005partial evaluationThe Type-System-Feature-Creep Death Spiral
11/01/2005"Get rid of type declarations"The Type-System-Feature-Creep Death Spiral
10/07/2005Parallel OrLiterature on commutative lifted boolean operators
09/21/2005Good languages with simple grammarGood languages with simple grammar
09/19/2005RelationshipGarbage Collection as a Lazy Algorithm
09/13/2005Difficult to readDistributive laws for the Coinductive Solution of Recursive Equations
09/14/2005Aha.Distributive laws for the Coinductive Solution of Recursive Equations
08/16/2005Display ListsLarge imperative code --> functional
05/28/2005URLScrap your boilerplate with class: extensible generic functions
05/27/2005WowGenerics: The Importance of Wildcards
11/24/2005Thankfully, the full paper isAnyone remember Russell (the language, that is)?
09/08/2006Relying on librariesexpressivity of "idiomatic C++"
01/06/2005A major eventLinks (Wadler)
01/06/2005Why it mattersLinks (Wadler)
09/29/2004Monads in various languagesMonads in various languages
10/02/2004This problem appears to existMonads in various languages
09/22/2004Generalization?Fresh O'Caml
09/14/2004There must be a better wayGenerics for the masses
09/16/2004Re: There must be a better wayGenerics for the masses
09/07/2004Y, etc.Combining lazy and eager evaluation of terms
09/03/2004Templates = Lame Dependent TypesA Deeper Look At Metafunctions
09/10/2004rational bignums as the defaultApple Flunks First Grade Math
09/16/2004Good ideaAmazon Associates (+ other advertising)
09/17/2004Arrays are functions?Multidimensional arrays
08/26/2004ThoughtsImplementing Declarative Parallel Bottom-Avoiding Choice
08/26/2004List Monad vs AmbImplementing Declarative Parallel Bottom-Avoiding Choice
08/20/2004Failure as a first-class conceptError handling strategies
08/20/2004WheatError handling strategies
09/16/2004Why not more array languages?History: Array languages
06/12/2004Re: The view from the leftThe view from the left
06/17/2004Re: The view from the leftThe view from the left
05/31/2004Re: Nullable TypesNullable Types
02/23/2004Re: Python 'for' as Scheme 'let'Python 'for' as Scheme 'let'
02/23/2004Re: Python 'for' as Scheme 'let'Python 'for' as Scheme 'let'
02/21/2004Re: Finalization (CLR)Finalization (CLR)
10/28/2003Re: Longhorn Markup Language (code-namedLonghorn Markup Language (code-named "XAML") Overview
10/12/2003Re: Historic DocumentsHistoric Documents
10/04/2003Re: CLR Exception ModelCLR Exception Model
10/04/2003Re: CLR Exception ModelCLR Exception Model
09/14/2003Re: Wither SelfWhither Self
08/18/2003Re: Closures and mutabilityClosures and mutability
08/19/2003Re: Closures and mutabilityClosures and mutability
08/19/2003Re: Closures and mutabilityClosures and mutability
08/23/2003Re: Closures and mutabilityClosures and mutability
08/11/2003Re: Udell: Symbol grounding, XML, and RDFUdell: Symbol grounding, XML, and RDF
08/01/2003Re: Theorems for free!Theorems for free!
07/11/2003Re: Partial Types in C#Partial Types in C#
06/19/2003Re: Point Free StylePoint Free Style
06/13/2003Re: Sun, Zend push scripting for JavaSun, Zend push scripting for Java
05/19/2003Re: Using Memory Errors to Attack a Virtual MachineUsing Memory Errors to Attack a Virtual Machine
05/13/2003Re: Don Box on C# generics vs. C++ genericsDon Box on C# generics vs. C++ generics
05/19/2003Re: Don Box on C# generics vs. C++ genericsDon Box on C# generics vs. C++ generics
05/09/2003Re: The New C++: Trip Report, October 2002The New C++: Trip Report, October 2002
04/28/2003David McAllester's "Ontic" LanguageDavid McAllester's "Ontic" Language
04/22/2003Re: Python Metaclass ProgrammingPython Metaclass Programming
04/23/2003Re: Python Metaclass ProgrammingPython Metaclass Programming
04/24/2003Re: Python Metaclass ProgrammingPython Metaclass Programming
04/25/2003Re: Python Metaclass ProgrammingPython Metaclass Programming
04/28/2003Re: Python Metaclass ProgrammingPython Metaclass Programming
04/29/2003Re: Python Metaclass ProgrammingPython Metaclass Programming
05/02/2003Re: Python Metaclass ProgrammingPython Metaclass Programming
04/22/2003Re: Selectors Make Analysis of case-lambda Too HardSelectors Make Analysis of case-lambda Too Hard
04/11/2003Re: Hundred Year LanguageHundred Year Language
04/12/2003Re: Hundred Year LanguageHundred Year Language
04/04/2003Re: J. McCarthy: Towards a Mathematical Science of ComputationJ. McCarthy: Towards a Mathematical Science of Computation
03/31/2003Re: Book and Course in Constraint Programming and ReasoningBook and Course in Constraint Programming and Reasoning
04/01/2003Re: Book and Course in Constraint Programming and ReasoningBook and Course in Constraint Programming and Reasoning
03/03/2003Re: Call-by-name is dual to call-by-valueCall-by-name is dual to call-by-value
03/04/2003Re: Call-by-name is dual to call-by-valueCall-by-name is dual to call-by-value
02/13/2003Re: Paul Graham: Accumulator GeneratorPaul Graham: Accumulator Generator

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