Posts By: Kevin Millikin
| Date | Post | Topic |
| 01/21/2009 | Isn't this just Scott | Efficient Interpretation by Transforming Data Types and Patterns to Functions |
| 06/10/2007 | In which I call foul again | ECMAScript Edition 4 Reference Implementation |
| 06/10/2007 | I call foul | ECMAScript Edition 4 Reference Implementation |
| 06/10/2007 | "I'll allow it" | ECMAScript Edition 4 Reference Implementation |
| 06/05/2007 | My answers are | Typed callcc in a stack-based language |
| 06/05/2007 | I see, I made a mistake by | Typed callcc in a stack-based language |
| 06/06/2007 | Is the form you used | Typed callcc in a stack-based language |
| 06/12/2007 | Is that a particularly useful view? | Steps Toward The Reinvention of Programming |
| 06/12/2007 | Sometimes yes | Steps Toward The Reinvention of Programming |
| 01/29/2007 | I'm not sure that's the | What is a "fully featured closure"? Request for comments. |
| 01/29/2007 | How can we distinguish these | What is a "fully featured closure"? Request for comments. |
| 01/29/2007 | A more helpful answer | What is a "fully featured closure"? Request for comments. |
| 01/29/2007 | Really? | What is a "fully featured closure"? Request for comments. |
| 01/29/2007 | Read further, answered my own question | What is a "fully featured closure"? Request for comments. |
| 01/29/2007 | Now I understand | What is a "fully featured closure"? Request for comments. |
| 01/29/2007 | ...but I'm not sure I follow | What is a "fully featured closure"? Request for comments. |
| 01/30/2007 | It's not that cut and dried | What is a "fully featured closure"? Request for comments. |
| 03/02/2007 | It's a lot harder to write | Why people don't use functional programming? |
| 12/23/2006 | I have never seen anyone | Misc items |
| 03/05/2007 | But in the above version, | Why do we need finally in try? |
| 03/07/2007 | We've drifted pretty far | Why do we need finally in try? |
| 03/07/2007 | The only reason I gave the | Why do we need finally in try? |
| 03/07/2007 | Yes. That's essentially | Why do we need finally in try? |
| 02/07/2007 | Did anyone read this paper? | A Complete, Co-Inductive Syntactic Theory of Sequential Control and State. |
| 11/18/2006 | Umm, no | The replay bug |
| 11/16/2006 | Sets have edges and middles? | Abstractly typed languages |
| 11/17/2006 | 1, 2, 3... | Functional programming and software engineering |
| 10/11/2006 | I'm with Koray too | The US Torture Bill as C code |
| 07/04/2006 | No, he's talking about | A new implementation of recursive-descent parsing? |
| 07/04/2006 | Incidentally | A new implementation of recursive-descent parsing? |
| 07/03/2006 | It's just in a different guise | A new implementation of recursive-descent parsing? |
| 07/01/2006 | SICP and GEB | Amusing question |
| 05/10/2006 | Depends on the language | Parameteric Polymorphism from a C++ Perspective (good or bad?) |
| 02/20/2006 | A Unifying Approach to Goal-Directed Evaluation | Is there a formal basis for generators? |
| 02/23/2006 | Tuple literals | Stroustrup: A Brief Look at C++0x |
| 02/24/2006 | Sure you can | Gilad Is Right |
| 02/24/2006 | I find it hard to believe | Gilad Is Right |
| 02/25/2006 | Bottom up? | Gilad Is Right |
| 02/25/2006 | I should say more | Gilad Is Right |
| 02/25/2006 | Of course! | Gilad Is Right |
| 02/01/2006 | Those aren't really laws | What is a monad, why should I use it, and when is it appropriate? |
| 10/14/2005 | Right on about monads | Zipper-based file server/OS |
| 07/17/2005 | Huh? | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/18/2005 | Also the part that would be " | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/18/2005 | Right, now you've introduced | Static Typing Where Possible, Dynamic Typing When Needed |
| 06/24/2005 | I don't know of any direct co | Static Types vs. Partially Evaluated Latent Types |
| 06/24/2005 | They're the same | A Monadic Framework for Subcontinuations |
| 06/22/2005 | Silly and unrealistic? | Why recursing is better than looping |
| 03/30/2005 | No interest in delimited continuations? | How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible |
| 04/03/2005 | evaluation contexts | How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible |
| 03/31/2005 | Nice | How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible |
| 12/19/2006 | Which "limitation" do you | Transparent Persistence |
| 12/19/2006 | I'm sorry if I'm just being | Transparent Persistence |
| 12/20/2006 | Greg Buchholz showed you why | Transparent Persistence |
| 12/20/2006 | Now I really am confused | Transparent Persistence |
| 12/19/2006 | While we're talking about | Transparent Persistence |
| 01/22/2005 | I have in fact | Getting Started |
| 01/23/2005 | Normal-order etc. | Normal-order direct-style beta-evaluator with syntax-rules, and the repeated applications of call/cc |
| 01/10/2005 | Re: one way to do it | Ian Bicking: The challenge of metaprogramming |
| 01/12/2005 | DWIM? | Ian Bicking: The challenge of metaprogramming |
| 01/08/2005 | Two non-costs of tco | Ian Bicking: The challenge of metaprogramming |
| 01/08/2005 | Scheme is a small language | Ian Bicking: The challenge of metaprogramming |
| 01/08/2005 | Funny | Ian Bicking: The challenge of metaprogramming |
| 01/08/2005 | The Continuations path | Ian Bicking: The challenge of metaprogramming |
| 01/08/2005 | DanFest Keynote | DanFest 2004 - in honor of Dan Friedman |
| 12/16/2004 | Re: Killer Props for Computer Scientist! | Killer Props for Computer Scientist! |
| 09/14/2004 | Maybe this would happen | More from Udell on typing |
| 09/06/2004 | Not exactly Y | Combining lazy and eager evaluation of terms |
| 08/31/2004 | "What is a type system" | Why type systems are interesting - part III: latent types |
| 08/19/2004 | Some quick advice | Grad School advice |
| 08/10/2004 | Offline partial evaluation by hand | Why type systems are interesting - part II |
| 08/05/2004 | Inconsistency | Why type systems are interesting |
| 08/10/2004 | Eh? Frank in particular has d | Why type systems are interesting |
| 09/29/2004 | What if we didn't know it was a monad? | Explaining monads |
| 12/21/2004 | What the heck are: heap allocated activation records | Understanding continuations |
| 12/21/2004 | Will the real CPS please stand up? | Understanding continuations |
| 01/23/2005 | Ehud's or Oleg's? | Understanding continuations |
| 11/18/2006 | 'Continuations' can 'return' | Understanding continuations |
| 11/18/2006 | Well, I thought we were talking to each other | Understanding continuations |
| 11/18/2006 | In the spirit of another | Understanding continuations |
| 11/19/2006 | You may be right after all, | Understanding continuations |
| 11/21/2006 | The first version was (sorry | Understanding continuations |
| 06/24/2004 | A couple of other nice things | Some stupid questions on denotational semantics |
| 04/21/2004 | Re: Circular references | Circular references |
| 03/29/2004 | Re: What does Hello World show? | What does Hello World show? |
| 04/03/2004 | Re: Dying Tongues | Dying Tongues |
| 02/28/2004 | Re: Monads in Scheme | Monads in Scheme |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |