Posts By: Kimberley Burchett
Date | Post | Topic |
02/16/2007 | Exactly | Lowering: A Static Optimization Technique for Transparent Functional Reactivity |
02/16/2007 | There are several advantages | Lowering: A Static Optimization Technique for Transparent Functional Reactivity |
02/16/2007 | Stateful nodes | Lowering: A Static Optimization Technique for Transparent Functional Reactivity |
02/12/2007 | STM | Almost everything happened in the Golden Age, right? |
01/19/2007 | Related to the Non-Standard Interpretation paper | Annotated POPL 2007 Program |
06/09/2006 | Deleting posts? | LtU: blog not forum! |
05/29/2006 | That's a union type | First Class Values, Types as values within a Programming Language |
05/05/2006 | Isomorphisms, constraints, and nouns | What do you believe about Programming Languages (that you can't prove (yet))? |
05/06/2006 | visualization, search engines, stream processing | What do you believe about Programming Languages (that you can't prove (yet))? |
05/07/2006 | Pi calculus? | What do you believe about Programming Languages (that you can't prove (yet))? |
12/14/2005 | Can it require that all arguments are used? | Djinn, a theorem prover in Haskell, for Haskell. |
11/29/2005 | Oz, Scheme | Getting started in language design -- reading material? |
11/29/2005 | Epigram | Getting started in language design -- reading material? |
11/01/2005 | Notation | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
09/09/2005 | Try these | Haskell and creative freedom |
09/09/2005 | Reasoning at the level of text | Haskell and creative freedom |
08/11/2004 | Section 10 | Scrap more boilerplate |
07/12/2004 | Broken link? | Richard Feynman and the Connection Machine |
01/20/2004 | Re: Processing: A language for visual arts | Processing: A language for visual arts |
11/11/2003 | Re: LL3 Webcast | LL3 Webcast |
11/03/2003 | Re: Nonalgorithmic programming | Nonalgorithmic programming |
10/23/2003 | Re: Expressiveness versus execution speed | Expressiveness versus execution speed |
10/22/2003 | Re: Concurrency-oriented programming | Concurrency-oriented programming |
10/19/2003 | Re: Advanced Functional Programming wiki @ Harvard | Advanced Functional Programming wiki @ Harvard |
10/14/2003 | Re: Spreadsheet Languages | Spreadsheet Languages |
08/12/2003 | N3 -- a notation for writing RDF | N3 -- a notation for writing RDF |
08/05/2003 | Re: Calling LtU editors | Calling LtU editors |
07/11/2003 | Re: Mug Shots | Mug Shots |
06/04/2003 | Continuations as UI elements | Continuations as UI elements |
06/02/2003 | Re: Shrink-wrap developers: what programming language? | Shrink-wrap developers: what programming language? |
06/03/2003 | Re: Shrink-wrap developers: what programming language? | Shrink-wrap developers: what programming language? |
05/28/2003 | Erlang is Icky | Erlang is Icky |
05/29/2003 | Re: Erlang is Icky | Erlang is Icky |
05/26/2003 | Re: Naked Objects | Naked Objects |
05/26/2003 | Re: Naked Objects | Naked Objects |
05/26/2003 | Re: Coroutines in C | Coroutines in C |
05/23/2003 | Re: Site speed | Site speed |
05/23/2003 | Re: Tim Bray: The History of RDF | Tim Bray: The History of RDF |
05/15/2003 | Re: What I Hate About Your Programming Language | What I Hate About Your Programming Language |
05/12/2003 | Re: Language Myths Again | Language Myths Again |
05/13/2003 | Re: Language Myths Again | Language Myths Again |
05/14/2003 | Re: Language Myths Again | Language Myths Again |
05/14/2003 | Re: Language Myths Again | Language Myths Again |
05/15/2003 | Re: Language Myths Again | Language Myths Again |
05/11/2003 | Re: Joshua Bloch interview on new features in Java 1.5 | Joshua Bloch interview on new features in Java 1.5 |
05/10/2003 | Java 1.5 New Features | Java 1.5 New Features |
05/10/2003 | Re: Tim Bray: Language fermentation | Tim Bray: Language fermentation |
05/09/2003 | Re: The New C++: Trip Report, October 2002 | The New C++: Trip Report, October 2002 |
05/02/2003 | Re: FindBugs - A Bug Pattern Detector for Java | FindBugs - A Bug Pattern Detector for Java |
05/02/2003 | Re: FindBugs - A Bug Pattern Detector for Java | FindBugs - A Bug Pattern Detector for Java |
05/02/2003 | Re: FindBugs - A Bug Pattern Detector for Java | FindBugs - A Bug Pattern Detector for Java |
04/27/2003 | Re: Python Metaclass Programming | Python Metaclass Programming |
04/22/2003 | Re: Lojban | Lojban |
04/22/2003 | Re: Lojban | Lojban |
04/16/2003 | ACCU Spring Conference | ACCU Spring Conference |
04/14/2003 | More weblogs to read | More weblogs to read |
04/18/2003 | Re: More weblogs to read | More weblogs to read |
04/12/2003 | Re: Hundred Year Language | Hundred Year Language |
04/13/2003 | Re: Hundred Year Language | Hundred Year Language |
04/08/2003 | Re: DPROG | DPROG |
03/26/2003 | Re: Environment, scripting, and behavior | Environment, scripting, and behavior |
02/19/2003 | Re: Open Implementations and Metaobject Protocols | Open Implementations and Metaobject Protocols |
01/03/2003 | Vault released | Vault released |
12/06/2002 | Re: New proposed features for Java 1.5 | New proposed features for Java 1.5 |
11/11/2002 | Re: Water : A new OO, Dynamic, and Secure Language for Web Services and XML | Water : A new OO, Dynamic, and Secure Language for Web Services and XML |
11/12/2002 | Re: Water : A new OO, Dynamic, and Secure Language for Web Services and XML | Water : A new OO, Dynamic, and Secure Language for Web Services and XML |
11/11/2002 | Re: LL2 Webcast | LL2 Webcast |
10/16/2002 | Re: Robert Harper: Types and Programming Languages | Robert Harper: Types and Programming Languages |
10/16/2002 | Re: Robert Harper: Types and Programming Languages | Robert Harper: Types and Programming Languages |
09/23/2002 | Re: Michael Vanier: LFM's and LFSP's | Michael Vanier: LFM's and LFSP's |
05/21/2003 | Re: Revisiting an old thread: choosing a foundation language | Revisiting 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 |