Lambda the Ultimate Weblog Topics
Last Updated 02/04/2011

Posts By: genneth

  Date    Post    Topic  
09/27/2010Cf. EpigramOmega - Language of the Future
08/15/2009So quiet ...Observational Equality, Now!
11/19/2007StyleWhat are the properties of "Functional Programming Languages"?
09/18/2007The value of STM...Uniqueness Types Instead STM
09/12/2007HApps has a mini relational algebraQ: Modularizing SQL?
07/25/2007Stateful into statelessWrapping the Cloud with .NET
04/23/2007Finding the right level [OT: uses physics to make a point]Why is there not a PL with a mathematical type system?
04/24/2007But we don't need itWhy is there not a PL with a mathematical type system?
04/08/2007Any universally powerful programming language must either offerYesno
04/02/2007The usual caveats applyInteractivity considered harmful
04/12/2007Did anyone notice...Interactivity considered harmful
03/28/2007C++ parsing is *hard*LALR grammar of C++
03/30/2007C++ parsing is always going to involve evaluationLALR grammar of C++
01/24/20081 + X + X^2 + X^3 + ... ==Derivatives and dissections of data types
01/26/2008ZeilbergerDerivatives and dissections of data types
12/22/2006Interesting...Misc items
12/21/2006Djinn(Even more) theorems for free?
11/24/2006Proofs that do thingsProofs that do things
11/28/2006Yoneda lemmaProofs that do things
11/02/2006Not just sequencing...Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!!
10/23/2006Transactions?Clorox - AJAX shared memory
10/16/2006One more thing...Good Ideas, Through the Looking Glass
09/04/2006Yes...Small Value Set Types
07/01/2006Dear sirAmusing question
06/27/2006And that's why...Petition for adding garbage collection to C++.
06/27/2006ExactlyPetition for adding garbage collection to C++.
06/05/2006Try it...What is covariant signature transformation?
06/03/2006Kolmogorov operationRelevance of Curry-Howard
05/20/2006Why can't I have infinite lists?Question about Lazy-ness and algorithmic runtime analysis
05/02/2006Ahh...What do you believe about Programming Languages (that you can't prove (yet))?
04/20/2006HAppSE Thesis: Robust Composition
04/13/2006System F with Type Equality CoercionsSystem F with Type Equality Coercions
04/13/2006Doh!System F with Type Equality Coercions
04/04/2006ST monad in Haskellany functional language without GC?
04/04/2006Or...Purity in PLT
04/13/2006Lazyfoldl and foldr
03/30/2006I know I want more STM in my applicationsTransactional Memory with data invariants (draft sequel to the STM-Haskell paper)
04/01/2006Heroic efforts in CTransactional Memory with data invariants (draft sequel to the STM-Haskell paper)
03/29/2006A Contination in name only...Google Reader and "continuations"
02/06/2006Can't seem to work out how to comment...Lambda the Ultimate Set Comprehension
12/30/2005Gotta pick topics so people can understandJoel Spolsky views on CS education
12/30/2005What about both?Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism
10/12/2006But they're not...Tradeoffs between Unique Types and Monads
12/01/2005Why is this not more wide spread?Lock-Free Data Structures using STMs in Haskell
11/10/2005Java's types aren't even close to real typesBattling Bugs: A Digital Quagmire
11/03/2005OMGGeometric Algebra
11/03/2005Been there...Geometric Algebra
10/24/2005Why sed?Linear types for aliased resources
12/19/2005Eightball says...Bruce Tate: Technologies that may challenge Java
10/15/2005Could be interestingTerritorial Exception Handling
10/17/2005Orthogonal issue:Territorial Exception Handling
10/15/2005Something that bothers me about OR mappingsFormal methods for O/R mapping
10/17/2005A symptom?Formal methods for O/R mapping
10/17/2005Let me feed this back to youFormal methods for O/R mapping
08/19/2007Better data typesFormal methods for O/R mapping
10/07/2005Mongolian HordesScalability
10/07/2005I *heart* HaskellDBScalability
10/07/2005I like it tooScalability
10/07/2005My personal reasonsScalability
10/07/2005I think I missed my own point...Scalability
10/07/2005Absolutely notScalability
10/15/2005STM?Asynchronous Exceptions in Haskell
08/03/2005Then why hobble the generics?More on the "generics are evil" meme
07/28/2005AnotherA software engineering problem: how would functional programming solve it?
07/21/2005I don't think that's what they're talking aboutOn the Revival of Dynamic Languages
07/21/2005What counts as generation?Grady Booch: Software Engineering Grand Challenges
07/06/2005Not in this caseThe design of C++0x
06/29/2005Ah, the ironyFunctions as Classes: Which languages?
06/19/2005wrong languageEmbedded Languages in Java
07/01/2005PythonEmbedded Languages in Java
04/29/2005I'll play the pedant game....Memory fault and segmentation faults
04/28/2005PreprocessorWhy do they program in C++?
04/28/2005Templates to the rescue!expressivity of "idiomatic C++"

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive

Chris Rathman/