Posts By: shap
| Date | Post | Topic |
| 07/06/2012 | OS in GC'd langs | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 06/17/2012 | Exceptions are purely functional | Why are exceptions not described as 'purely functional'? |
| 07/06/2012 | Disagree | Why are exceptions not described as 'purely functional'? |
| 07/10/2012 | Agree to disagree | Why are exceptions not described as 'purely functional'? |
| 04/08/2012 | Requires full code | Retrospective Thoughts on BitC |
| 04/12/2012 | Not an alternative | Retrospective Thoughts on BitC |
| 04/17/2012 | Too many lines of code | Retrospective Thoughts on BitC |
| 04/08/2012 | That part not written yet | Retrospective Thoughts on BitC |
| 04/08/2012 | BitC refs were not capturable | Retrospective Thoughts on BitC |
| 04/08/2012 | concur | Retrospective Thoughts on BitC |
| 04/08/2012 | A68, by-ref, and escape | Retrospective Thoughts on BitC |
| 04/08/2012 | Work of the Devil | Retrospective Thoughts on BitC |
| 04/08/2012 | BitC is GC'd | Retrospective Thoughts on BitC |
| 04/08/2012 | Safety contract? | Retrospective Thoughts on BitC |
| 04/08/2012 | The by-ref problems were mundane | Retrospective Thoughts on BitC |
| 09/15/2011 | Science in Computer Science | Replicated experiments in computer science |
| 09/15/2011 | Academics are highbrow? | Forum Topics and Story |
| 09/01/2011 | Most old books are just old | quite "old" books discussion |
| 09/01/2011 | Bad Textbooks can be Better | quite "old" books discussion |
| 07/26/2011 | Proof of quicksort | Is it possible to write code that works the very first time? |
| 06/10/2011 | No mention of Singularity or Midori | Speciļ¬cation and Veriļ¬cation: The Spec# Experience |
| 05/25/2011 | I think you mean "rime" | Rob Pike: Public Static Void |
| 05/25/2011 | Conceptual distance | Rob Pike: Public Static Void |
| 05/19/2011 | All of what you say here is | Why is tail call optimization an issue in GC'd languages? |
| 03/20/2011 | Blog URL | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 12/29/2010 | The AST Typing Problem | The AST Typing Problem |
| 12/31/2010 | subtyping, nullification | The AST Typing Problem |
| 12/31/2010 | This isn't simple | The AST Typing Problem |
| 01/15/2011 | Yes, really cyclic... | The AST Typing Problem |
| 01/15/2011 | Not sure how this helps | The AST Typing Problem |
| 01/15/2011 | Indirection really not good here | The AST Typing Problem |
| 01/15/2011 | Possible solution | The AST Typing Problem |
| 01/16/2011 | Perhaps so... | The AST Typing Problem |
| 12/03/2010 | Mildly sic | Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit |
| 12/05/2010 | Is that scatological with a | Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit |
| 11/08/2010 | True, but may not be relevant | Closures without function pointers |
| 11/17/2010 | Perhaps I am missing something obvious | Closures without function pointers |
| 11/05/2010 | Yes and no... | A Self-Checking Type System |
| 10/28/2010 | Terms and assumptions | The Myths of Object-Orientation |
| 10/29/2010 | A bit off the topic | The Myths of Object-Orientation |
| 10/28/2010 | Archival copy of To Accessor or Not To Accessor | The Myths of Object-Orientation |
| 10/19/2010 | Looking for pointers: mixfix error recovery | Looking for pointers: mixfix error recovery |
| 10/21/2010 | That's not an error recovery issue | Looking for pointers: mixfix error recovery |
| 10/14/2010 | Thankfully so! | The barrier to take-up of language innovation |
| 10/18/2010 | Thanks for the suggestions | The barrier to take-up of language innovation |
| 10/14/2010 | I agree, but anecdotally... | The barrier to take-up of language innovation |
| 10/19/2010 | Well said! | The barrier to take-up of language innovation |
| 10/06/2010 | They've had it | Design Principles Behind Smalltalk |
| 10/14/2010 | Several experiments | Design Principles Behind Smalltalk |
| 10/14/2010 | Also improve Unicode support | Design Principles Behind Smalltalk |
| 10/14/2010 | Trickier than it looks | Design Principles Behind Smalltalk |
| 10/06/2010 | Small correction | Design Principles Behind Smalltalk |
| 09/15/2010 | Mildly Extended MixFix | Mildly Extended MixFix |
| 09/16/2010 | Not a big deal - which is the point | Mildly Extended MixFix |
| 09/21/2010 | Talking past each other | Mildly Extended MixFix |
| 09/16/2010 | Implicit cast ++ungood | Mildly Extended MixFix |
| 09/19/2010 | Still regular declarations... | Mildly Extended MixFix |
| 09/19/2010 | One example not trend | Mildly Extended MixFix |
| 09/20/2010 | Manuel: I'm aware that | Mildly Extended MixFix |
| 09/21/2010 | Can you point me | Mildly Extended MixFix |
| 09/21/2010 | Tools these days | Mildly Extended MixFix |
| 09/21/2010 | It's what Jonathan Bachrach wrote | Mildly Extended MixFix |
| 09/21/2010 | Don't think I did that | Mildly Extended MixFix |
| 07/31/2010 | Overlapping Instances + Functional Dependencies Unsound? | Overlapping Instances + Functional Dependencies Unsound? |
| 08/01/2010 | Int cast to Bool | Overlapping Instances + Functional Dependencies Unsound? |
| 07/19/2010 | Two kinds of fools... | The Rust Language |
| 07/24/2010 | Quick response | The Rust Language |
| 07/24/2010 | Minor corrections re: BitC | The Rust Language |
| 05/13/2010 | Issue is sub-arrays | Means to Limit or Constrain Side Effects |
| 05/14/2010 | I'm also puzzled about this. | Means to Limit or Constrain Side Effects |
| 05/13/2010 | Three Possible Paths | Means to Limit or Constrain Side Effects |
| 05/14/2010 | Concerning transients | Means to Limit or Constrain Side Effects |
| 05/14/2010 | Type system support | Means to Limit or Constrain Side Effects |
| 05/14/2010 | Depends on Goals | Means to Limit or Constrain Side Effects |
| 04/30/2010 | Litmus test | Typed Lambda Calculus |
| 04/28/2010 | About those distinctions | Capability-based security; how does it work? |
| 04/28/2010 | Extensibility | Capability-based security; how does it work? |
| 04/29/2010 | With due respect to | Capability-based security; how does it work? |
| 04/30/2010 | Very well put | Capability-based security; how does it work? |
| 04/30/2010 | Various responses | Capability-based security; how does it work? |
| 04/26/2010 | Not really | Capability-based security; how does it work? |
| 04/27/2010 | Worse than that | Capability-based security; how does it work? |
| 04/27/2010 | Two types of revocation | Capability-based security; how does it work? |
| 04/27/2010 | Expanding... | Capability-based security; how does it work? |
| 04/27/2010 | Nothing here is forgeable | Capability-based security; how does it work? |
| 04/27/2010 | You shouldn't call such a | Capability-based security; how does it work? |
| 04/28/2010 | I assume open distributed | Capability-based security; how does it work? |
| 04/29/2010 | But you need to be careful: | Capability-based security; how does it work? |
| 04/29/2010 | Ouch. | Capability-based security; how does it work? |
| 04/30/2010 | Don't agree | Capability-based security; how does it work? |
| 05/01/2010 | Don't agree | Capability-based security; how does it work? |
| 05/01/2010 | Code == Data, but Code => Behavior | Capability-based security; how does it work? |
| 04/28/2010 | Type-based protection | Capability-based security; how does it work? |
| 04/27/2010 | Definition not correct. | Capability-based security; how does it work? |
| 04/29/2010 | Not quite least authority | Capability-based security; how does it work? |
| 04/29/2010 | The Enforcement Myth | Capability-based security; how does it work? |
| 04/28/2010 | DRM != Hardware Protection | Capability-based security; how does it work? |
| 04/28/2010 | Ray is correct | Capability-based security; how does it work? |
| 04/28/2010 | Don't need capabilities for that | Capability-based security; how does it work? |
| 04/28/2010 | Merit of audit unclear | Capability-based security; how does it work? |
| 04/28/2010 | Caps that should not exist | Capability-based security; how does it work? |
| 04/28/2010 | There is a catch-22 here | Capability-based security; how does it work? |
| 05/07/2010 | The Structure of Authority: Why security is not a separable concern | The Structure of Authority: Why security is not a separable concern |
| 05/07/2010 | Increasing interaction | The Structure of Authority: Why security is not a separable concern |
| 04/23/2010 | At the moment, yes | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Conceptual revolutions... | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Scaling purity | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Can't resist | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Minor point | Seeking thoughtful criticisms of functional programming and languages |
| 04/21/2010 | The Great is the Enemy of the Good | SEC interested in formalising contracts ... in Python |
| 04/23/2010 | The investment is huge | SEC interested in formalising contracts ... in Python |
| 04/23/2010 | Irritate away, as you like | SEC interested in formalising contracts ... in Python |
| 04/29/2010 | two sigmas above the norm | SEC interested in formalising contracts ... in Python |
| 04/29/2010 | Semantics of Designation | SEC interested in formalising contracts ... in Python |
| 04/15/2010 | "Ummm" | How can C Programs be so Reliable? |
| 04/21/2010 | But is that a bad thing | How can C Programs be so Reliable? |
| 04/22/2010 | The business policy | How can C Programs be so Reliable? |
| 04/21/2010 | Logical Uncertainty | How can C Programs be so Reliable? |
| 04/21/2010 | Language Safety in C | How can C Programs be so Reliable? |
| 04/21/2010 | C Safety More Seriously | How can C Programs be so Reliable? |
| 04/23/2010 | Good idea, weak execution | How can C Programs be so Reliable? |
| 04/23/2010 | Having done this... | How can C Programs be so Reliable? |
| 04/21/2010 | It depends (sorry) | How can C Programs be so Reliable? |
| 04/21/2010 | Corrolaries | How can C Programs be so Reliable? |
| 04/21/2010 | Claimed, but not substantiated | How can C Programs be so Reliable? |
| 04/22/2010 | Two answers | How can C Programs be so Reliable? |
| 04/22/2010 | See my reply below | How can C Programs be so Reliable? |
| 04/22/2010 | That's an example | How can C Programs be so Reliable? |
| 04/21/2010 | Supporting data, please? | How can C Programs be so Reliable? |
| 04/22/2010 | I think you misread me | How can C Programs be so Reliable? |
| 04/22/2010 | Quick response | How can C Programs be so Reliable? |
| 04/22/2010 | Nobody has really tried | How can C Programs be so Reliable? |
| 04/11/2010 | Impact on Security | iPhone PL lockdown |
| 04/07/2010 | Specifying Solvers? | Specifying Solvers? |
| 04/07/2010 | High-level vs. Low-level calling conventions | Higher order functions vs. function arity and calling conventions |
| 03/31/2010 | Not quite fair | Go's proposed panic/recover exception-like mechanism |
| 03/26/2010 | Theory of Language Affinity | Tcl the Misunderstood |
| 03/19/2010 | Unfortunately, this may be slightly premature. | BitC is back |
| 03/22/2010 | Small nit | BitC is back |
| 03/17/2010 | On the (Alleged) Value of Proof for Assurance | On the (Alleged) Value of Proof for Assurance |
| 03/17/2010 | Continuity of scope | On the (Alleged) Value of Proof for Assurance |
| 03/17/2010 | Knew about Gutmann | On the (Alleged) Value of Proof for Assurance |
| 05/07/2010 | Peter was actually very | On the (Alleged) Value of Proof for Assurance |
| 05/07/2010 | Two corrections | On the (Alleged) Value of Proof for Assurance |
| 05/11/2010 | Over-reading | On the (Alleged) Value of Proof for Assurance |
| 05/12/2010 | One can't | On the (Alleged) Value of Proof for Assurance |
| 05/12/2010 | Not yet published | On the (Alleged) Value of Proof for Assurance |
| 03/29/2010 | Not Portable | Have tracing JIT compilers won? |
| 03/29/2010 | Justification? | Have tracing JIT compilers won? |
| 02/28/2010 | Pure in BitC | Advantages of Purity |
| 03/03/2010 | Purity and Effects | Advantages of Purity |
| 03/16/2010 | Proctoscoping the Bottom Line | Advantages of Purity |
| 03/23/2010 | Position paper | Advantages of Purity |
| 03/16/2010 | This is a failure of the current spec | Advantages of Purity |
| 03/16/2010 | (noalloc e) is not discretionary | Advantages of Purity |
| 03/16/2010 | No, no. Ignorance is BLISS. | a "thank you" to You |
| 03/26/2010 | Curious subtleties | Objects to Unify Type Classes and GADTs |
| 03/26/2010 | Thanks... | Objects to Unify Type Classes and GADTs |
| 02/19/2010 | Argument passing | Babel-17 v0.2 spec is out |
| 02/20/2010 | Not just tradition | Babel-17 v0.2 spec is out |
| 05/16/2009 | See also PL.8 | C++ Frequently Questioned Answers |
| 05/05/2009 | Languages also evolve by replacement | Purpose-Built Languages |
| 05/05/2009 | In a sense, it is. | Static typing may require runtime type checking? |
| 05/06/2009 | So what should we call this | Static typing may require runtime type checking? |
| 04/27/2009 | Well, it doesn't map, | Butcher, Baker or CandlestickMaker |
| 04/16/2009 | Some back story... | New EcmaScript/Javascript specification |
| 11/17/2010 | Alternatively.... | Why are objects so unintuitive? |
| 11/17/2010 | Not always a good thing. | Why are objects so unintuitive? |
| 03/29/2009 | Why "capabilities"? | Eliminating fuzziness of access modifiers |
| 03/07/2009 | It's inductive. | Dao, the official 1.0 version is released |
| 03/07/2009 | Not Only Research | The Meta-LtU Thread |
| 03/07/2009 | This misses the point | The Meta-LtU Thread |
| 03/10/2009 | I don't get really worried... | The Meta-LtU Thread |
| 03/10/2009 | Definition of Theory | The Meta-LtU Thread |
| 02/13/2009 | See also | A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler |
| 02/04/2009 | Why not BitC? | How best to add a record type to my typed Scheme variant? |
| 02/06/2009 | My question wasn't so much | How best to add a record type to my typed Scheme variant? |
| 02/03/2009 | LtU isn't really the place | Tagged Arithmetic Optimization |
| 01/27/2009 | If you send email | Graduate Programs in Programming Language Design/Research/Implementation? |
| 01/22/2009 | Specifying semantics and type rules | Specifying semantics and type rules |
| 01/23/2009 | Concerning the ML definition | Specifying semantics and type rules |
| 01/22/2009 | Perspective | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 01/23/2009 | Actually this proof is not | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 01/23/2009 | Opt still works | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 01/24/2009 | Okay. That makes sense now. | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 01/23/2009 | Pure initializers! | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 01/21/2009 | Concur: naive implementation | Nested functions - how many nesting levels are really needed? |
| 01/21/2009 | C++ has it in disguise, in | Nested functions - how many nesting levels are really needed? |
| 01/21/2009 | That seems too strong | Macro systems |
| 01/17/2009 | Conservatively decidable | Weird computability problem relating to state + lambda calculus |
| 01/15/2009 | Intuition, not mechanism | Looking for papers describing advanced language topics in terms of C programming |
| 02/18/2009 | Not to confuse with facts, but... | What Are The Resolved Debates in General Purpose Language Design? |
| 01/15/2009 | Yes and no. | What Are The Resolved Debates in General Purpose Language Design? |
| 01/15/2009 | Perl is the logical successor to APL | What Are The Resolved Debates in General Purpose Language Design? |
| 01/15/2009 | Mostly agree, but | What Are The Resolved Debates in General Purpose Language Design? |
| 01/15/2009 | Introspection, immutability, dynamic compilation are problematic | What Are The Resolved Debates in General Purpose Language Design? |
| 01/16/2009 | On paper that sounds good, | What Are The Resolved Debates in General Purpose Language Design? |
| 01/15/2009 | This argument ignores startup cost | What Are The Resolved Debates in General Purpose Language Design? |
| 01/15/2009 | It always amazes me when | What Are The Resolved Debates in General Purpose Language Design? |
| 01/16/2009 | I was primarily objecting to | What Are The Resolved Debates in General Purpose Language Design? |
| 01/15/2009 | Problem with "fini" is | What Are The Resolved Debates in General Purpose Language Design? |
| 01/16/2009 | And if the fini code running | What Are The Resolved Debates in General Purpose Language Design? |
| 01/15/2009 | When we emitted that code in | What Are The Resolved Debates in General Purpose Language Design? |
| 01/15/2009 | Goto not dropped | What Are The Resolved Debates in General Purpose Language Design? |
| 01/16/2009 | Me too, though I do think | What Are The Resolved Debates in General Purpose Language Design? |
| 01/15/2009 | Of course they don't argue. | What Are The Resolved Debates in General Purpose Language Design? |
| 01/11/2009 | Specifying Solver Behavior? | Specifying Solver Behavior? |
| 12/31/2008 | Actually this is not always true | "Determinism" of types? |
| 01/28/2009 | I think he meant that he | 2008 In Review - What Happened with Programming Languages? |
| 01/28/2009 | Copying collectors are not | 2008 In Review - What Happened with Programming Languages? |
| 01/28/2009 | Something very close to that | 2008 In Review - What Happened with Programming Languages? |
| 01/28/2009 | Actually, the current | 2008 In Review - What Happened with Programming Languages? |
| 12/30/2008 | Evaluation is disappointing | Programmable Concurrency in a Pure and Lazy Language |
| 12/14/2008 | Practicality of Exclusively Compiler-Driven Unboxing | Practicality of Exclusively Compiler-Driven Unboxing |
| 12/15/2008 | Some clarification | Practicality of Exclusively Compiler-Driven Unboxing |
| 12/15/2008 | We're talking past each other again. | Practicality of Exclusively Compiler-Driven Unboxing |
| 12/15/2008 | Do you know how to obviate | Practicality of Exclusively Compiler-Driven Unboxing |
| 12/15/2008 | This is a very interesting | Practicality of Exclusively Compiler-Driven Unboxing |
| 12/14/2008 | Typing for Concurrency | Fundamental Flaws in Current Programming Language Type Systems |
| 01/08/2009 | Not clear what you mean | Fundamental Flaws in Current Programming Language Type Systems |
| 01/12/2009 | Ah. I see. Some of this can | Fundamental Flaws in Current Programming Language Type Systems |
| 01/08/2009 | Examples please? | Fundamental Flaws in Current Programming Language Type Systems |
| 01/08/2009 | Citations, please! | Fundamental Flaws in Current Programming Language Type Systems |
| 01/09/2009 | I'm pointing out that one | Fundamental Flaws in Current Programming Language Type Systems |
| 01/09/2009 | Still no citations... | Fundamental Flaws in Current Programming Language Type Systems |
| 01/10/2009 | And if I recall correctly, | Fundamental Flaws in Current Programming Language Type Systems |
| 01/10/2009 | Various responses | Fundamental Flaws in Current Programming Language Type Systems |
| 01/10/2009 | Not quite. I meant the | Fundamental Flaws in Current Programming Language Type Systems |
| 01/11/2009 | BitC will work, I agree. | Fundamental Flaws in Current Programming Language Type Systems |
| 01/12/2009 | For me, this is all rather | Fundamental Flaws in Current Programming Language Type Systems |
| 01/15/2009 | More a runtime issue | Fundamental Flaws in Current Programming Language Type Systems |
| 01/10/2009 | There is indirect data on this | Fundamental Flaws in Current Programming Language Type Systems |
| 01/09/2009 | Actually, it's just that I'm a mugwump | Fundamental Flaws in Current Programming Language Type Systems |
| 01/09/2009 | Umm. No. The point might be | Fundamental Flaws in Current Programming Language Type Systems |
| 12/11/2008 | Links please? | How to load/interpret STATIC libraries at runtime. |
| 12/12/2008 | It would be welcome there... | How to load/interpret STATIC libraries at runtime. |
| 12/01/2008 | Time Warp Operating System | Remembering everything - a new(?) idea for a new PL |
| 12/31/2008 | Non-meaningful is not Harmful | Non-standard type theories for FP |
| 01/01/2009 | Then my suggestion is... | Non-standard type theories for FP |
| 11/21/2008 | This isn't necessary | Subtyping + overloading |
| 11/14/2008 | This isn't subtyping | Subtyping + overloading |
| 11/15/2008 | It's simple, really | Subtyping + overloading |
| 11/10/2008 | Charles is right | The Origins of the BitC Programming Language |
| 11/10/2008 | This is potentially perilous, but... | The Origins of the BitC Programming Language |
| 11/10/2008 | That paper is an informal | The Origins of the BitC Programming Language |
| 11/10/2008 | That was a bit harsh | The Origins of the BitC Programming Language |
| 11/14/2008 | The Coyotos kernel has been | The Origins of the BitC Programming Language |
| 11/11/2008 | So first, thank you for the | The Origins of the BitC Programming Language |
| 11/14/2008 | What David describes as | The Origins of the BitC Programming Language |
| 11/15/2008 | This seems unlikely | The Origins of the BitC Programming Language |
| 11/14/2008 | Partial answer on bitc-dev | The Origins of the BitC Programming Language |
| 11/12/2008 | BitC objects are misnamed | The Origins of the BitC Programming Language |
| 11/14/2008 | Fully abstract is the problem | The Origins of the BitC Programming Language |
| 11/12/2008 | Has-field is a type class. | The Origins of the BitC Programming Language |
| 11/14/2008 | Only because a hack is | The Origins of the BitC Programming Language |
| 11/19/2008 | Not the right venue | The Origins of the BitC Programming Language |
| 11/20/2008 | Your such a tease, Paul. | The Origins of the BitC Programming Language |
| 11/12/2008 | With the benefit of | The Origins of the BitC Programming Language |
| 11/19/2008 | Some loose litmus tests | The Origins of the BitC Programming Language |
| 11/14/2008 | This would assume as a | The Origins of the BitC Programming Language |
| 11/19/2008 | Quick responses | The Origins of the BitC Programming Language |
| 11/06/2008 | Question concerning parameterization over literals | Question concerning parameterization over literals |
| 11/07/2008 | Many counterexamples | Question concerning parameterization over literals |
| 11/07/2008 | That will be interesting to see... | Question concerning parameterization over literals |
| 11/08/2008 | So are there pointers? | Question concerning parameterization over literals |
| 11/10/2008 | Both of those pointers are | Question concerning parameterization over literals |
| 11/06/2008 | Hmm. Let's give it a try. | A tutorial on implemeting type inference? |
| 10/27/2008 | This may be relevant | Why do OOPLs type objects as classes? |
| 10/23/2008 | This sounds like too much infrastructure | Adequate bootstrap for compiler with defmacro? |
| 10/23/2008 | I think this is not quite true. | Multiple Dispatch in Practice |
| 10/21/2008 | Can you synopsize | Constructor classes |
| 10/23/2008 | Still confused | Constructor classes |
| 10/27/2008 | That is missing | Constructor classes |
| 10/17/2008 | A middle position | No more tail calls in Javascript? |
| 10/12/2008 | I think this mis-states what static types do | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/15/2008 | This is a case where the axioms lie | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/12/2008 | A couple of further minor points | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/15/2008 | Perhaps we don't, but it | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/15/2008 | Back to the original question | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 09/30/2008 | Confusing function pointers and function labels | Can function pointers be "fixed" |
| 09/30/2008 | As near as I can tell, the | To CPS or not to CPS |
| 09/29/2008 | Help with Mixfix in Bison? | Help with Mixfix in Bison? |
| 09/30/2008 | Quite the contrary | Help with Mixfix in Bison? |
| 09/30/2008 | Probably not | Help with Mixfix in Bison? |
| 09/30/2008 | Can you articulate what | Help with Mixfix in Bison? |
| 10/05/2008 | I understand, and coming | Help with Mixfix in Bison? |
| 10/05/2008 | An attempt at a response | Help with Mixfix in Bison? |
| 10/05/2008 | Every convenience syntax | Help with Mixfix in Bison? |
| 10/07/2008 | Representation matters | Help with Mixfix in Bison? |
| 10/09/2008 | Not quite... | Help with Mixfix in Bison? |
| 09/30/2008 | Thanks, Philippa, I'll look | Help with Mixfix in Bison? |
| 09/30/2008 | My impression is that this | Help with Mixfix in Bison? |
| 09/28/2008 | Help with N-Ary functions? | Help with N-Ary functions? |
| 09/30/2008 | Nasty issue | Help with N-Ary functions? |
| 09/30/2008 | Thanks | Help with N-Ary functions? |
| 09/30/2008 | Thanks. That is very | Help with N-Ary functions? |
| 09/30/2008 | Subtyping? | Help with N-Ary functions? |
| 09/30/2008 | Pair consing is not list consing | Help with N-Ary functions? |
| 09/30/2008 | This is the heart of the question at hand. | Help with N-Ary functions? |
| 09/28/2008 | Regarding MISRA | MISRA C++:2008 |
| 09/24/2008 | Unclear question | Security in FP |
| 09/21/2008 | Not the root | Information regarding financial crisis |
| 09/18/2008 | XTalk was a similar thing | SourceIDE: A Semi-live Cross-development IDE for Cola |
| 09/17/2008 | Balderdash | Twilight of the GPU |
| 09/17/2008 | Fair enough... | Twilight of the GPU |
| 09/08/2008 | Sound and Complete Type Inference in BitC | Sound and Complete Type Inference in BitC |
| 09/09/2008 | I have asked Swaroop to respond, but... | Sound and Complete Type Inference in BitC |
| 09/09/2008 | Partial responses... | Sound and Complete Type Inference in BitC |
| 09/08/2008 | This is a somewhat malformed question | Can Lambda do things like arrays and matrixs? If so how? |
| 09/08/2008 | Let-polymorphism | doing letrec with lambdas |
| 09/03/2008 | Check the exokernel tree | Closures for C |
| 09/03/2008 | A problem with VCODE -- bad | Closures for C |
| 09/01/2008 | The fact that it "performs | What makes backreferences impossible in a DFA regular expressions evaluator? |
| 08/26/2008 | Common origins | Haskell for AI? |
| 08/26/2008 | Indeed. Consider the | Haskell for AI? |
| 08/24/2008 | A corrolary problem | Languages ready for API Evolution |
| 08/26/2008 | Nice if you have it. | Languages ready for API Evolution |
| 08/31/2008 | Having suffered my 15 | Languages ready for API Evolution |
| 08/29/2008 | Modules are deep structure | output language for new statically typed language? |
| 08/19/2008 | Go to LLVM IR | output language for new statically typed language? |
| 08/19/2008 | When we started... | output language for new statically typed language? |
| 08/05/2008 | A Question Concerning Effect Types | A Question Concerning Effect Types |
| 08/05/2008 | My post wasn't clear. | A Question Concerning Effect Types |
| 08/06/2008 | Good counterexample | A Question Concerning Effect Types |
| 07/24/2008 | The problem with monads is | FP in D 2.0 |
| 07/31/2008 | Comments are non-syntactic | What to do about comments? |
| 08/01/2008 | This is doable | What to do about comments? |
| 07/21/2008 | BitC? | Systems programming in languages other than C? |
| 07/22/2008 | Preparing a release this week. | Systems programming in languages other than C? |
| 07/26/2008 | That symlink won't work. We | Systems programming in languages other than C? |
| 08/05/2008 | Just an update on this | Systems programming in languages other than C? |
| 07/23/2008 | Issues with Cyclone | Systems programming in languages other than C? |
| 08/01/2008 | Unfortunately not | Systems programming in languages other than C? |
| 07/17/2008 | Unfortunately not | Practical Bits of Making a Compiler for a New Language |
| 07/21/2008 | Unfortunately not | Practical Bits of Making a Compiler for a New Language |
| 07/17/2008 | Loops not superfluous | Practical Bits of Making a Compiler for a New Language |
| 07/21/2008 | Why would a compiler | Practical Bits of Making a Compiler for a New Language |
| 07/21/2008 | In a stack-based | Practical Bits of Making a Compiler for a New Language |
| 07/21/2008 | I think the main issue is | Practical Bits of Making a Compiler for a New Language |
| 07/17/2008 | For a concrete look at one implementation... | Practical Bits of Making a Compiler for a New Language |
| 07/21/2008 | Well, since it works... | Practical Bits of Making a Compiler for a New Language |
| 07/17/2008 | ... but sound and complete inference over mutability helps | Practical Bits of Making a Compiler for a New Language |
| 07/17/2008 | Not consistent with my experience, at least | Practical Bits of Making a Compiler for a New Language |
| 07/21/2008 | But those smaller data | Practical Bits of Making a Compiler for a New Language |
| 07/21/2008 | bitcc --noalloc | Practical Bits of Making a Compiler for a New Language |
| 07/24/2008 | I am missing something obvious | Practical Bits of Making a Compiler for a New Language |
| 07/31/2008 | This doesn't smell right | Practical Bits of Making a Compiler for a New Language |
| 07/22/2008 | If you find such a beastie, | Parser Generators Supporting Astral Characters |
| 07/22/2008 | We had to deal with this in BitC | Parser Generators Supporting Astral Characters |
| 07/22/2008 | TinyScheme is pretty nice | Implementing fast interpreters |
| 01/15/2011 | Not preemption-safe | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 04/27/2008 | Nah.. | 2nd Revision of "Thoughts about the Best Introductory Language" |
| 05/08/2008 | AAMP7 | program verification: the very idea |
| 04/21/2008 | Implementation, not language | Static Typing and Expressivity |
| 04/17/2008 | Unenforceable policies | The irreducible physicality of security properties |
| 04/17/2008 | Side channels are orthogonal | The irreducible physicality of security properties |
| 04/21/2008 | Security is an answer, not a question | The irreducible physicality of security properties |
| 04/17/2008 | Funding and Academia | Career paths and concerns |
| 04/27/2008 | This is way off topic, but... | Career paths and concerns |
| 05/08/2008 | Meaning of "systems" | Career paths and concerns |
| 04/27/2008 | Eventually, but not soon | Higher-Order Programming without Closures? |
| 04/27/2008 | BitC doesn't lift this way. | Higher-Order Programming without Closures? |
| 04/27/2008 | Various optimizations | Higher-Order Programming without Closures? |
| 07/22/2008 | Not a requirement | Is null needed? |
| 07/23/2008 | No, there aren't. | Is null needed? |
| 07/24/2008 | Why completely useless. | Is null needed? |
| 08/09/2008 | Abandonment was planned from day zero | Is null needed? |
| 08/09/2008 | Quick responses | Is null needed? |
| 07/24/2008 | Optimizations and constant factors | Is null needed? |
| 07/24/2008 | Interesting hypothesis | Is null needed? |
| 08/09/2008 | Misses the point. | Is null needed? |
| 08/09/2008 | Except that they aren't the same.. | Is null needed? |
| 09/25/2008 | This was needed | Course on Interactive Computer Theorem Proving Based on Coq |
| 09/25/2008 | Umm. | Course on Interactive Computer Theorem Proving Based on Coq |
| 09/26/2008 | They are, but... | Course on Interactive Computer Theorem Proving Based on Coq |
| 08/29/2008 | To go one step further afield... | What is a "fully featured closure"? Request for comments. |
| 09/17/2008 | Related LTU discussion | Typing a function which includes its axioms? |
| 04/27/2008 | Replace it with BitC? | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 04/28/2009 | It might be worthwhile to look at TinyScheme | Writing an interpreter, targeting a VM or writing from scratch? |
| 04/21/2006 | TinyScheme Revived | TinyScheme Revived |
| 06/02/2009 | Reflective, just not about economics | Social science research about programming language adoption? |
| 06/01/2009 | Duff's device v. Safe Languages | Code Reading |
| 06/01/2009 | That hurts | Code Reading |
| 06/01/2009 | Concur - consider OS code | Code Reading |
| 10/29/2008 | In case you're looking too | Object Oriented Programming + Referential Transparency |
| 09/09/2008 | This suggests a paper | Let's make a programming language! |
| 03/03/2010 | Also inspirational in person | Richard Hamming - "You and Your Research" |
| 07/18/2005 | Confusing BitC/P and BitC/L | BitC, a new OS implementation language |
| 07/18/2005 | BitC and S-Exprs | BitC, a new OS implementation language |
| 07/18/2005 | Rationale for a "close to AST" surface syntax | BitC, a new OS implementation language |
| 07/18/2005 | Reducing bugs in BitC | BitC, a new OS implementation language |
| 07/18/2005 | Challenges of verification | BitC, a new OS implementation language |
| 06/01/2009 | Chinese not like LISP | the Chinese natual language |
| 12/14/2008 | Type Error | Shoot-out: most annoying compiler error message |
| 01/11/2009 | Get serious. | Explaining monads |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |