Posts By: cdiggins
Date | Post | Topic |
10/04/2011 | Me too | Language/Compiler design blogs? |
10/02/2011 | SECD Machine - RAP? | SECD Machine - RAP? |
10/02/2011 | Great answer, thank you very | SECD Machine - RAP? |
08/01/2011 | Be happy Oleg is posting! | Implementor's guide/tutorial to delimited continuations? |
03/19/2011 | Continuations that store the heap? | Continuations that store the heap? |
03/19/2011 | thanks | Continuations that store the heap? |
03/25/2011 | Continuations that store the heap? | Continuations that store the heap? |
03/25/2011 | Why not distributed computing? | Continuations that store the heap? |
03/20/2011 | First class stores | Continuations that store the heap? |
08/22/2010 | Active Objects | Unifying Actors and Objects? |
08/25/2010 | More context | Unifying Actors and Objects? |
06/12/2010 | Shameless plug | Interpreter to compiler generator? |
04/02/2010 | I second this very strongly. | Go's proposed panic/recover exception-like mechanism |
04/02/2010 | Suggested alternatives? | Go's proposed panic/recover exception-like mechanism |
04/06/2010 | Great summary | Go's proposed panic/recover exception-like mechanism |
04/07/2010 | Excellent point | Go's proposed panic/recover exception-like mechanism |
01/26/2010 | Ten is nothing. | Operator precedence |
01/20/2010 | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields |
01/20/2010 | Thanks | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields |
01/20/2010 | Thanks for sharing these | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields |
01/20/2010 | If people want precise | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields |
01/20/2010 | Good point. Lua was actually | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields |
01/20/2010 | Thanks for sharing this | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields |
01/21/2010 | Chicken and egg | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields |
01/21/2010 | Good challenges! | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields |
12/23/2009 | Parameterized Modules | Parameterized Modules |
12/23/2009 | Modules are objects? | Parameterized Modules |
12/23/2009 | Useful information thanks. | Parameterized Modules |
12/23/2009 | My aha moment | Parameterized Modules |
12/23/2009 | A problem of modularity and global state | Parameterized Modules |
12/23/2009 | An alternative design | Parameterized Modules |
12/23/2009 | The originating module | Parameterized Modules |
12/24/2009 | Thank you very much for | Parameterized Modules |
01/05/2010 | Sharing module data in global namespace is indeed bad | Parameterized Modules |
01/07/2010 | Are you sure you want to know? | Parameterized Modules |
01/08/2010 | Good advice | Parameterized Modules |
12/12/2009 | Metaprogramming and Heron : Five Years Later | Metaprogramming and Heron : Five Years Later |
12/13/2009 | Is that a more common method | Metaprogramming and Heron : Five Years Later |
12/13/2009 | But it isn't a function | Metaprogramming and Heron : Five Years Later |
12/16/2009 | Messy semantics | Metaprogramming and Heron : Five Years Later |
12/13/2009 | The whole program | Metaprogramming and Heron : Five Years Later |
12/13/2009 | Interesting idea | Metaprogramming and Heron : Five Years Later |
12/16/2009 | Or in Heron, replace all | Metaprogramming and Heron : Five Years Later |
10/15/2009 | Maybe R3RS? | Standard, simple subset of Scheme for experimentation? |
10/03/2009 | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
10/04/2009 | Thank you! | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
10/04/2009 | I think I understand 'box gamma exp' | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
10/07/2009 | This is a great thread | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
10/04/2009 | Very useful glossary | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
12/22/2009 | Interesting, but how does it work? | Objects as Modules in Newspeak |
12/22/2009 | This helps a lot | Objects as Modules in Newspeak |
12/22/2009 | Still confused. | Objects as Modules in Newspeak |
12/23/2009 | Very interesting, and thanks | Objects as Modules in Newspeak |
12/22/2009 | Objects as Modules in Newspeak | Objects as Modules in Newspeak |
12/23/2009 | Dependency inversion principle | Objects as Modules in Newspeak |
12/23/2009 | And abstraction means something here? | Objects as Modules in Newspeak |
12/23/2009 | Its because I wasn't just | Objects as Modules in Newspeak |
12/23/2009 | About relationships between abstractions | Objects as Modules in Newspeak |
12/24/2009 | Wow. | Objects as Modules in Newspeak |
12/23/2009 | Not familiar with Spring | Objects as Modules in Newspeak |
06/18/2009 | Cat | Target Backend for a Uniquely Typed Language |
06/12/2009 | Preventing downcasting and adding a universal variant | Preventing downcasting and adding a universal variant |
06/12/2009 | Thanks, definitely! | Preventing downcasting and adding a universal variant |
06/14/2009 | I'm lost | Preventing downcasting and adding a universal variant |
06/13/2009 | I'm assuming that a term of | Preventing downcasting and adding a universal variant |
06/14/2009 | Variant casts aren't downcasts | Preventing downcasting and adding a universal variant |
06/13/2009 | Valid point | Preventing downcasting and adding a universal variant |
06/13/2009 | Bang on | Preventing downcasting and adding a universal variant |
06/13/2009 | Neat stuff. | Preventing downcasting and adding a universal variant |
06/16/2009 | Much appreciated | Preventing downcasting and adding a universal variant |
05/17/2009 | Extension Methods versus Structural Typing of Traits for solving the expression problem | Extension Methods versus Structural Typing of Traits for solving the expression problem |
05/17/2009 | Thanks Miles | Extension Methods versus Structural Typing of Traits for solving the expression problem |
05/18/2009 | Thanks a lot! | Extension Methods versus Structural Typing of Traits for solving the expression problem |
05/19/2009 | Please continue! | Extension Methods versus Structural Typing of Traits for solving the expression problem |
05/18/2009 | Good point | Extension Methods versus Structural Typing of Traits for solving the expression problem |
05/19/2009 | So many subjects, so little time. | Extension Methods versus Structural Typing of Traits for solving the expression problem |
05/14/2009 | Cool work | Capabilities for External Uniqueness |
03/09/2009 | Cat is no longer linear | Linear Logic and Permutation Stacks--The Forth Shall Be First |
03/10/2009 | I couldn't figure out how to | Linear Logic and Permutation Stacks--The Forth Shall Be First |
03/11/2009 | The JVM is a hybrid | Linear Logic and Permutation Stacks--The Forth Shall Be First |
01/17/2009 | Macro systems | Macro systems |
01/17/2009 | Agreed: flexible and dangerous | Macro systems |
01/19/2009 | Not as simple as that | Macro systems |
01/19/2009 | When I give someone an | Macro systems |
01/18/2009 | The problem that I run into | Macro systems |
01/19/2009 | What I wanted! | Macro systems |
01/18/2009 | Great point | Macro systems |
01/19/2009 | Thank you for lending some | Macro systems |
01/21/2009 | Sample code | Macro systems |
01/22/2009 | Thank you very much Anton | Macro systems |
09/06/2008 | ML Closure vs Scheme Closure | ML Closure vs Scheme Closure |
09/06/2008 | Thanks James | ML Closure vs Scheme Closure |
06/15/2008 | Cat Interpreter in JavaScript with Turtle Graphics | Cat Interpreter in JavaScript with Turtle Graphics |
06/07/2008 | I second that! | help with understanding combinatory logic |
04/24/2008 | On Presenting Operational Semantics | On Presenting Operational Semantics |
04/24/2008 | Thanks | On Presenting Operational Semantics |
04/25/2008 | Very helpful, thank you. | On Presenting Operational Semantics |
04/20/2008 | HMF: Simple type inference for first-class polymorphism | HMF: Simple type inference for first-class polymorphism |
04/10/2008 | Can local variables assignments be considered pure functional without monads? | Can local variables assignments be considered pure functional without monads? |
04/10/2008 | the most useful properties | Can local variables assignments be considered pure functional without monads? |
04/10/2008 | So where is the loss of referential transparency? | Can local variables assignments be considered pure functional without monads? |
04/10/2008 | The implementation is purely functional | Can local variables assignments be considered pure functional without monads? |
04/10/2008 | Labeling effects. | Can local variables assignments be considered pure functional without monads? |
04/10/2008 | General recursion is impure | Can local variables assignments be considered pure functional without monads? |
04/10/2008 | Thanks a lot for the links. | Can local variables assignments be considered pure functional without monads? |
04/10/2008 | While is goto with assignment == let | Can local variables assignments be considered pure functional without monads? |
04/11/2008 | This threading of the stack | Can local variables assignments be considered pure functional without monads? |
04/12/2008 | Moving Expressions | Can local variables assignments be considered pure functional without monads? |
04/11/2008 | Order unimportant | Can local variables assignments be considered pure functional without monads? |
04/11/2008 | Oh, whoops | Can local variables assignments be considered pure functional without monads? |
04/11/2008 | Rewriting "process" using fold | Can local variables assignments be considered pure functional without monads? |
04/12/2008 | Thanks for the example | Can local variables assignments be considered pure functional without monads? |
04/13/2008 | Here you go | Can local variables assignments be considered pure functional without monads? |
04/13/2008 | Kevin Millikin's Cat Evaluator in ML | Can local variables assignments be considered pure functional without monads? |
04/14/2008 | Inner Forall Polymorphism and Equirecursive Types | Can local variables assignments be considered pure functional without monads? |
04/07/2008 | You can in C++ | Static Analysis for Duck Typing |
04/08/2008 | It is easy to pass | Static Analysis for Duck Typing |
04/10/2008 | Where is the duck-typing? | Static Analysis for Duck Typing |
04/10/2008 | Go take a look at | Static Analysis for Duck Typing |
04/03/2008 | Rewriting rules for deducing properties of functions | Rewriting rules for deducing properties of functions |
04/03/2008 | Thanks | Rewriting rules for deducing properties of functions |
04/03/2008 | Undecidability not a big concern | Rewriting rules for deducing properties of functions |
04/03/2008 | Found the Pettorossi paper | Rewriting rules for deducing properties of functions |
04/04/2008 | "providing the compiler with | Rewriting rules for deducing properties of functions |
04/04/2008 | Rippling is cool | Rewriting rules for deducing properties of functions |
04/04/2008 | Great stuff | Rewriting rules for deducing properties of functions |
04/02/2008 | Erasmus: A Modular Language for Concurrent Programming | Erasmus: A Modular Language for Concurrent Programming |
04/02/2008 | Is CML really that relevant? | Erasmus: A Modular Language for Concurrent Programming |
03/23/2008 | Rhope not Rhode | Rhope a dataflow-based language |
03/19/2008 | Role of Types in Evaluation Strategy | Role of Types in Evaluation Strategy |
03/19/2008 | Thanks Derek | Role of Types in Evaluation Strategy |
03/20/2008 | Law abiding citizens | Role of Types in Evaluation Strategy |
03/20/2008 | Neat | Role of Types in Evaluation Strategy |
03/20/2008 | Thanks Anton, that is an | Role of Types in Evaluation Strategy |
03/22/2008 | Thanks | Role of Types in Evaluation Strategy |
03/20/2008 | Figs? | Role of Types in Evaluation Strategy |
03/07/2008 | Applied Metamodelling: A Foundation for Language Driven Development | Applied Metamodelling: A Foundation for Language Driven Development |
03/09/2008 | Great links | Applied Metamodelling: A Foundation for Language Driven Development |
03/09/2008 | Not quite what I meant | Applied Metamodelling: A Foundation for Language Driven Development |
03/10/2008 | Seems fragile | Applied Metamodelling: A Foundation for Language Driven Development |
03/11/2008 | Noted | Applied Metamodelling: A Foundation for Language Driven Development |
03/04/2008 | Question | Help John Baez and Mike Stay! |
03/05/2008 | How about labelling it, and leaving it in the forum | Help John Baez and Mike Stay! |
03/05/2008 | Hello Matt | Help John Baez and Mike Stay! |
02/17/2008 | Reductio ad absurdum | succinctness |
02/17/2008 | Reading between the lines. | succinctness |
02/17/2008 | Brevity costs clarity | succinctness |
02/17/2008 | Brevity and Clarity | succinctness |
02/15/2008 | Not quite | Recursive Algorithms that cannot be expresses with Tail-Recursion? |
02/05/2008 | Jumbala : An Action Language for UML State Machines | Jumbala : An Action Language for UML State Machines |
02/06/2008 | Read my mind!!! | Jumbala : An Action Language for UML State Machines |
02/05/2008 | Signals in an OOPL | Signals in an OOPL |
02/05/2008 | I assume that in this | Signals in an OOPL |
02/05/2008 | Semantics in xUML | Signals in an OOPL |
02/05/2008 | AFAIK Signal handlers = asynchronous operations | Signals in an OOPL |
02/05/2008 | On Message Passing | Signals in an OOPL |
02/07/2008 | Great link | Signals in an OOPL |
02/08/2008 | Makes sense | Signals in an OOPL |
02/06/2008 | Signals Handlers and State Machines | Signals in an OOPL |
02/07/2008 | "If it existed, it would | Signals in an OOPL |
02/06/2008 | Katahdin | Languages and data conversions. |
02/03/2008 | Kermeta Programming Language | Kermeta Programming Language |
01/28/2008 | or C#, or VB, or managed C++, or L#, or ... | VM's... What's the best? |
01/25/2008 | Joy (or Cat) | Embedded concurrent FPish languages? |
01/22/2008 | Compile-Time Execution in an Object Oriented Language | Compile-Time Execution in an Object Oriented Language |
01/22/2008 | Adhoc Tags vs Adhoc Keywords | Compile-Time Execution in an Object Oriented Language |
01/22/2008 | Great links | Compile-Time Execution in an Object Oriented Language |
01/22/2008 | Virgil looks very | Compile-Time Execution in an Object Oriented Language |
01/22/2008 | On Static | Compile-Time Execution in an Object Oriented Language |
01/22/2008 | Why Tags? | Compile-Time Execution in an Object Oriented Language |
01/22/2008 | Executable UML will go Mainstream | Prediction for 2008 |
12/08/2007 | My definition | functions, statements, expressions |
12/09/2007 | Good points | functions, statements, expressions |
12/09/2007 | Colloquial is all I got | functions, statements, expressions |
12/18/2007 | No named local functions in Cat | functions, statements, expressions |
11/08/2007 | Now definitely tangential ... | Universal Type System |
09/29/2007 | More courtesy please. | Witnessing Side-Effects |
09/29/2007 | Isn't that counterproductive? | Witnessing Side-Effects |
09/14/2007 | Reconstructing Abstractions | Reconstructing Abstractions |
09/15/2007 | Much appreciated | Reconstructing Abstractions |
09/13/2007 | Compositional type systems for stack-based low-level languages | Compositional type systems for stack-based low-level languages |
09/13/2007 | Compositional type inference | Compositional type systems for stack-based low-level languages |
09/14/2007 | Thanks. | Compositional type systems for stack-based low-level languages |
09/16/2007 | I agree: comments shouldn't be whitespace | DivaScheme |
08/25/2007 | Warning: Shameless plugs | An Accidental Simula User, Luca Cardelli |
07/09/2007 | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
07/10/2007 | YARD vs Spirit | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
07/11/2007 | Correction | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
07/11/2007 | Thanks | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
07/11/2007 | Not so different | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
07/11/2007 | Questions answered | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
07/12/2007 | Very good point. | [ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework |
07/09/2007 | Loops allow tree definitions | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
07/04/2007 | Thank you! | Forth in hardware ("not dead yet") |
07/03/2007 | Cat does address the types of the elements | Forth in hardware ("not dead yet") |
07/04/2007 | Type inference FTW | Forth in hardware ("not dead yet") |
07/03/2007 | The big difference between | Thinking Forth & Starting Forth |
06/28/2007 | What's the big deal? | Haskell web store |
06/25/2007 | Fully Inferable Languages | Fully Inferable Languages |
06/26/2007 | Principal Type vs Principal Typings | Fully Inferable Languages |
06/26/2007 | Clarity | Fully Inferable Languages |
06/20/2007 | A suggestion | Katahdin: Modifying your programming language as it runs |
06/23/2007 | Multi-pass parsing? | Katahdin: Modifying your programming language as it runs |
06/04/2007 | Typed callcc in a stack-based language | Typed callcc in a stack-based language |
06/05/2007 | No it wouldn't, but either | Typed callcc in a stack-based language |
06/05/2007 | The revised type. | Typed callcc in a stack-based language |
06/05/2007 | Thanks, fixed. | Typed callcc in a stack-based language |
06/05/2007 | Good question. I need to | Typed callcc in a stack-based language |
06/05/2007 | Continuations and Evaluators. | Typed callcc in a stack-based language |
06/06/2007 | Thank you very much | Typed callcc in a stack-based language |
06/06/2007 | Great Link | Typed callcc in a stack-based language |
06/04/2007 | Great article, thanks for | How the Chicken Scheme compiler works |
05/24/2007 | Currying != Generalized Partial Application?! | Currying != Generalized Partial Application?! |
05/22/2007 | [ANN] Cat v0.14 and MetaCat Programming Languages | [ANN] Cat v0.14 and MetaCat Programming Languages |
05/17/2007 | What's in a name: eval vs apply. | What's in a name: eval vs apply. |
05/18/2007 | More than what appears on the surface | What's in a name: eval vs apply. |
05/18/2007 | Obviousness is in the eye of the beholder | What's in a name: eval vs apply. |
05/18/2007 | Good points. | What's in a name: eval vs apply. |
05/18/2007 | Dequoting == Function Application | What's in a name: eval vs apply. |
05/18/2007 | I see | What's in a name: eval vs apply. |
05/18/2007 | Side-effects. | What's in a name: eval vs apply. |
05/07/2007 | Type-Safe Casts | Type-Safe Casts |
05/08/2007 | Parameterizing a type makes | Type-Safe Casts |
04/23/2007 | Putting on my Opinionated Hat | Almost invisible upgrade |
04/22/2007 | But what about more general | From abstract interpretation to small-step typing |
04/23/2007 | More Ideas | From abstract interpretation to small-step typing |
04/24/2007 | Tracking Control Paths | From abstract interpretation to small-step typing |
04/24/2007 | And the point is? | From abstract interpretation to small-step typing |
04/25/2007 | Some confusion | From abstract interpretation to small-step typing |
04/20/2007 | Modular Verification of Assembly Code with Stack-Based Control Abstractions | Modular Verification of Assembly Code with Stack-Based Control Abstractions |
04/15/2007 | I disagree. | Thoughts about the Best Introductory Language |
04/11/2007 | Inferring Types for Higher Order Instructions in Stack Languages | Inferring Types for Higher Order Instructions in Stack Languages |
04/07/2007 | Why can't you push instructions in MSIL/JVML | Why can't you push instructions in MSIL/JVML |
04/07/2007 | It doesn't have to be dynamic. | Why can't you push instructions in MSIL/JVML |
04/07/2007 | "I'm not clear what this | Why can't you push instructions in MSIL/JVML |
04/08/2007 | That isn't true | Why can't you push instructions in MSIL/JVML |
04/08/2007 | Thanks! | Why can't you push instructions in MSIL/JVML |
04/08/2007 | Huge overhead | Why can't you push instructions in MSIL/JVML |
04/09/2007 | JIT'd quickly | Why can't you push instructions in MSIL/JVML |
04/10/2007 | Machine code is a functional stack-based language | Why can't you push instructions in MSIL/JVML |
04/02/2007 | Terminology: Thunking vs Quoting | Terminology: Thunking vs Quoting |
04/02/2007 | Thanks for the suggestion | Terminology: Thunking vs Quoting |
04/03/2007 | On the evaluation of arguments | Terminology: Thunking vs Quoting |
04/02/2007 | Yes you are right | Terminology: Thunking vs Quoting |
03/24/2007 | Functions shouldn't be lists, functions should be cast to lists | Functions shouldn't be lists, functions should be cast to lists |
03/25/2007 | Thanks for the explanation | Functions shouldn't be lists, functions should be cast to lists |
03/25/2007 | Abstract Data Types and Term Rewriting | Functions shouldn't be lists, functions should be cast to lists |
03/24/2007 | A live language supports | Living it up with a Live Programming Language |
03/25/2007 | If the language isn't simple | Living it up with a Live Programming Language |
03/22/2007 | Where's the programming language theory? | A Real-World Use of Lift, a Scala Web Application Framework |
03/20/2007 | Abstract Data Type Usage Analysis | Abstract Data Type Usage Analysis |
03/14/2007 | Typing a Functional Stack-Based Language | Typing a Functional Stack-Based Language |
03/20/2007 | Efficiency? Definitely! | Implementation Inheritance |
03/13/2007 | Sounds like ... | Implementation Inheritance |
03/13/2007 | My feelings | Implementation Inheritance |
03/14/2007 | In my idea of a perfect OOPL | Implementation Inheritance |
03/14/2007 | Implementation Inheritance | Implementation Inheritance |
03/02/2007 | Non-Applicative Functional Languages | Non-Applicative Functional Languages |
03/02/2007 | Concatenative == Non-Applicative | Non-Applicative Functional Languages |
03/02/2007 | Thanks! | Non-Applicative Functional Languages |
03/08/2007 | Interesting! My problem with | Non-Applicative Functional Languages |
03/08/2007 | Both CPS and ANF | Non-Applicative Functional Languages |
03/09/2007 | Food for thought | Non-Applicative Functional Languages |
04/03/2007 | MapReduce in Cat (explanation and one-liner) | MapReduce |
02/26/2007 | [Req. for Comments] Cat: A Typed Functional Stack-Based Language | [Req. for Comments] Cat: A Typed Functional Stack-Based Language |
02/26/2007 | Definitely relevant! | [Req. for Comments] Cat: A Typed Functional Stack-Based Language |
02/20/2007 | Effects in Types | Effects in Types |
02/20/2007 | Thank you | Effects in Types |
02/20/2007 | Thanks | Effects in Types |
01/31/2007 | [RFC] Cat: A Typed Functional Stack Based Language | [RFC] Cat: A Typed Functional Stack Based Language |
01/31/2007 | Quote is typed correctly | [RFC] Cat: A Typed Functional Stack Based Language |
02/03/2007 | Age of stack-based languages | [RFC] Cat: A Typed Functional Stack Based Language |
02/01/2007 | Plus one for autodidacts | Want to do undergraduate research, but CS dept is weak... |
01/27/2007 | Quality of the post questionable | Ralf Lammel: Stop dysfunctional programming |
01/28/2007 | I am refering to this | Ralf Lammel: Stop dysfunctional programming |
01/24/2007 | Good interview | Software Composability and the Future of Languages |
01/16/2007 | Type of an Eval Statement | Intellisense for dynamic languages |
01/12/2007 | On Presenting the Semantics of Cat Formally | On Presenting the Semantics of Cat Formally |
01/12/2007 | Yes! | On Presenting the Semantics of Cat Formally |
01/12/2007 | What is T-DIIP? | On Presenting the Semantics of Cat Formally |
12/23/2006 | Linking would be appreciated. | Quotation and evaluation -- or, how pure is the pure lambda calculus? |
12/23/2006 | A modern eye on ML type inference - Pottier 2005 | A modern eye on ML type inference - Pottier 2005 |
12/20/2006 | Modeling and Typing Combinatory Calculus | Modeling and Typing Combinatory Calculus |
12/22/2006 | I can't immediately see a | Modeling and Typing Combinatory Calculus |
12/12/2006 | [Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner | [Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner |
12/12/2006 | I've just done that. Perhaps | [Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner |
12/12/2006 | Fine. I will refrain from | [Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner |
12/10/2006 | The Problem with "dup" and "swap" in Stack-Based Languages | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | Not dumb at all! | The Problem with "dup" and "swap" in Stack-Based Languages |
12/12/2006 | Then I stand corrected. | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | Interesting | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | Oh-oh | The Problem with "dup" and "swap" in Stack-Based Languages |
12/12/2006 | Great stuff! | The Problem with "dup" and "swap" in Stack-Based Languages |
12/12/2006 | T(x) = | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | Attempt at further clarification | The Problem with "dup" and "swap" in Stack-Based Languages |
01/12/2007 | Thanks | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | StrongForth | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | Good question | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | One thing to note is that | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | Completeness | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | Thank you! | The Problem with "dup" and "swap" in Stack-Based Languages |
12/12/2006 | This is interesting | The Problem with "dup" and "swap" in Stack-Based Languages |
12/12/2006 | Unfortunately I don't. | The Problem with "dup" and "swap" in Stack-Based Languages |
12/10/2006 | YubNub for Programming Language Research | YubNub for Programming Language Research |
12/11/2006 | Unfortunately, it seems that | YubNub for Programming Language Research |
12/11/2006 | For the record I have | YubNub for Programming Language Research |
12/11/2006 | Please accept my apologies! | YubNub for Programming Language Research |
12/12/2006 | [Offtopic] Names and Urls | YubNub for Programming Language Research |
12/07/2006 | Natural Deduction Reading for Beginners | Natural Deduction Reading for Beginners |
12/06/2006 | [Redux] A Syntactic Approach to Type Soundness (1992) | [Redux] A Syntactic Approach to Type Soundness (1992) |
12/06/2006 | Done. | [Redux] A Syntactic Approach to Type Soundness (1992) |
12/06/2006 | In the future I will do so, | [Redux] A Syntactic Approach to Type Soundness (1992) |
12/06/2006 | The Cat Language Kind System | The Cat Language Kind System |
12/06/2006 | Good catch! | The Cat Language Kind System |
12/11/2006 | Good catch | The Cat Language Kind System |
12/07/2006 | Pain points? | The Cat Language Kind System |
12/07/2006 | Thanks for the tips | The Cat Language Kind System |
12/08/2006 | Great idea | The Cat Language Kind System |
12/07/2006 | Ok, I revisited your rules | The Cat Language Kind System |
12/07/2006 | Before that | The Cat Language Kind System |
12/02/2006 | How to write a Programming Language Paper? | How to write a Programming Language Paper? |
12/02/2006 | Thanks for your suggestion | How to write a Programming Language Paper? |
12/04/2006 | I'll give it my old college | How to write a Programming Language Paper? |
12/04/2006 | I suspect Cat | How to write a Programming Language Paper? |
12/04/2006 | You got it. | How to write a Programming Language Paper? |
12/04/2006 | Good advice | How to write a Programming Language Paper? |
12/04/2006 | Good links | How to write a Programming Language Paper? |
12/01/2006 | SK Calculus not Consider SeKsy? | SK Calculus not Consider SeKsy? |
12/01/2006 | Whoops! | SK Calculus not Consider SeKsy? |
12/01/2006 | Intentionally in the forums. | SK Calculus not Consider SeKsy? |
12/01/2006 | Funny that you should ask. | SK Calculus not Consider SeKsy? |
12/01/2006 | As someone else said in | SK Calculus not Consider SeKsy? |
12/02/2006 | I wonder | SK Calculus not Consider SeKsy? |
11/29/2006 | Ignoring the C++ and O'Caml | C++ has indeed become too "expert friendly" |
11/29/2006 | Blog Proposal | The Future of LtU |
11/23/2006 | Programming Language Research Search Engine | Programming Language Research Search Engine |
11/27/2006 | Language List | Programming Language Research Search Engine |
11/23/2006 | Try googling nice | Programming Language Research Search Engine |
11/24/2006 | Thanks Frank | Programming Language Research Search Engine |
11/24/2006 | Sorry about that | Programming Language Research Search Engine |
11/24/2006 | Browser Problems | Programming Language Research Search Engine |
11/25/2006 | New URL and Domain | Programming Language Research Search Engine |
11/25/2006 | Adding E | Programming Language Research Search Engine |
11/28/2006 | Sorry for not responding to | Programming Language Research Search Engine |
11/25/2006 | Added | Programming Language Research Search Engine |
11/29/2006 | Thanks | Programming Language Research Search Engine |
11/29/2006 | Done | Programming Language Research Search Engine |
12/28/2006 | I`d love to see either | Programming Language Research Search Engine |
11/18/2006 | if Records - Labels = Tuples then Rows - Labels = what? | if Records - Labels = Tuples then Rows - Labels = what? |
11/18/2006 | Gaster and Jones | if Records - Labels = Tuples then Rows - Labels = what? |
11/20/2006 | if Records - Labels = Tuples then Rows - Labels = what? | if Records - Labels = Tuples then Rows - Labels = what? |
11/14/2006 | Type Difference | Type Difference |
11/14/2006 | Undefined or empty | Type Difference |
11/14/2006 | The generalized concept | Type Difference |
11/14/2006 | Good point | Type Difference |
11/15/2006 | The problem restated. | Type Difference |
11/15/2006 | This rule is wrong. You | Type Difference |
11/16/2006 | Great stuff! | Type Difference |
11/18/2006 | Thank you very much for | Type Difference |
11/14/2006 | What about concatenation? | Type Difference |
11/08/2006 | The Type of a Recursive Combinator | The Type of a Recursive Combinator |
11/10/2006 | Good idea | The Type of a Recursive Combinator |
11/23/2006 | Not entirely useless | Type inference and union types |
11/23/2006 | Don't use Wikipedia | Type inference and union types |
10/31/2006 | Shameless plug .. but maybe meritorious. | Want to learn something new |
10/27/2006 | Cat Version 0.9 | Cat Version 0.9 |
10/25/2006 | The Type of 42 | The Type of 42 |
10/25/2006 | Sorry ... | The Type of 42 |
10/25/2006 | Not all programs can be | The Type of 42 |
10/26/2006 | (int int)->(int) | The Type of 42 |
10/26/2006 | Good idea | The Type of 42 |
10/17/2006 | On Publishing | On Publishing |
09/23/2006 | Designing a Programming Textbook | Designing a Programming Textbook |
09/26/2006 | To be fair ... | Designing a Programming Textbook |
09/28/2006 | Great Points | Designing a Programming Textbook |
09/23/2006 | Unsolvable? | SSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing? |
09/03/2006 | Small Value Set Types | Small Value Set Types |
09/04/2006 | The link was broken but I | Small Value Set Types |
09/02/2006 | Constant Values as Types | Constant Values as Types |
09/03/2006 | Dependent Types | Constant Values as Types |
09/03/2006 | Overambitious Type Systems | Constant Values as Types |
09/03/2006 | Thanks Tim, this makes a lot | Constant Values as Types |
09/03/2006 | ... and why don't they? | Dynamic Semantics |
09/04/2006 | In this context—that is, | Dynamic Semantics |
08/26/2006 | Something related? | The whole Enchilada |
08/25/2006 | Multi-Stage Languages | Multi-Stage Languages |
08/26/2006 | Purity Trashing | Multi-Stage Languages |
08/26/2006 | Perhaps I am naive | Multi-Stage Languages |
08/26/2006 | In these scenarios | Multi-Stage Languages |
08/26/2006 | I will have to take a look | Multi-Stage Languages |
08/09/2006 | On Mixing Static Typing, Dynamic Typing and Values | On Mixing Static Typing, Dynamic Typing and Values |
08/06/2006 | Expressing the Type of a While Loop | Expressing the Type of a While Loop |
08/06/2006 | I haven't yet ... | Expressing the Type of a While Loop |
08/06/2006 | Thanks for bringing this up. | Expressing the Type of a While Loop |
08/05/2006 | This is very well put. I | The Killer Application for Concatenative Languages |
08/05/2006 | Fusion Optimizations | The Killer Application for Concatenative Languages |
08/07/2006 | I'm impressed! That is quite | The Killer Application for Concatenative Languages |
08/03/2006 | Overloading : Why do some languages leave it out? | Overloading : Why do some languages leave it out? |
08/02/2006 | Cat Programming Language: Slides from Lang. NET 2006 | Cat Programming Language: Slides from Lang. NET 2006 |
08/03/2006 | Sorry about that, I get my | Cat Programming Language: Slides from Lang. NET 2006 |
08/03/2006 | Yes the compiler would catch | Cat Programming Language: Slides from Lang. NET 2006 |
08/03/2006 | Cat Programming Language: Slides from Lang. NET 2006 | Cat Programming Language: Slides from Lang. NET 2006 |
08/03/2006 | I haven't yet explored the | Cat Programming Language: Slides from Lang. NET 2006 |
08/05/2006 | No destructive semantics. | Cat Programming Language: Slides from Lang. NET 2006 |
07/23/2006 | bullfeathers? | Cost of provably-correct code |
06/17/2006 | Cat version 0.2 | Cat version 0.2 |
05/28/2006 | Cat Language Download, Sources, and Introduction | Cat Language Download, Sources, and Introduction |
05/29/2006 | Good catch. My EBNF is not | Cat Language Download, Sources, and Introduction |
05/13/2006 | The Cat Programming Language | The Cat Programming Language |
05/15/2006 | I am unfamiliar with | The Cat Programming Language |
05/14/2006 | Interesting Idea | The Cat Programming Language |
05/15/2006 | Optimization Scenarios and Typechecking | The Cat Programming Language |
05/16/2006 | Optimization opportunities and type systems | The Cat Programming Language |
05/17/2006 | I gave you one | The Cat Programming Language |
05/11/2006 | Optimization - Symmetric Reductions | Optimization - Symmetric Reductions |
05/09/2006 | Parameteric Polymorphism from a C++ Perspective (good or bad?) | Parameteric Polymorphism from a C++ Perspective (good or bad?) |
05/06/2006 | Designing a Type Notation for a Stack Based Functional Language | Designing a Type Notation for a Stack Based Functional Language |
05/06/2006 | Good point! | Designing a Type Notation for a Stack Based Functional Language |
05/07/2006 | Implementation inference | Designing a Type Notation for a Stack Based Functional Language |
05/08/2006 | I might be missing something important ... | Designing a Type Notation for a Stack Based Functional Language |
05/08/2006 | That looks quite cool, good | Designing a Type Notation for a Stack Based Functional Language |
05/02/2006 | Filter-Reduce Optimization | Filter-Reduce Optimization |
05/02/2006 | Great Links | Filter-Reduce Optimization |
04/29/2006 | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
04/29/2006 | Isn't "reduce" another name for "fold" rather than "filter" | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
04/30/2006 | Good point | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
04/30/2006 | An area for research | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
04/30/2006 | So if I understand you, | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
05/02/2006 | That is indeed useful. I | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
08/22/2006 | Great Links | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
03/12/2006 | Contract Verification and Structural Subtyping of Interfaces | Contract Verification and Structural Subtyping of Interfaces |
03/13/2006 | Naming versus Contracts | Contract Verification and Structural Subtyping of Interfaces |
02/22/2006 | Signature Based Polymorphism, Structural Subtyping and Duck Typing | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
02/23/2006 | What about structural subtyping? | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
02/24/2006 | but then one would have to | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
02/23/2006 | I don't follow | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
02/24/2006 | Given the value of some | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
02/24/2006 | Okay I'll bite | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
02/24/2006 | Thanks for the detailed response | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
02/26/2006 | A huge disadvantage for the | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
02/24/2006 | Concatenative Languages for Translation | source code conversion |
02/25/2006 | Stack Based Languages | source code conversion |
02/14/2006 | Concatenation Operators in Unimperative | Concatenation Operators in Unimperative |
02/14/2006 | Obvious. | Concatenation Operators in Unimperative |
01/30/2006 | A-Posteriori Subtyping: Which Languages? | A-Posteriori Subtyping: Which Languages? |
01/30/2006 | Thank you. | A-Posteriori Subtyping: Which Languages? |
01/30/2006 | Whoops! Yes of course. | A-Posteriori Subtyping: Which Languages? |
01/13/2006 | Implicit Behavioral Subtyping | Implicit Behavioral Subtyping |
07/15/2009 | Interesting but not a counter-proof | The Church-Turing Thesis: Breaking the Myth |
06/26/2005 | Functions as Classes: Which languages? | Functions as Classes: Which languages? |
06/27/2005 | Scala functions are objects but not classes | Functions as Classes: Which languages? |
06/27/2005 | Functions as Classes: Which languages? | Functions as Classes: Which languages? |
06/27/2005 | But they are not a type. | Functions as Classes: Which languages? |
06/27/2005 | I don't see the disadvantage | Functions as Classes: Which languages? |
06/27/2005 | Actually: | Functions as Classes: Which languages? |
06/27/2005 | Could be fixed | Functions as Classes: Which languages? |
06/27/2005 | Static method idea is solid | Functions as Classes: Which languages? |
04/01/2005 | Space Complexity | expressivity of "idiomatic C++" |
04/02/2005 | Not convinced it is trivial | expressivity of "idiomatic C++" |
04/02/2005 | Some more comments | expressivity of "idiomatic C++" |
04/04/2005 | I guess you don't like Scheme | expressivity of "idiomatic C++" |
04/05/2005 | expressivity of "idiomatic C++" | expressivity of "idiomatic C++" |
04/05/2005 | I can't believe you that it i | expressivity of "idiomatic C++" |
01/31/2005 | Unimperative Programming Language - Teaser | Unimperative Programming Language - Teaser |
02/01/2005 | Thanks for the encouragement. | Unimperative Programming Language - Teaser |
02/02/2005 | Here are some more code examples: | Unimperative Programming Language - Teaser |
02/02/2005 | Some reasons why: | Unimperative Programming Language - Teaser |
02/04/2005 | Unimperative Programming Language - Teaser | Unimperative Programming Language - Teaser |
12/23/2004 | ANN: YARD Parser | ANN: YARD Parser |
12/24/2004 | Template Metaprogramming may be Ugly | ANN: YARD Parser |
12/04/2004 | Definition of Type | Definition of Type |
12/06/2004 | "known not to have models in | Definition of Type |
12/06/2004 | This requires type to be predefined | Definition of Type |
12/06/2004 | Type System | Definition of Type |
12/06/2004 | hand-waving afoot ? | Definition of Type |
12/07/2004 | `a type is a semantic classi | Definition of Type |
12/07/2004 | Those are sets of values, not neccesarily types | Definition of Type |
12/07/2004 | Dead Philosopher's Society | Definition of Type |
12/07/2004 | I meant: | Definition of Type |
12/07/2004 | I think I understand what is going on | Definition of Type |
11/26/2004 | Making C++ more Object-Oriented | Making C++ more Object-Oriented |
11/27/2004 | Follow up article | Making C++ more Object-Oriented |
11/28/2004 | Second Follow-up article | Making C++ more Object-Oriented |
10/27/2004 | Are you suggesting that type | What's a definition of "type" that beginners can understand? |
10/27/2004 | The fable is misleading. Both | What's a definition of "type" that beginners can understand? |
10/24/2004 | Type definition | What's a definition of "type" that beginners can understand? |
10/25/2004 | Semantic Classification implies Intensional Information | What's a definition of "type" that beginners can understand? |
10/27/2004 | Semantic => Meaning | What's a definition of "type" that beginners can understand? |
12/04/2004 | Revisiting the definition of type | What's a definition of "type" that beginners can understand? |
12/06/2004 | False Analogy | What's a definition of "type" that beginners can understand? |
12/06/2004 | A type is a label associated | What's a definition of "type" that beginners can understand? |
10/22/2004 | Heron Language Specification | Heron Language Specification |
10/22/2004 | I agree | Heron Language Specification |
10/22/2004 | Java and .NET interoperability | Heron Language Specification |
09/23/2004 | Metaprogramming in Heron | Metaprogramming in Heron |
09/26/2004 | Correction made, thank you! | Metaprogramming in Heron |
09/13/2004 | Yet another programming language forum | Yet another programming language forum |
09/13/2004 | 1-ary or k-ary? | Tree programming languages |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |