Posts By: Rich Dougherty
| Date | Post | Topic |
| 10/10/2011 | Probably not | Google's Dart announced |
| 01/13/2010 | Self-modifying code | Verified Just-In-Time Compiler on x86 |
| 01/09/2010 | Pierce's Software Foundations course | Certified Programming With Dependent Types Goes Beta |
| 11/11/2009 | Language Design FAQ | Go or Unladen Swallow? |
| 11/09/2008 | Good tutorial | A tutorial on implemeting type inference? |
| 07/28/2008 | Thanks | Happy Birthday, dear Lambda! |
| 05/08/2008 | Links? | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 04/30/2009 | Working link | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 09/20/2005 | RPC vs Object/XML-mapping problems | RPC Under Fire |
| 09/20/2005 | Different... | RPC Under Fire |
| 08/16/2005 | Comparison resource | Syntax Design |
| 06/21/2005 | Illustration | Embedded Languages in Java |
| 06/08/2005 | Assumed knowledge | Data locality and data structures |
| 06/08/2005 | GNUStep | What will Apple's move to Intel mean for Alternative Language Communities? |
| 06/09/2005 | Languages playing nice | What will Apple's move to Intel mean for Alternative Language Communities? |
| 02/11/2009 | Link changed | From shift and reset to polarized linear logic |
| 04/28/2005 | Definitions | Memory fault and segmentation faults |
| 04/20/2005 | I love this comment | Jhc |
| 03/04/2005 | It is intended to complement other courses | Building a Modern Computer From First Principles |
| 12/22/2003 | Re: Twisted Matrix Networking for Python | Twisted Matrix Networking for Python |
| 08/18/2003 | Re: The Trouble with Checked Exceptions | The Trouble with Checked Exceptions |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |