Posts By: pkhuong
| Date | Post | Topic |
| 05/25/2012 | How would one express "PRINT | Languages with 'unique' programs |
| 05/06/2012 | Or, if you prefer loop(let | Common Lisp: The Untold Story |
| 01/04/2012 | Minimiz[ing] the traffic between registers and memory | Register Allocation By Model Transformer Semantics -- need for early comments |
| 11/01/2011 | if you had pattern matching | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 07/21/2011 | I find that unlikely; that | Implementor's guide/tutorial to delimited continuations? |
| 07/21/2011 | Are delimited continuations | Implementor's guide/tutorial to delimited continuations? |
| 05/15/2011 | Activation records are often | Why is tail call optimization an issue in GC'd languages? |
| 05/17/2011 | I find this question | Why is tail call optimization an issue in GC'd languages? |
| 04/11/2011 | Proving the equivalence of | Algebra of Programming |
| 03/30/2011 | In contrast with the | Finding and Understanding Bugs in C Compilers |
| 05/07/2011 | It's simpler to claim high | Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance |
| 12/21/2010 | We have hardware (real) | Azul's Pauseless Garbage Collector |
| 12/14/2010 | IIRC, CFG parsing (for a | yacc death revisited |
| 12/18/2010 | I did mean an arbitrarily | yacc death revisited |
| 12/18/2010 | Of course it is. You just | yacc death revisited |
| 12/16/2010 | It is a lazy, memoizing or | yacc death revisited |
| 12/05/2010 | Particularly in a | Reference Counting vs Tracing Garbage Collection? |
| 11/07/2010 | However, you do have a known | Closures without function pointers |
| 11/08/2010 | I've been assuming that, | Closures without function pointers |
| 10/17/2010 | Using types to prove | The barrier to take-up of language innovation |
| 10/18/2010 | Not all, only enough to | The barrier to take-up of language innovation |
| 10/18/2010 | Other canonical properties | The barrier to take-up of language innovation |
| 09/16/2010 | You're right that it | GADTs in a dynamically type-checked language? |
| 09/13/2010 | You seem to have described | Unifying Actors and Objects? |
| 07/20/2010 | It's a basic calculus term. | The Future of C# |
| 07/10/2010 | If you're referring to cache | The Rust Language |
| 05/08/2010 | I have access to ACM and | Code Quarterly - The Hackademic Journal |
| 04/29/2010 | We're talking about an | Linear & Dependent types of ATS applied to the Cairo graphics library |
| 03/17/2010 | PSPACE-complete, I believe | determining subsumption of regular languages |
| 03/17/2010 | Right, it's probably | determining subsumption of regular languages |
| 02/13/2010 | Sounds like you want COMET | Constraint Programming Local Search and Numerical Optimization |
| 02/16/2010 | First, I'll state that I | Constraint Programming Local Search and Numerical Optimization |
| 02/09/2010 | You simply need multiple | NaNs and reflexivity |
| 08/28/2008 | You don't necessarily need | Towards Hard Real-Time Erlang |
| 06/13/2008 | Isn't that basically the | Preemptive concurrency via compiler-inserted checks |
| 06/03/2008 | 1. Indirection really isn't | erlang green threads and the CLR |
| 06/03/2008 | erlang green threads and the CLR | erlang green threads and the CLR |
| 06/04/2008 | erlang green threads and the CLR | erlang green threads and the CLR |
| 04/26/2008 | It sounds like the OP meant | Is Halting Problem Valid for P? |
| 12/09/2007 | What kind of design decision? | functions, statements, expressions |
| 08/21/2007 | Tail call optimisation is too easily forgotten | Diagram showing all programming paradigms and their relationships |
| 08/09/2007 | "A Case for the Unified Heap | Ralph Johnson: Erlang, the next Java |
| 06/16/2007 | Carnap Programming Language | Carnap Programming Language |
| 05/30/2007 | Link | Near-Concrete Program Interpretation |
| 05/25/2007 | Cheap polymorphic inline caches | function overriding workaround in dynamically typed languages |
| 05/25/2007 | More mispredicts... | function overriding workaround in dynamically typed languages |
| 05/25/2007 | (This is getting a bit OT. http://www.quicktopic.com/ ?) | function overriding workaround in dynamically typed languages |
| 05/27/2007 | No JIT | function overriding workaround in dynamically typed languages |
| 02/13/2007 | Assignment conversion | Seeking suggestions on how to unify the environment, free variables, and current activation record for closures |
| 01/06/2007 | How about this? | Why numbering should start at 0 |
| 12/15/2006 | Namespacing issue | Commercial Users of Functional Programming 2006 |
| 12/08/2006 | Converting self-tail calls to loops :) | Programming (language) puzzles |
| 12/01/2006 | Supercombinators | SK Calculus not Consider SeKsy? |
| 12/04/2006 | By value... except for arrays | C++ has indeed become too "expert friendly" |
| 11/19/2006 | State with atomic commits? | OOP language extension |
| 11/02/2006 | Forth | Compiler with easily retargetable and flexible back-end? |
| 10/26/2006 | Propagation instead of inference? | The Type of 42 |
| 09/20/2006 | building block, not a solution | Why Johnny can't code |
| 10/02/2006 | Flash? | Why Johnny can't code |
| 08/18/2006 | Should it be exposed as a programming model? | Pure Pattern Calculus |
| 08/08/2006 | Real Soon Now. | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 08/28/2006 | Check, check, check ... :) | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 07/25/2006 | Sorta... | RLisp - Lisp naturally embedded in Ruby |
| 07/25/2006 | Balance | 2006 ICFP Programming Contest registration opens |
| 07/03/2006 | Complicates debugging. | A new implementation of recursive-descent parsing? |
| 07/03/2006 | You don't seem to be addressing my points... | A new implementation of recursive-descent parsing? |
| 07/04/2006 | Again... | A new implementation of recursive-descent parsing? |
| 07/04/2006 | A new implementation of recursive-descent parsing? | A new implementation of recursive-descent parsing? |
| 07/04/2006 | A new implementation of recursive-descent parsing? | A new implementation of recursive-descent parsing? |
| 07/05/2006 | A new implementation of recursive-descent parsing? | A new implementation of recursive-descent parsing? |
| 06/16/2006 | Feeling the bits between one's toes | Dataflow programming for PIC microcontrollers |
| 05/10/2006 | [OT] Restrict entry in CS? | Computer Science Looks for a Remake |
| 04/28/2006 | Just hijack the function, like normal trace | First-Class Traces |
| 04/30/2006 | You usually can redefine the | First-Class Traces |
| 04/21/2006 | Delimited continuations | TinyScheme Revived |
| 04/20/2006 | Here's what I understand after a quick skim | "Down with Lambda-Lifting" |
| 04/12/2006 | FRP | Functional Programming Has Reached The Masses; It's Called Visual Basic |
| 04/04/2006 | Explicit, or make sure GC is statically decidable | any functional language without GC? |
| 10/23/2006 | Cells | I "got" imperative programming throught data binding |
| 03/20/2006 | Very constrained... | Reversible generators |
| 03/12/2006 | Oh wow, PLDI 06's in Ottawa. | Choosing Conferences |
| 02/16/2006 | Quasiquotation | Accidental Syntax |
| 12/31/2005 | Fluid scoping instead of assignments | Return of the Global Variables? |
| 12/08/2005 | Practical: Designing a graph matching language. | Practical: Designing a graph matching language. |
| 12/08/2005 | Or maybe the problem is with the students | The breaking point of language usability? |
| 08/16/2006 | Functional -> "updates" are not shared | Object Oriented Programming + Referential Transparency |
| 08/21/2006 | If you have GC, copying the | Object Oriented Programming + Referential Transparency |
| 08/09/2005 | With small, well-behaved words | Concatenative Language Kont |
| 07/19/2005 | Linear Types? | Conversion of 'functional' to 'imperative' algorithms: is it possible? |
| 07/20/2005 | This works when you want to h | Conversion of 'functional' to 'imperative' algorithms: is it possible? |
| 06/01/2005 | Threaded code [OTish] | What is so bad about compiling? |
| 04/20/2005 | picking nits :) | Qi 6.1 released |
| 04/20/2005 | 1. ftp://publications.ai.mit. | Qi 6.1 released |
| 04/20/2005 | Thanks for the pointer! | Qi 6.1 released |
| 02/22/2005 | What about robots? | Don Box: Teaching my kids to program |
| 01/08/2005 | Re: Tail-call elimination | Ian Bicking: The challenge of metaprogramming |
| 12/10/2004 | You can. | Casting SPELs in Lisp |
| 12/09/2004 | OT - What's with the PCness? | Logix: Multi-Language Programming |
| 12/01/2004 | Refactor | Downwardly Scalable Languages |
| 11/17/2004 | Not that the reply is anything stellar | Language Oriented Programming |
| 01/16/2012 | I think that's an | Embedding Prolog in Haskell |
| 01/19/2012 | I'm not sure if that's what | Embedding Prolog in Haskell |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |