Posts By: Noam
| Date | Post | Topic |
| 05/02/2010 | "Church v. Curry" considered misleading...and intersection types | Typed Lambda Calculus |
| 12/18/2009 | Why not mix? | An Innocent Model of Linear Logic |
| 12/19/2009 | Re: Designs | An Innocent Model of Linear Logic |
| 12/15/2009 | Game semantics for games | Claiming Infinity |
| 12/15/2009 | computing with the Dedekind reals | Claiming Infinity |
| 12/16/2009 | The problem is that the | Claiming Infinity |
| 10/23/2009 | Thanks for the publicity. | Have your AHOS and eat HOAS too! |
| 10/12/2009 | Perhaps what you are after | Algorithms for inferring most specific types? |
| 10/04/2009 | this is a great precedent. | ICFP 2009 videos |
| 05/01/2009 | self-interpreter | Looking for list of programming problems to thoroughly test a language |
| 01/06/2009 | I think namin meant to write | "Determinism" of types? |
| 01/06/2009 | Yes | "Determinism" of types? |
| 12/23/2008 | "Representing monads" | Functional Pearl: Type-safe pattern combinators |
| 12/14/2008 | There isn't much a type | Fundamental Flaws in Current Programming Language Type Systems |
| 11/20/2008 | Guy Steele gave an | Current "hot" topics in parallel programming? |
| 10/26/2008 | The flip side is that if you | Summary of Dependently Typed Systems? |
| 10/26/2008 | In contrast, serious | Summary of Dependently Typed Systems? |
| 10/26/2008 | thanks for the background | Summary of Dependently Typed Systems? |
| 10/26/2008 | I was being hyperbolic, | Summary of Dependently Typed Systems? |
| 06/02/2008 | type soundness | Dead-end theorems |
| 06/02/2008 | Sorry, I was confused by | Dead-end theorems |
| 03/12/2007 | I believe the answer to your | Expressing Heap-shape Contracts in Linear Logic |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |