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

Posts By: Kimberley Burchett

  Date    Post    Topic  
02/16/2007ExactlyLowering: A Static Optimization Technique for Transparent Functional Reactivity
02/16/2007There are several advantagesLowering: A Static Optimization Technique for Transparent Functional Reactivity
02/16/2007Stateful nodesLowering: A Static Optimization Technique for Transparent Functional Reactivity
02/12/2007STMAlmost everything happened in the Golden Age, right?
01/19/2007Related to the Non-Standard Interpretation paperAnnotated POPL 2007 Program
06/09/2006Deleting posts?LtU: blog not forum!
05/29/2006That's a union typeFirst Class Values, Types as values within a Programming Language
05/05/2006Isomorphisms, constraints, and nounsWhat do you believe about Programming Languages (that you can't prove (yet))?
05/06/2006visualization, search engines, stream processingWhat do you believe about Programming Languages (that you can't prove (yet))?
05/07/2006Pi calculus?What do you believe about Programming Languages (that you can't prove (yet))?
12/14/2005Can it require that all arguments are used?Djinn, a theorem prover in Haskell, for Haskell.
11/29/2005Oz, SchemeGetting started in language design -- reading material?
11/29/2005EpigramGetting started in language design -- reading material?
11/01/2005NotationJust What is it that Makes Martin-Lof's Type Theory so Different, so Appealing?
09/09/2005Try theseHaskell and creative freedom
09/09/2005Reasoning at the level of textHaskell and creative freedom
08/11/2004Section 10Scrap more boilerplate
07/12/2004Broken link?Richard Feynman and the Connection Machine
01/20/2004Re: Processing: A language for visual artsProcessing: A language for visual arts
11/11/2003Re: LL3 WebcastLL3 Webcast
11/03/2003Re: Nonalgorithmic programmingNonalgorithmic programming
10/23/2003Re: Expressiveness versus execution speedExpressiveness versus execution speed
10/22/2003Re: Concurrency-oriented programmingConcurrency-oriented programming
10/19/2003Re: Advanced Functional Programming wiki @ HarvardAdvanced Functional Programming wiki @ Harvard
10/14/2003Re: Spreadsheet LanguagesSpreadsheet Languages
08/12/2003N3 -- a notation for writing RDFN3 -- a notation for writing RDF
08/05/2003Re: Calling LtU editorsCalling LtU editors
07/11/2003Re: Mug ShotsMug Shots
06/04/2003Continuations as UI elementsContinuations as UI elements
06/02/2003Re: Shrink-wrap developers: what programming language?Shrink-wrap developers: what programming language?
06/03/2003Re: Shrink-wrap developers: what programming language?Shrink-wrap developers: what programming language?
05/28/2003Erlang is IckyErlang is Icky
05/29/2003Re: Erlang is IckyErlang is Icky
05/26/2003Re: Naked ObjectsNaked Objects
05/26/2003Re: Naked ObjectsNaked Objects
05/26/2003Re: Coroutines in CCoroutines in C
05/23/2003Re: Site speedSite speed
05/23/2003Re: Tim Bray: The History of RDFTim Bray: The History of RDF
05/15/2003Re: What I Hate About Your Programming LanguageWhat I Hate About Your Programming Language
05/12/2003Re: Language Myths AgainLanguage Myths Again
05/13/2003Re: Language Myths AgainLanguage Myths Again
05/14/2003Re: Language Myths AgainLanguage Myths Again
05/14/2003Re: Language Myths AgainLanguage Myths Again
05/15/2003Re: Language Myths AgainLanguage Myths Again
05/11/2003Re: Joshua Bloch interview on new features in Java 1.5Joshua Bloch interview on new features in Java 1.5
05/10/2003Java 1.5 New FeaturesJava 1.5 New Features
05/10/2003Re: Tim Bray: Language fermentationTim Bray: Language fermentation
05/09/2003Re: The New C++: Trip Report, October 2002The New C++: Trip Report, October 2002
05/02/2003Re: FindBugs - A Bug Pattern Detector for JavaFindBugs - A Bug Pattern Detector for Java
05/02/2003Re: FindBugs - A Bug Pattern Detector for JavaFindBugs - A Bug Pattern Detector for Java
05/02/2003Re: FindBugs - A Bug Pattern Detector for JavaFindBugs - A Bug Pattern Detector for Java
04/27/2003Re: Python Metaclass ProgrammingPython Metaclass Programming
04/22/2003Re: LojbanLojban
04/22/2003Re: LojbanLojban
04/16/2003ACCU Spring ConferenceACCU Spring Conference
04/14/2003More weblogs to readMore weblogs to read
04/18/2003Re: More weblogs to readMore weblogs to read
04/12/2003Re: Hundred Year LanguageHundred Year Language
04/13/2003Re: Hundred Year LanguageHundred Year Language
04/08/2003Re: DPROGDPROG
03/26/2003Re: Environment, scripting, and behaviorEnvironment, scripting, and behavior
02/19/2003Re: Open Implementations and Metaobject ProtocolsOpen Implementations and Metaobject Protocols
01/03/2003Vault releasedVault released
12/06/2002Re: New proposed features for Java 1.5New proposed features for Java 1.5
11/11/2002Re: Water : A new OO, Dynamic, and Secure Language for Web Services and XMLWater : A new OO, Dynamic, and Secure Language for Web Services and XML
11/12/2002Re: Water : A new OO, Dynamic, and Secure Language for Web Services and XMLWater : A new OO, Dynamic, and Secure Language for Web Services and XML
11/11/2002Re: LL2 WebcastLL2 Webcast
10/16/2002Re: Robert Harper: Types and Programming LanguagesRobert Harper: Types and Programming Languages
10/16/2002Re: Robert Harper: Types and Programming LanguagesRobert Harper: Types and Programming Languages
09/23/2002Re: Michael Vanier: LFM's and LFSP'sMichael Vanier: LFM's and LFSP's
05/21/2003Re: Revisiting an old thread: choosing a foundation languageRevisiting an old thread: choosing a foundation 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