Posts By: Kalani
| Date | Post | Topic |
| 07/06/2012 | Not to mention the sub-Turing | Why languages and not systems? |
| 05/10/2012 | Recursive types | Proofs as programs |
| 05/29/2012 | Going to war with General Recursion | Proofs as programs |
| 02/03/2012 | Thanks for the plug | The Algebra of Data, and the Calculus of Mutation |
| 01/27/2012 | FWIW | Syntax Desugaring Algorithm Question |
| 11/07/2011 | "We Really Don't Know How to Compute!" by Gerald Sussman | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/09/2011 | Overloaded selectors = structural subtyping? | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/10/2011 | A minor point | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 07/16/2011 | Partial Evaluation | The Last Language? |
| 07/16/2011 | I'm not so sure about that. | The Last Language? |
| 04/08/2011 | Yikes | Kona |
| 02/13/2011 | Monads matter | Monads vs. Actors |
| 10/11/2010 | A little self-serving | The barrier to take-up of language innovation |
| 10/12/2010 | OK Mr. Smartypants | The barrier to take-up of language innovation |
| 10/12/2010 | Evidence? | The barrier to take-up of language innovation |
| 10/13/2010 | Converging on a definition of "best for people" | The barrier to take-up of language innovation |
| 08/22/2010 | Taking care of bindings with domain-dependent sum | Type Classes as Objects and Implicits |
| 09/09/2010 | Very minor problem | What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common |
| 07/20/2010 | When will F# get type classes? | The Future of C# |
| 05/28/2010 | deriving Functor? | Functional Pearl: Species and Functors and Types, Oh My! |
| 04/30/2010 | Are you serious? | SEC interested in formalising contracts ... in Python |
| 04/14/2010 | Q | Representing Type Information in Dynamically Typed Languages |
| 04/15/2010 | Definitions | Representing Type Information in Dynamically Typed Languages |
| 04/15/2010 | Really? | Representing Type Information in Dynamically Typed Languages |
| 01/16/2009 | Not quite what you're looking for, but ... | Looking for papers describing advanced language topics in terms of C programming |
| 01/10/2009 | What sort of comparison? | Using coalgebraic structures for traversing ADTs lazily |
| 10/08/2008 | Complex grammar transformations | Parsing Expression Grammars |
| 09/21/2008 | No direct involvement | Information regarding financial crisis |
| 09/21/2008 | Yes | Information regarding financial crisis |
| 09/21/2008 | Well said | Information regarding financial crisis |
| 08/16/2008 | The Tiger Book | output language for new statically typed language? |
| 04/10/2008 | It's old news | Can local variables assignments be considered pure functional without monads? |
| 04/10/2008 | I think you misread my comment | Can local variables assignments be considered pure functional without monads? |
| 04/11/2008 | What I said was ... | Can local variables assignments be considered pure functional without monads? |
| 04/10/2008 | Still need monads to analyze | Can local variables assignments be considered pure functional without monads? |
| 10/25/2007 | ? | On the Importance of Purity |
| 09/13/2007 | You could be writing ... | Extending HM type inference -- would this be possible? Or even desirable? |
| 07/14/2007 | Why FP? | Current "best books on FP"? |
| 07/10/2007 | B =>* epsilon | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
| 07/10/2007 | The Third Manifesto | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 06/05/2007 | Indeed | Typed callcc in a stack-based language |
| 11/11/2006 | Hmm | Testing Telecoms Software with Quviq QuickCheck |
| 09/24/2005 | Tangent | What is Intuitive? |
| 03/04/2005 | Interesting | Adobe Releases Adam and Eve |
| 05/04/2005 | It doesn't meet the requirements but ... | C++ OR mapping - cross platform and db |
| 01/13/2005 | Grrr | Introducing Comega |
| 12/31/2004 | Cart before the horse | ANN: YARD Parser |
| 12/23/2004 | On the worship of SICP | Reading SICP for fun and profit |
| 12/23/2004 | Well ... | Reading SICP for fun and profit |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |