Posts By: nat
| Date | Post | Topic |
| 09/23/2009 | Maybe Erik Meijer doesn't know where Mock Objects came from | JVM language summit 2009 |
| 10/04/2006 | For all it's many faults, | call by ? and mental models |
| 09/17/2006 | An interesting read | AppleScript - a story worth telling |
| 09/18/2006 | User interface designer?!?!? | "Language Oriented Programming" Meta Programming System |
| 07/14/2006 | I'd have thought that | A Core Calculus for Scala Type Checking |
| 06/20/2006 | Or typedefs | Variance and Generalized Constraints for C# Generics |
| 06/16/2006 | OOP was originally multiparadigm | The OO barrier |
| 06/20/2006 | Smalltalk doesn't work that way. | The OO barrier |
| 06/14/2006 | HLVM - High Level Virtual Machine toolkit for dynamic languages | HLVM - High Level Virtual Machine toolkit for dynamic languages |
| 06/02/2006 | When the type system is | Relevance of Curry-Howard |
| 06/04/2006 | Isn't that the wrong way round? | Relevance of Curry-Howard |
| 06/06/2006 | I think we're talking past each other. | Relevance of Curry-Howard |
| 06/08/2006 | I guess we're in violent agreement | Relevance of Curry-Howard |
| 06/08/2006 | Exactly | Relevance of Curry-Howard |
| 06/01/2006 | No technology will make | Timor: adding "qualifying" and "attribute" types to the OO realm. |
| 06/02/2006 | Sure, you can apply some | Timor: adding "qualifying" and "attribute" types to the OO realm. |
| 06/02/2006 | In this case, I think so. | Timor: adding "qualifying" and "attribute" types to the OO realm. |
| 05/26/2006 | Neither are particularly interesting, but their differences are | ruby vs python |
| 04/11/2006 | It also has special syntax for LINQ | Functional Programming Has Reached The Masses; It's Called Visual Basic |
| 04/10/2006 | Aren't exception handlers | Flexible Exception Handling (in Smalltalk) |
| 04/10/2006 | More interesting news from GvR | Python 2.5a1 released |
| 04/06/2006 | A public API can be called | public vs. published interfaces |
| 04/11/2006 | That's true, but because | public vs. published interfaces |
| 03/28/2006 | Have a look at Slate | Message Passing vs. Multi-Methods; Mixing the two? |
| 03/27/2006 | Just because the element is | Google Reader and "continuations" |
| 03/21/2006 | I think you're missing the point of patterns | Design Patterns as Higher-Order Datatype-Generic Programs. |
| 03/24/2006 | "Code that was hard to write | The Problem With Parsing - an essay |
| 03/24/2006 | Any programmer who uses | The Problem With Parsing - an essay |
| 03/21/2006 | Copy, paste and edit a bit | Programming: 50, 100 years from now |
| 03/22/2006 | I guess I want more than | Programming: 50, 100 years from now |
| 03/23/2006 | I'm sure that the | Programming: 50, 100 years from now |
| 03/23/2006 | That sounds fantastic! You | Programming: 50, 100 years from now |
| 03/23/2006 | Well, it's very early days | Programming: 50, 100 years from now |
| 03/22/2006 | Why bother with artificial | Programming: 50, 100 years from now |
| 03/29/2006 | People have been saying this | Programming: 50, 100 years from now |
| 04/03/2006 | Ruby on Rails is not far from that | Programming: 50, 100 years from now |
| 02/27/2006 | Not at all. | Leak Free Javascript Closures |
| 02/28/2006 | I share a little of your | Leak Free Javascript Closures |
| 02/22/2006 | Who's in control? | Gilad Is Right |
| 02/23/2006 | Gilad Is Right | Gilad Is Right |
| 02/28/2006 | The only way a computer | Gilad Is Right |
| 03/01/2006 | Type systems let us reason | Gilad Is Right |
| 02/20/2006 | That looks like the kind of | Accidental Syntax |
| 02/08/2006 | It turns out that | Programming Languages: Application and Interpretation |
| 02/14/2006 | Good point. That damned | Programming Languages: Application and Interpretation |
| 02/07/2006 | There's a lot of truth in | eWeek: 'Exotic' Programming Tools Go Mainstream |
| 01/31/2006 | It's nice to see theory | Naked Objects |
| 01/20/2006 | Smalltalk syntax is genius! | Lisp is sin |
| 01/20/2006 | Most Smalltalk programmers do | Lisp is sin |
| 01/20/2006 | That's a real shame, unless i | New for Python 2.5 |
| 01/20/2006 | It's easy to be sarcastic whe | New for Python 2.5 |
| 01/10/2006 | Singleton means two things... | Singleton classes really that bad? |
| 01/14/2006 | I understood that as his mean | Return of the Global Variables? |
| 12/08/2005 | What? | Envisioning a New Language: A Conversation With Victoria Livschitz |
| 12/08/2005 | Or Mozart/Oz | Envisioning a New Language: A Conversation With Victoria Livschitz |
| 11/10/2005 | What good is a program as proof? | Putting Curry-Howard to Work |
| 11/11/2005 | And delivering the software t | Putting Curry-Howard to Work |
| 11/07/2005 | Higher Order Messaging is not Higher Order Functions | Implementing Higher Order Messages |
| 11/07/2005 | It's Marcel Weiher's idea and name, not mine | Implementing Higher Order Messages |
| 10/03/2005 | Well said! | Invokedynamic |
| 09/25/2005 | There's no contradiction betw | Ruby: Language of the Programming Übermensch? |
| 09/22/2005 | Refactoring? | Visual Haskell |
| 08/23/2005 | Perhaps not completely related but... | Should Computer Science Get Rid of Protocols? |
| 07/11/2005 | Patterns and Language Design... same thing? | Language Workbenches: The Killer-App for Domain Specific Languages? |
| 07/12/2005 | Steve and I are writing it up | Embedded Languages in Java |
| 07/12/2005 | Political vs Technical? | Embedded Languages in Java |
| 06/22/2005 | We presented on this topic at SPA'05 and will at JAOO | Embedded Languages in Java |
| 07/11/2005 | Slides for this talk | Embedded Languages in Java |
| 06/30/2006 | Generating Soduku is more interesting than solving | Sudoku |
| 05/26/2005 | SableCC | DSL Error Handling in an Object Oriented context |
| 05/27/2005 | As abstract as you want to make it | DSL Error Handling in an Object Oriented context |
| 05/16/2005 | Halting problem? | Advanced Types in Qi |
| 05/16/2005 | Actually, that only overly constrains implementation | Call for Papers: ACM Symposium on Dynamic Languages |
| 08/19/2004 | Psychology of Computer Programming | New Paul Graham thing... |
| 07/16/2004 | Trickery | Explaining monads |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |