Posts By: Daniel Slaney
| Date | Post | Topic |
| 12/11/2007 | MSP | A Growable Language Manifesto |
| 09/25/2007 | They are similar | Uniqueness Types Instead STM |
| 09/27/2007 | There seems to be more than | Uniqueness Types Instead STM |
| 08/04/2007 | Interesting | The Karmasphere DP language |
| 05/19/2007 | Multi-Stage Programming (MSP) | Sun's new JavaFX Script language |
| 03/10/2007 | Planner? | How do you call such a design pattern |
| 01/08/2007 | Eta-expansion of abstractions outside the lambda-calculus | Eta-expansion of abstractions outside the lambda-calculus |
| 01/08/2007 | Let me see if I have this right... | Eta-expansion of abstractions outside the lambda-calculus |
| 01/09/2007 | Thanks again. | Eta-expansion of abstractions outside the lambda-calculus |
| 01/06/2007 | AOP? | Charming Python: Decorators make magic easy |
| 12/31/2006 | Antiobjects ~= Fields? | AgentSheets: End-User Programing (and Secret Lisp Success Story!) |
| 12/16/2006 | I thought a similar thing | Practical Type Inference Based on Success Typings |
| 01/02/2007 | Intersection Types? | Practical Type Inference Based on Success Typings |
| 12/16/2006 | If you don't have a special | Java Open Review Project |
| 11/27/2006 | Partial Evaluation | Request for feedback: hobbyist post on "the significance of the meta-circular interpreter." |
| 11/13/2006 | Nominal vs. Structural | Functional programming and software engineering |
| 09/28/2006 | "intuition comes from | Machine Obstructed Proof |
| 09/12/2006 | IDEs | Dynamic Languages Symposium Program Online |
| 08/03/2006 | Isn't this called (object) slicing? | Covariance and typing |
| 08/03/2006 | I should have been more explicit. | Covariance and typing |
| 08/04/2006 | It is possible in Java and | Covariance and typing |
| 08/04/2006 | So it's not slicing, it's | Covariance and typing |
| 08/05/2006 | I agree, to agree to disagree. | Covariance and typing |
| 07/21/2006 | OO tends toward graphs not trees. | Revealing the X/O impedance mismatch |
| 07/21/2006 | You're right, tendng towards | Revealing the X/O impedance mismatch |
| 06/22/2006 | They wouldn't complain about | What are the real benefits of FP? |
| 06/22/2006 | You may well have point about AI | What are the real benefits of FP? |
| 05/24/2006 | Microthreading for mobile code on Mono | Continuations and MicroThreads on Mono |
| 05/04/2006 | VS, Eclipse and CrimsonEditor | Your favourite editor/IDE |
| 05/03/2006 | I believe... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/04/2006 | Here's a good place to look | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/04/2006 | I'm not working on Parrot | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/25/2006 | Lists for computers, either conceptually. | The fundamental difference between Sets and Lists? |
| 02/02/2006 | Good points... | The Next Mainstream Programming Languages |
| 07/24/2006 | We were using A* for path | The Next Mainstream Programming Languages |
| 07/28/2006 | 20-30% in our case if memory | The Next Mainstream Programming Languages |
| 01/13/2006 | P.E. is pretty tricky to do properly* ... | New for Python 2.5 |
| 06/07/2006 | Like Eiffel's feature { X } ? | Return of the Global Variables? |
| 12/01/2005 | Citeseer | Conjunction types |
| 11/02/2005 | Curry/Howard and Disjunction | Curry/Howard and Disjunction |
| 09/23/2005 | Intuitive is a predicate with | What is Intuitive? |
| 08/05/2005 | Sea, Islands | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 07/20/2005 | Programming Systems | Grady Booch: Software Engineering Grand Challenges |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |