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