Posts By: JamesLitsios
Date | Post | Topic |
01/15/2011 | This is about education: selling Fortress & higher abstraction! | guy steele on how (not) to think of parallel programming |
01/12/2011 | The "big recursive knot" issue | The AST Typing Problem |
06/10/2009 | Missing the point | The Myth of the Genius Programmer |
01/05/2007 | Are Frames and Slots anything more that OO with a different name? | Are Frames and Slots anything more that OO with a different name? |
12/15/2006 | Duality between narrowing versus widening type inference algos | Practical Type Inference Based on Success Typings |
12/09/2006 | The worry about finding the functional developers | Commercial Users of Functional Programming 2006 |
12/06/2006 | conditions should be composable | "Folding"/FP traversal over trees |
07/13/2006 | Formal framework for virtual machine | Writing an interpreter, targeting a VM or writing from scratch? |
06/13/2006 | Generative and Transformational Techniques | Generative and Transformational Techniques |
04/28/2006 | Could it be that it allows both representation simultaneously | A Language-Based Approach to Unifying Events and Threads |
04/25/2006 | The way development should be? | Deconstructing Process Isolation |
01/04/2006 | low correlation of dataflow languages versus architecture | Dataflow languages and hardware - current status and directions |
10/19/2005 | Will C# take a more functional flavor | Commercial Users of Functional Programming (CUFP) |
10/10/2005 | Formal methods used in developing "profitable" software | Formal methods used in developing "profitable" software |
10/18/2005 | CUFP: Commercial Users of Functional Programming | Formal methods used in developing "profitable" software |
02/24/2005 | DSL should target specific problems so there is little reading | Designing and Implementing DSL languages: recommended reading? |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |