Posts By: Sam Tobin-Hochstadt
| Date | Post | Topic |
| 06/08/2012 | Do you have any specific | Matthew Flatt on Racket Submodules |
| 06/09/2012 | The interleaving is entirely | Matthew Flatt on Racket Submodules |
| 04/17/2012 | Citations | Certified Programming with Dependent Types: home stretch! |
| 04/01/2012 | For Typed Racket | Quantitative comparison of unit testing vs. static typing? |
| 04/07/2012 | Proxies/Chaperones | Quantitative comparison of unit testing vs. static typing? |
| 04/07/2012 | Well, you said originally | Quantitative comparison of unit testing vs. static typing? |
| 04/12/2012 | I think you're confused | Quantitative comparison of unit testing vs. static typing? |
| 04/12/2012 | Fast | Quantitative comparison of unit testing vs. static typing? |
| 04/11/2012 | Works For Me :) | Quantitative comparison of unit testing vs. static typing? |
| 04/02/2012 | Squadron scramble | Quantitative comparison of unit testing vs. static typing? |
| 04/03/2012 | Yes, the example code hadn't | Quantitative comparison of unit testing vs. static typing? |
| 03/06/2012 | send/suspend/dispatch | Adding Delimited and Composable Control to a Production Programming Environment |
| 03/07/2012 | Programming in CPS | Adding Delimited and Composable Control to a Production Programming Environment |
| 09/26/2011 | Not true of Racket | What Does Functional Programming Mean? |
| 09/04/2011 | You should take a look at | the gnu extension language |
| 09/21/2011 | Discussion yes, but with who? | Forum Topics and Story |
| 09/22/2011 | The issue is not that people | Forum Topics and Story |
| 07/21/2011 | I find your lack of faith disturbing | Knockout JS |
| 06/24/2011 | Right | modules are anti-modular |
| 06/24/2011 | messages | modules are anti-modular |
| 06/25/2011 | Naming exports | modules are anti-modular |
| 06/25/2011 | import | modules are anti-modular |
| 06/27/2011 | open is not enough | modules are anti-modular |
| 05/16/2011 | Guido wrong, film at 11 | Why is tail call optimization an issue in GC'd languages? |
| 05/18/2011 | The need for tail calls | Why is tail call optimization an issue in GC'd languages? |
| 05/16/2011 | Rust and GC | One Pass Real-Time Generational Mark-Sweep Garbage Collection |
| 05/18/2011 | Perhaps | One Pass Real-Time Generational Mark-Sweep Garbage Collection |
| 03/24/2011 | Equality just sucks | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/25/2011 | Sets | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/25/2011 | Welcome to Java | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/25/2011 | Comparison | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/09/2011 | Racket's implementation is a library | Keyword and Optional Arguments in PLT Scheme |
| 03/14/2011 | Racket's keyword | Keyword and Optional Arguments in PLT Scheme |
| 03/18/2011 | The code | Keyword and Optional Arguments in PLT Scheme |
| 03/21/2011 | Gestures | Keyword and Optional Arguments in PLT Scheme |
| 03/15/2011 | What are you talking about? | Keyword and Optional Arguments in PLT Scheme |
| 03/15/2011 | I'm still confused | Keyword and Optional Arguments in PLT Scheme |
| 03/15/2011 | Racket | Keyword and Optional Arguments in PLT Scheme |
| 03/08/2011 | Any language with continuations | Middle History of Logic Programming |
| 11/12/2010 | [citation needed] | Lambda the Ultimate seems an Overstatement (not) |
| 11/12/2010 | Church-Rosser for \lambda-v-CS | Lambda the Ultimate seems an Overstatement (not) |
| 11/12/2010 | Critique | Lambda the Ultimate seems an Overstatement (not) |
| 11/13/2010 | names of notions of reduction | Lambda the Ultimate seems an Overstatement (not) |
| 11/13/2010 | Humility still in order | Lambda the Ultimate seems an Overstatement (not) |
| 11/14/2010 | A rule of thumb | Lambda the Ultimate seems an Overstatement (not) |
| 10/06/2010 | Back from the Dead | Design Principles Behind Smalltalk |
| 10/07/2010 | The Racket list | Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction |
| 10/09/2010 | Not correct | Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction |
| 09/21/2010 | Modus Tollens | The Halting Problem on Turing Machines |
| 09/21/2010 | Hard to write | Mildly Extended MixFix |
| 09/21/2010 | Jack | Mildly Extended MixFix |
| 09/13/2010 | Because you haven't every used any interesting macros | Fortifying Macros |
| 09/13/2010 | [meta] | Fortifying Macros |
| 09/14/2010 | debate | Fortifying Macros |
| 08/06/2010 | Racket has this already | Lexical Analysis with Extended Identifiers and Disambiguation by Table Look-up. |
| 08/07/2010 | Nothing to do with syntax | Lexical Analysis with Extended Identifiers and Disambiguation by Table Look-up. |
| 08/24/2010 | More Metaprogramming at ICFP | Type Classes as Objects and Implicits |
| 06/27/2010 | The Expressive Power of Programming Languages | SF-calculus |
| 06/14/2010 | Please No | C-Machine |
| 06/09/2010 | Crash Course | Racket Released |
| 06/09/2010 | Types | Racket Released |
| 06/09/2010 | Not really | Racket Released |
| 06/16/2010 | Scheme in academia | Racket Released |
| 04/14/2010 | Clojure? | Representing Type Information in Dynamically Typed Languages |
| 04/14/2010 | PL Terminology | iPhone PL lockdown |
| 03/17/2010 | Law | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Isabelle's foundations | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Hmm | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | No | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | Still not correct | On the (Alleged) Value of Proof for Assurance |
| 03/18/2010 | The LCF approach | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | No | On the (Alleged) Value of Proof for Assurance |
| 03/19/2010 | Goodbye | On the (Alleged) Value of Proof for Assurance |
| 03/01/2010 | But with macros? | Extending the Scope of Syntactic Abstraction |
| 03/03/2010 | Need for macros | Extending the Scope of Syntactic Abstraction |
| 03/04/2010 | Binding is special | Extending the Scope of Syntactic Abstraction |
| 03/04/2010 | ? | Extending the Scope of Syntactic Abstraction |
| 03/04/2010 | Delta-expansion | Extending the Scope of Syntactic Abstraction |
| 03/05/2010 | Try Scheme | Extending the Scope of Syntactic Abstraction |
| 03/01/2010 | Not really | Extending the Scope of Syntactic Abstraction |
| 03/01/2010 | Missing the definition | Extending the Scope of Syntactic Abstraction |
| 03/01/2010 | Very many things | Extending the Scope of Syntactic Abstraction |
| 03/02/2010 | ad hominem avoidance | Extending the Scope of Syntactic Abstraction |
| 04/23/2010 | nt | A few billion lines of code later: using static analysis to find bugs in the real world |
| 01/25/2010 | Relation to Flatt 07? | Delimited Control in OCaml, Abstractly and Concretely, System Description |
| 02/04/2010 | Not the same | Super and Inner — Together at Last! |
| 12/06/2009 | Not dead yet | Is Small Still Beautiful? |
| 12/04/2009 | Clinger's Paper | Why Object-Oriented Languages Need Tail Calls |
| 12/16/2009 | Sometimes | Why Object-Oriented Languages Need Tail Calls |
| 12/06/2009 | Proper Implementation of Tail Calls is a Semantic Property | Why Object-Oriented Languages Need Tail Calls |
| 12/07/2009 | This is not correct | Why Object-Oriented Languages Need Tail Calls |
| 11/22/2009 | The finest wisdom | Module Initialization and Ordering - Another Module Question |
| 11/16/2009 | Too big a topic | I Seek a Reasonable Survey on the Concept of "Module System" |
| 11/24/2009 | [Meta] Karma | Go or Unladen Swallow? |
| 10/20/2009 | "Real" Scheme | Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language |
| 10/20/2009 | Mind-reading | Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language |
| 10/24/2009 | Not the same | Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language |
| 08/21/2009 | Unfortunate Framing | Scheme to be split into two languages |
| 08/18/2009 | Scheme | functions vs procedures.. |
| 07/29/2009 | Space Optimization | Definition of Functional Programming Language |
| 07/24/2009 | I dissent | Resolved Debates in Syntax Design ? |
| 06/12/2009 | Incompleteness | Preventing downcasting and adding a universal variant |
| 06/12/2009 | Occurrence Typing | Preventing downcasting and adding a universal variant |
| 06/12/2009 | Operational Proofs | Semantics: Logic vs. PL |
| 05/08/2009 | no longer true | Oracle, Sun, and Fortress |
| 12/18/2010 | What theory? | Oracle, Sun, and Fortress |
| 12/19/2010 | And what theory was that? | Oracle, Sun, and Fortress |
| 12/19/2010 | Misunderstanding | Oracle, Sun, and Fortress |
| 05/08/2009 | analyitic phil | Right on! |
| 05/08/2009 | &c | Right on! |
| 06/24/2009 | Nothing wrong with postmodernism | Right on! |
| 06/25/2009 | yes | Right on! |
| 06/25/2009 | - | Right on! |
| 05/05/2009 | No, it isn't | Static typing may require runtime type checking? |
| 05/05/2009 | M | Static typing may require runtime type checking? |
| 05/05/2009 | Terminological confusion | Static typing may require runtime type checking? |
| 05/05/2009 | Confused | Static typing may require runtime type checking? |
| 05/05/2009 | tomato | Static typing may require runtime type checking? |
| 05/05/2009 | object/meta | Static typing may require runtime type checking? |
| 05/06/2009 | meta/object | Static typing may require runtime type checking? |
| 05/05/2009 | GADT | Static typing may require runtime type checking? |
| 04/30/2009 | PLT Scheme now support Literate Programming | What is the best literate programming tool/environment/research work? |
| 04/15/2009 | Garbage Collection Research | Semantics of Memory Management for Polymorphic Languages |
| 04/14/2009 | Really? | Why are objects so unintuitive? |
| 04/15/2009 | Where can you go to get a | Why are objects so unintuitive? |
| 04/07/2009 | Ha | Advantages of pointfree? |
| 03/05/2009 | Importance | Ensuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent Types |
| 03/06/2009 | The term "PLT" | The Meta-LtU Thread |
| 03/07/2009 | Not really | The Meta-LtU Thread |
| 03/07/2009 | The trouble with PLT | The Meta-LtU Thread |
| 03/07/2009 | Off with their heads | The Meta-LtU Thread |
| 03/07/2009 | Like it says in the title | The Meta-LtU Thread |
| 03/08/2009 | Why? | The Meta-LtU Thread |
| 03/08/2009 | Living? | The Meta-LtU Thread |
| 03/08/2009 | Quite so. For me, PLT is a | The Meta-LtU Thread |
| 03/08/2009 | The definition of theory | The Meta-LtU Thread |
| 03/08/2009 | Now we're getting somewhere | The Meta-LtU Thread |
| 03/09/2009 | and now to bed | The Meta-LtU Thread |
| 03/10/2009 | PL | The Meta-LtU Thread |
| 03/10/2009 | You can never take my Principles | The Meta-LtU Thread |
| 03/10/2009 | The dark ages | The Meta-LtU Thread |
| 03/08/2009 | different kinds of design dicussions | The Meta-LtU Thread |
| 03/07/2009 | A concession | The Meta-LtU Thread |
| 02/12/2009 | ? | Parameterized Notions of Computation |
| 02/12/2009 | Hmm | Parameterized Notions of Computation |
| 01/08/2009 | more disagreement | 2008 In Review - What Happened with Programming Languages? |
| 01/09/2009 | 'for free' | 2008 In Review - What Happened with Programming Languages? |
| 01/12/2009 | endless features | 2008 In Review - What Happened with Programming Languages? |
| 01/16/2009 | minimums | 2008 In Review - What Happened with Programming Languages? |
| 01/18/2009 | ? | 2008 In Review - What Happened with Programming Languages? |
| 01/20/2009 | just like C | 2008 In Review - What Happened with Programming Languages? |
| 01/12/2009 | final point | 2008 In Review - What Happened with Programming Languages? |
| 01/13/2009 | backwards | 2008 In Review - What Happened with Programming Languages? |
| 12/17/2008 | See Typed Scheme | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/19/2008 | Typed Scheme | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/22/2008 | Typed Scheme | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 10/30/2008 | Bad Statistics are Worse than None | Web application shootout? |
| 10/17/2008 | CPS! | No more tail calls in Javascript? |
| 10/18/2008 | See Typed Scheme | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/01/2008 | s-exps and types | Help with Mixfix in Bison? |
| 10/05/2008 | Types and Parens | Help with Mixfix in Bison? |
| 10/09/2008 | Hmm | Help with Mixfix in Bison? |
| 09/18/2008 | Typed Scheme | Genericity over tuples |
| 09/23/2008 | An explanation | Genericity over tuples |
| 09/23/2008 | A few points | Genericity over tuples |
| 09/23/2008 | Yes | First-class Macros |
| 09/23/2008 | Laziness | First-class Macros |
| 09/23/2008 | Macros and Interpreters | First-class Macros |
| 09/23/2008 | Staging | First-class Macros |
| 09/23/2008 | But that's wrong | First-class Macros |
| 09/23/2008 | Hmm | First-class Macros |
| 09/24/2008 | Unneccessary? | First-class Macros |
| 06/21/2008 | Both necessary and not | Scaling Type Inference |
| 04/22/2008 | Really? | program verification: the very idea |
| 04/22/2008 | Incompleteness | program verification: the very idea |
| 04/08/2008 | They're both fruit | Simply efficient functional reactivity |
| 04/07/2008 | Syntax-case algorithm | Scheme macro systems |
| 04/07/2008 | Poor discussion of syntax-case | Scheme macro systems |
| 01/28/2008 | What's wrong with equality? | Really un-mutable Scheme |
| 01/29/2008 | But you still want `eqv?' | Really un-mutable Scheme |
| 01/22/2008 | Exactly | The Design and Implementation of Typed Scheme |
| 01/24/2008 | See Fritz Henglein's work on this | The Design and Implementation of Typed Scheme |
| 01/27/2008 | Parametricity in Typed Scheme | The Design and Implementation of Typed Scheme |
| 02/06/2008 | More details | The Design and Implementation of Typed Scheme |
| 11/22/2007 | Not in R6RS | What are the properties of "Functional Programming Languages"? |
| 11/14/2007 | R*5*RS | PLT Redex operational semantics for Scheme |
| 09/15/2006 | Changes | Draft R6RS available |
| 09/15/2006 | R*5*RS | Draft R6RS available |
| 03/27/2006 | What is static typing? | Extremely static language? |
| 03/22/2006 | The patent seems to require CPS | Using continuations in Web applications is patented |
| 03/14/2006 | Why not boxes? | Scheme Language Steering Committee Report to the Community |
| 11/02/2005 | swing? | Bruce Tate: Technologies that may challenge Java |
| 10/05/2005 | What do you mean "model"? | Chapel: "Solving the parallel programming problem" |
| 10/05/2005 | Part of the DARPA HPCS Project | Chapel: "Solving the parallel programming problem" |
| 04/07/2010 | Hmm | Static Typing Where Possible, Dynamic Typing When Needed |
| 04/07/2010 | Recent Work | Static Typing Where Possible, Dynamic Typing When Needed |
| 04/27/2005 | Sort of | The Fortress Language Spec v0.618 |
| 04/27/2005 | Precision vs Math | The Fortress Language Spec v0.618 |
| 04/27/2005 | Academic vs "Real" languages | The Fortress Language Spec v0.618 |
| 04/27/2005 | Why Type Erasure is Wrong | 2005 Programming Languages Day at Watson |
| 03/10/2005 | Re: Glasperlenspiel | Educational Pearl: Automata as Macros |
| 01/22/2005 | HTDP as a text | Getting Started |
| 01/23/2005 | It's all there | Getting Started |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |