Posts By: Brandon Niemczyk
| Date | Post | Topic |
| 07/23/2010 | Even in the commercial | The Future of C# |
| 07/28/2010 | Technically yes | The Future of C# |
| 07/20/2010 | How much is F# influenced by | The Future of C# |
| 07/22/2010 | Confessions of a Used Programming Language Salesman | The Future of C# |
| 04/25/2010 | I take issue with a few of | SEC interested in formalising contracts ... in Python |
| 04/26/2010 | I have taught Haskell. I | SEC interested in formalising contracts ... in Python |
| 04/26/2010 | I would say it's because | SEC interested in formalising contracts ... in Python |
| 05/06/2010 | I actually read this as a | SEC interested in formalising contracts ... in Python |
| 05/06/2010 | 2 abstraction layers | SEC interested in formalising contracts ... in Python |
| 04/13/2010 | broken - iPhone PL lockdown | broken - iPhone PL lockdown |
| 04/13/2010 | Oops | broken - iPhone PL lockdown |
| 04/09/2010 | From the paper: Many signs | splitting the program into formalizable vs. non-formalizable parts? |
| 04/14/2010 | whether a given proposition | Specifying Solvers? |
| 04/01/2010 | What? | Go's proposed panic/recover exception-like mechanism |
| 04/03/2010 | I find it very difficult in | Go's proposed panic/recover exception-like mechanism |
| 03/23/2010 | Curry Howard and more powerful type systems | Curry Howard and more powerful type systems |
| 03/23/2010 | OK, I'm pretty sure I am | Curry Howard and more powerful type systems |
| 03/23/2010 | Thanks for the book | Curry Howard and more powerful type systems |
| 03/16/2010 | Since I don't believe in | Have tracing JIT compilers won? |
| 03/05/2010 | LtU has taught me more than PLT | a "thank you" to You |
| 01/26/2010 | I'm pretty confident is not proof | Historical or sociological studies of programming language evolution? |
| 08/27/2009 | I think that quote describes | Categories, the homemade object system |
| 08/28/2009 | Maybe I misused the word | Categories, the homemade object system |
| 08/31/2008 | What makes backreferences impossible in a DFA regular expressions evaluator? | What makes backreferences impossible in a DFA regular expressions evaluator? |
| 09/01/2008 | No, I cannot. Too many | What makes backreferences impossible in a DFA regular expressions evaluator? |
| 09/02/2008 | This was a mixup of | What makes backreferences impossible in a DFA regular expressions evaluator? |
| 04/20/2010 | sax | Static Typing Where Possible, Dynamic Typing When Needed |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |