Posts By: Tegiri Nenashi
Date | Post | Topic |
02/07/2012 | Types are obsolete? | The Algebra of Data, and the Calculus of Mutation |
02/15/2012 | A footnote | The Algebra of Data, and the Calculus of Mutation |
01/25/2012 | Context Free Art | Graphics primitives? |
11/08/2011 | Quantification | Foundations of Inference |
11/08/2011 | Representing Syntax trivia in the parse tree? | Microsoft Roslyn Project whitepaper |
12/01/2010 | Shared many sentiments | Pure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010 |
12/02/2010 | I'm aware of this paper, | Pure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010 |
07/01/2010 | Logic programming based GUI framework | Logic programming based GUI framework |
07/02/2010 | Constraints are more general than hierarchy | Logic programming based GUI framework |
07/02/2010 | No explicit naming | Logic programming based GUI framework |
07/02/2010 | Explicit vs. Implicit contraints | Logic programming based GUI framework |
05/04/2010 | The problem is theory, and not implementation | Guppy: trying to make parsing simple, fun, and powerful |
03/04/2010 | Doubts | functional equivalance? |
02/25/2010 | UML | Can a Biologist Fix a Radio? |
02/25/2010 | Well, there is no google | Can a Biologist Fix a Radio? |
05/26/2010 | Physics vs. Computer Science | plt vs. something else for programming in the large? |
02/04/2010 | Algebraic vs. Coalgebraic methods | Algebraic vs. Coalgebraic methods |
02/03/2010 | Cartesian product of predicates | Formal treatments (or examples of) of "function concatenation"? |
01/08/2010 | Not convinced | Simplicial Databases |
12/01/2009 | Top rated programming conferences? | Top rated programming conferences? |
12/01/2009 | Regarding "try to get people | Top rated programming conferences? |
12/02/2009 | Relational Programming Language | Top rated programming conferences? |
12/03/2009 | So, does LINQ suggest a | Top rated programming conferences? |
12/03/2009 | SKYLINE operator is exotic | Top rated programming conferences? |
12/03/2009 | Tutorial D vs. LINQ | Top rated programming conferences? |
03/18/2010 | Alternative theory of classificaton | Types vs classes: what is the difference? |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |