Posts By: andrew johnson
| Date | Post | Topic |
| 05/01/2010 | Pure Languages = Immutable Data | Any research on garbage collection for a pure langauge? |
| 04/20/2010 | Not sure if this | Seeking thoughtful criticisms of functional programming and languages |
| 03/17/2010 | determining subsumption of regular languages | determining subsumption of regular languages |
| 03/18/2010 | Nontrivial patterns | determining subsumption of regular languages |
| 10/27/2009 | What is a Type? | What is a Type? |
| 10/28/2009 | Thanks | What is a Type? |
| 10/23/2009 | clarification | Languages and systems for edge-computing? |
| 09/29/2009 | dependent types would be nice | How to respect language styles while translating? |
| 09/06/2009 | Calculus of Constructions | Logic operations on types |
| 08/30/2009 | wikipedia | Computer Science/Mathematical Notations |
| 08/17/2009 | this kindof seems like | Categories, the homemade object system |
| 08/30/2009 | My interpretation | Categories, the homemade object system |
| 08/31/2009 | two different goals | Categories, the homemade object system |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |