Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: cdiggins

  Date    Post    Topic  
10/04/2011Me tooLanguage/Compiler design blogs?
10/02/2011SECD Machine - RAP?SECD Machine - RAP?
10/02/2011Great answer, thank you verySECD Machine - RAP?
08/01/2011Be happy Oleg is posting!Implementor's guide/tutorial to delimited continuations?
03/19/2011Continuations that store the heap?Continuations that store the heap?
03/19/2011thanksContinuations that store the heap?
03/25/2011Continuations that store the heap?Continuations that store the heap?
03/25/2011Why not distributed computing?Continuations that store the heap?
03/20/2011First class storesContinuations that store the heap?
08/22/2010Active ObjectsUnifying Actors and Objects?
08/25/2010More contextUnifying Actors and Objects?
06/12/2010Shameless plugInterpreter to compiler generator?
04/02/2010I second this very strongly.Go's proposed panic/recover exception-like mechanism
04/02/2010Suggested alternatives?Go's proposed panic/recover exception-like mechanism
04/06/2010Great summaryGo's proposed panic/recover exception-like mechanism
04/07/2010Excellent pointGo's proposed panic/recover exception-like mechanism
01/26/2010Ten is nothing.Operator precedence
01/20/2010Syntax of Literal Tables (Assocative Collections) and Auto-generated fieldsSyntax of Literal Tables (Assocative Collections) and Auto-generated fields
01/20/2010ThanksSyntax of Literal Tables (Assocative Collections) and Auto-generated fields
01/20/2010Thanks for sharing theseSyntax of Literal Tables (Assocative Collections) and Auto-generated fields
01/20/2010If people want preciseSyntax of Literal Tables (Assocative Collections) and Auto-generated fields
01/20/2010Good point. Lua was actuallySyntax of Literal Tables (Assocative Collections) and Auto-generated fields
01/20/2010Thanks for sharing thisSyntax of Literal Tables (Assocative Collections) and Auto-generated fields
01/21/2010Chicken and eggSyntax of Literal Tables (Assocative Collections) and Auto-generated fields
01/21/2010Good challenges!Syntax of Literal Tables (Assocative Collections) and Auto-generated fields
12/23/2009Parameterized ModulesParameterized Modules
12/23/2009Modules are objects?Parameterized Modules
12/23/2009Useful information thanks.Parameterized Modules
12/23/2009My aha momentParameterized Modules
12/23/2009A problem of modularity and global stateParameterized Modules
12/23/2009An alternative designParameterized Modules
12/23/2009The originating moduleParameterized Modules
12/24/2009Thank you very much forParameterized Modules
01/05/2010Sharing module data in global namespace is indeed badParameterized Modules
01/07/2010Are you sure you want to know?Parameterized Modules
01/08/2010Good adviceParameterized Modules
12/12/2009Metaprogramming and Heron : Five Years LaterMetaprogramming and Heron : Five Years Later
12/13/2009Is that a more common methodMetaprogramming and Heron : Five Years Later
12/13/2009But it isn't a functionMetaprogramming and Heron : Five Years Later
12/16/2009Messy semanticsMetaprogramming and Heron : Five Years Later
12/13/2009The whole programMetaprogramming and Heron : Five Years Later
12/13/2009Interesting ideaMetaprogramming and Heron : Five Years Later
12/16/2009Or in Heron, replace allMetaprogramming and Heron : Five Years Later
10/15/2009Maybe R3RS?Standard, simple subset of Scheme for experimentation?
10/03/2009A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class SubstitutionsA Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions
10/04/2009Thank you!A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions
10/04/2009I think I understand 'box gamma exp'A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions
10/07/2009This is a great threadA Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions
10/04/2009Very useful glossaryA Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions
12/22/2009Interesting, but how does it work?Objects as Modules in Newspeak
12/22/2009This helps a lotObjects as Modules in Newspeak
12/22/2009Still confused.Objects as Modules in Newspeak
12/23/2009Very interesting, and thanksObjects as Modules in Newspeak
12/22/2009Objects as Modules in NewspeakObjects as Modules in Newspeak
12/23/2009Dependency inversion principleObjects as Modules in Newspeak
12/23/2009And abstraction means something here?Objects as Modules in Newspeak
12/23/2009Its because I wasn't justObjects as Modules in Newspeak
12/23/2009About relationships between abstractionsObjects as Modules in Newspeak
12/24/2009Wow.Objects as Modules in Newspeak
12/23/2009Not familiar with SpringObjects as Modules in Newspeak
06/18/2009CatTarget Backend for a Uniquely Typed Language
06/12/2009Preventing downcasting and adding a universal variantPreventing downcasting and adding a universal variant
06/12/2009Thanks, definitely!Preventing downcasting and adding a universal variant
06/14/2009I'm lostPreventing downcasting and adding a universal variant
06/13/2009I'm assuming that a term ofPreventing downcasting and adding a universal variant
06/14/2009Variant casts aren't downcastsPreventing downcasting and adding a universal variant
06/13/2009Valid pointPreventing downcasting and adding a universal variant
06/13/2009Bang onPreventing downcasting and adding a universal variant
06/13/2009Neat stuff.Preventing downcasting and adding a universal variant
06/16/2009Much appreciatedPreventing downcasting and adding a universal variant
05/17/2009Extension Methods versus Structural Typing of Traits for solving the expression problemExtension Methods versus Structural Typing of Traits for solving the expression problem
05/17/2009Thanks MilesExtension Methods versus Structural Typing of Traits for solving the expression problem
05/18/2009Thanks a lot!Extension Methods versus Structural Typing of Traits for solving the expression problem
05/19/2009Please continue!Extension Methods versus Structural Typing of Traits for solving the expression problem
05/18/2009Good pointExtension Methods versus Structural Typing of Traits for solving the expression problem
05/19/2009So many subjects, so little time.Extension Methods versus Structural Typing of Traits for solving the expression problem
05/14/2009Cool workCapabilities for External Uniqueness
03/09/2009Cat is no longer linearLinear Logic and Permutation Stacks--The Forth Shall Be First
03/10/2009I couldn't figure out how toLinear Logic and Permutation Stacks--The Forth Shall Be First
03/11/2009The JVM is a hybridLinear Logic and Permutation Stacks--The Forth Shall Be First
01/17/2009Macro systemsMacro systems
01/17/2009Agreed: flexible and dangerousMacro systems
01/19/2009Not as simple as thatMacro systems
01/19/2009When I give someone anMacro systems
01/18/2009The problem that I run intoMacro systems
01/19/2009What I wanted!Macro systems
01/18/2009Great pointMacro systems
01/19/2009Thank you for lending someMacro systems
01/21/2009Sample codeMacro systems
01/22/2009Thank you very much AntonMacro systems
09/06/2008ML Closure vs Scheme ClosureML Closure vs Scheme Closure
09/06/2008Thanks JamesML Closure vs Scheme Closure
06/15/2008Cat Interpreter in JavaScript with Turtle GraphicsCat Interpreter in JavaScript with Turtle Graphics
06/07/2008I second that!help with understanding combinatory logic
04/24/2008On Presenting Operational SemanticsOn Presenting Operational Semantics
04/24/2008ThanksOn Presenting Operational Semantics
04/25/2008Very helpful, thank you.On Presenting Operational Semantics
04/20/2008HMF: Simple type inference for first-class polymorphismHMF: Simple type inference for first-class polymorphism
04/10/2008Can local variables assignments be considered pure functional without monads?Can local variables assignments be considered pure functional without monads?
04/10/2008the most useful propertiesCan local variables assignments be considered pure functional without monads?
04/10/2008So where is the loss of referential transparency?Can local variables assignments be considered pure functional without monads?
04/10/2008The implementation is purely functionalCan local variables assignments be considered pure functional without monads?
04/10/2008Labeling effects.Can local variables assignments be considered pure functional without monads?
04/10/2008General recursion is impureCan local variables assignments be considered pure functional without monads?
04/10/2008Thanks a lot for the links.Can local variables assignments be considered pure functional without monads?
04/10/2008While is goto with assignment == letCan local variables assignments be considered pure functional without monads?
04/11/2008This threading of the stackCan local variables assignments be considered pure functional without monads?
04/12/2008Moving ExpressionsCan local variables assignments be considered pure functional without monads?
04/11/2008Order unimportantCan local variables assignments be considered pure functional without monads?
04/11/2008Oh, whoopsCan local variables assignments be considered pure functional without monads?
04/11/2008Rewriting "process" using foldCan local variables assignments be considered pure functional without monads?
04/12/2008Thanks for the exampleCan local variables assignments be considered pure functional without monads?
04/13/2008Here you goCan local variables assignments be considered pure functional without monads?
04/13/2008Kevin Millikin's Cat Evaluator in MLCan local variables assignments be considered pure functional without monads?
04/14/2008Inner Forall Polymorphism and Equirecursive TypesCan local variables assignments be considered pure functional without monads?
04/07/2008You can in C++Static Analysis for Duck Typing
04/08/2008It is easy to passStatic Analysis for Duck Typing
04/10/2008Where is the duck-typing?Static Analysis for Duck Typing
04/10/2008Go take a look atStatic Analysis for Duck Typing
04/03/2008Rewriting rules for deducing properties of functionsRewriting rules for deducing properties of functions
04/03/2008ThanksRewriting rules for deducing properties of functions
04/03/2008Undecidability not a big concernRewriting rules for deducing properties of functions
04/03/2008Found the Pettorossi paperRewriting rules for deducing properties of functions
04/04/2008"providing the compiler withRewriting rules for deducing properties of functions
04/04/2008Rippling is coolRewriting rules for deducing properties of functions
04/04/2008Great stuffRewriting rules for deducing properties of functions
04/02/2008Erasmus: A Modular Language for Concurrent ProgrammingErasmus: A Modular Language for Concurrent Programming
04/02/2008Is CML really that relevant?Erasmus: A Modular Language for Concurrent Programming
03/23/2008Rhope not RhodeRhope a dataflow-based language
03/19/2008Role of Types in Evaluation StrategyRole of Types in Evaluation Strategy
03/19/2008Thanks DerekRole of Types in Evaluation Strategy
03/20/2008Law abiding citizensRole of Types in Evaluation Strategy
03/20/2008NeatRole of Types in Evaluation Strategy
03/20/2008Thanks Anton, that is anRole of Types in Evaluation Strategy
03/22/2008ThanksRole of Types in Evaluation Strategy
03/20/2008Figs?Role of Types in Evaluation Strategy
03/07/2008Applied Metamodelling: A Foundation for Language Driven DevelopmentApplied Metamodelling: A Foundation for Language Driven Development
03/09/2008Great linksApplied Metamodelling: A Foundation for Language Driven Development
03/09/2008Not quite what I meantApplied Metamodelling: A Foundation for Language Driven Development
03/10/2008Seems fragileApplied Metamodelling: A Foundation for Language Driven Development
03/11/2008NotedApplied Metamodelling: A Foundation for Language Driven Development
03/04/2008QuestionHelp John Baez and Mike Stay!
03/05/2008How about labelling it, and leaving it in the forumHelp John Baez and Mike Stay!
03/05/2008Hello MattHelp John Baez and Mike Stay!
02/17/2008Reductio ad absurdumsuccinctness
02/17/2008Reading between the lines.succinctness
02/17/2008Brevity costs claritysuccinctness
02/17/2008Brevity and Claritysuccinctness
02/15/2008Not quiteRecursive Algorithms that cannot be expresses with Tail-Recursion?
02/05/2008Jumbala : An Action Language for UML State MachinesJumbala : An Action Language for UML State Machines
02/06/2008Read my mind!!!Jumbala : An Action Language for UML State Machines
02/05/2008Signals in an OOPLSignals in an OOPL
02/05/2008I assume that in thisSignals in an OOPL
02/05/2008Semantics in xUMLSignals in an OOPL
02/05/2008AFAIK Signal handlers = asynchronous operationsSignals in an OOPL
02/05/2008On Message PassingSignals in an OOPL
02/07/2008Great linkSignals in an OOPL
02/08/2008Makes senseSignals in an OOPL
02/06/2008Signals Handlers and State MachinesSignals in an OOPL
02/07/2008"If it existed, it wouldSignals in an OOPL
02/06/2008KatahdinLanguages and data conversions.
02/03/2008Kermeta Programming LanguageKermeta Programming Language
01/28/2008or C#, or VB, or managed C++, or L#, or ...VM's... What's the best?
01/25/2008Joy (or Cat)Embedded concurrent FPish languages?
01/22/2008Compile-Time Execution in an Object Oriented LanguageCompile-Time Execution in an Object Oriented Language
01/22/2008Adhoc Tags vs Adhoc KeywordsCompile-Time Execution in an Object Oriented Language
01/22/2008Great linksCompile-Time Execution in an Object Oriented Language
01/22/2008Virgil looks veryCompile-Time Execution in an Object Oriented Language
01/22/2008On StaticCompile-Time Execution in an Object Oriented Language
01/22/2008Why Tags?Compile-Time Execution in an Object Oriented Language
01/22/2008Executable UML will go MainstreamPrediction for 2008
12/08/2007My definitionfunctions, statements, expressions
12/09/2007Good pointsfunctions, statements, expressions
12/09/2007Colloquial is all I gotfunctions, statements, expressions
12/18/2007No named local functions in Catfunctions, statements, expressions
11/08/2007Now definitely tangential ...Universal Type System
09/29/2007More courtesy please.Witnessing Side-Effects
09/29/2007Isn't that counterproductive?Witnessing Side-Effects
09/14/2007Reconstructing AbstractionsReconstructing Abstractions
09/15/2007Much appreciatedReconstructing Abstractions
09/13/2007Compositional type systems for stack-based low-level languagesCompositional type systems for stack-based low-level languages
09/13/2007Compositional type inferenceCompositional type systems for stack-based low-level languages
09/14/2007Thanks.Compositional type systems for stack-based low-level languages
09/16/2007I agree: comments shouldn't be whitespaceDivaScheme
08/25/2007Warning: Shameless plugsAn 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/2007YARD vs Spirit[ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework
07/11/2007Correction[ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework
07/11/2007Thanks[ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework
07/11/2007Not so different[ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework
07/11/2007Questions answered[ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework
07/12/2007Very good point.[ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework
07/09/2007Loops allow tree definitionsSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/04/2007Thank you!Forth in hardware ("not dead yet")
07/03/2007Cat does address the types of the elementsForth in hardware ("not dead yet")
07/04/2007Type inference FTWForth in hardware ("not dead yet")
07/03/2007The big difference betweenThinking Forth & Starting Forth
06/28/2007What's the big deal?Haskell web store
06/25/2007Fully Inferable LanguagesFully Inferable Languages
06/26/2007Principal Type vs Principal TypingsFully Inferable Languages
06/26/2007ClarityFully Inferable Languages
06/20/2007A suggestionKatahdin: Modifying your programming language as it runs
06/23/2007Multi-pass parsing?Katahdin: Modifying your programming language as it runs
06/04/2007Typed callcc in a stack-based languageTyped callcc in a stack-based language
06/05/2007No it wouldn't, but eitherTyped callcc in a stack-based language
06/05/2007The revised type.Typed callcc in a stack-based language
06/05/2007Thanks, fixed.Typed callcc in a stack-based language
06/05/2007Good question. I need toTyped callcc in a stack-based language
06/05/2007Continuations and Evaluators.Typed callcc in a stack-based language
06/06/2007Thank you very muchTyped callcc in a stack-based language
06/06/2007Great LinkTyped callcc in a stack-based language
06/04/2007Great article, thanks forHow the Chicken Scheme compiler works
05/24/2007Currying != 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/2007What's in a name: eval vs apply.What's in a name: eval vs apply.
05/18/2007More than what appears on the surfaceWhat's in a name: eval vs apply.
05/18/2007Obviousness is in the eye of the beholderWhat's in a name: eval vs apply.
05/18/2007Good points.What's in a name: eval vs apply.
05/18/2007Dequoting == Function ApplicationWhat's in a name: eval vs apply.
05/18/2007I seeWhat's in a name: eval vs apply.
05/18/2007Side-effects.What's in a name: eval vs apply.
05/07/2007Type-Safe CastsType-Safe Casts
05/08/2007Parameterizing a type makesType-Safe Casts
04/23/2007Putting on my Opinionated HatAlmost invisible upgrade
04/22/2007But what about more generalFrom abstract interpretation to small-step typing
04/23/2007More IdeasFrom abstract interpretation to small-step typing
04/24/2007Tracking Control PathsFrom abstract interpretation to small-step typing
04/24/2007And the point is?From abstract interpretation to small-step typing
04/25/2007Some confusionFrom abstract interpretation to small-step typing
04/20/2007Modular Verification of Assembly Code with Stack-Based Control AbstractionsModular Verification of Assembly Code with Stack-Based Control Abstractions
04/15/2007I disagree.Thoughts about the Best Introductory Language
04/11/2007Inferring Types for Higher Order Instructions in Stack LanguagesInferring Types for Higher Order Instructions in Stack Languages
04/07/2007Why can't you push instructions in MSIL/JVMLWhy can't you push instructions in MSIL/JVML
04/07/2007It doesn't have to be dynamic.Why can't you push instructions in MSIL/JVML
04/07/2007"I'm not clear what thisWhy can't you push instructions in MSIL/JVML
04/08/2007That isn't trueWhy can't you push instructions in MSIL/JVML
04/08/2007Thanks!Why can't you push instructions in MSIL/JVML
04/08/2007Huge overheadWhy can't you push instructions in MSIL/JVML
04/09/2007JIT'd quicklyWhy can't you push instructions in MSIL/JVML
04/10/2007Machine code is a functional stack-based languageWhy can't you push instructions in MSIL/JVML
04/02/2007Terminology: Thunking vs QuotingTerminology: Thunking vs Quoting
04/02/2007Thanks for the suggestionTerminology: Thunking vs Quoting
04/03/2007On the evaluation of argumentsTerminology: Thunking vs Quoting
04/02/2007Yes you are rightTerminology: Thunking vs Quoting
03/24/2007Functions shouldn't be lists, functions should be cast to listsFunctions shouldn't be lists, functions should be cast to lists
03/25/2007Thanks for the explanationFunctions shouldn't be lists, functions should be cast to lists
03/25/2007Abstract Data Types and Term RewritingFunctions shouldn't be lists, functions should be cast to lists
03/24/2007A live language supportsLiving it up with a Live Programming Language
03/25/2007If the language isn't simpleLiving it up with a Live Programming Language
03/22/2007Where's the programming language theory?A Real-World Use of Lift, a Scala Web Application Framework
03/20/2007Abstract Data Type Usage AnalysisAbstract Data Type Usage Analysis
03/14/2007Typing a Functional Stack-Based LanguageTyping a Functional Stack-Based Language
03/20/2007Efficiency? Definitely!Implementation Inheritance
03/13/2007Sounds like ...Implementation Inheritance
03/13/2007My feelingsImplementation Inheritance
03/14/2007In my idea of a perfect OOPLImplementation Inheritance
03/14/2007Implementation InheritanceImplementation Inheritance
03/02/2007Non-Applicative Functional LanguagesNon-Applicative Functional Languages
03/02/2007Concatenative == Non-ApplicativeNon-Applicative Functional Languages
03/02/2007Thanks!Non-Applicative Functional Languages
03/08/2007Interesting! My problem withNon-Applicative Functional Languages
03/08/2007Both CPS and ANFNon-Applicative Functional Languages
03/09/2007Food for thoughtNon-Applicative Functional Languages
04/03/2007MapReduce 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/2007Definitely relevant![Req. for Comments] Cat: A Typed Functional Stack-Based Language
02/20/2007Effects in TypesEffects in Types
02/20/2007Thank youEffects in Types
02/20/2007ThanksEffects in Types
01/31/2007[RFC] Cat: A Typed Functional Stack Based Language[RFC] Cat: A Typed Functional Stack Based Language
01/31/2007Quote is typed correctly[RFC] Cat: A Typed Functional Stack Based Language
02/03/2007Age of stack-based languages[RFC] Cat: A Typed Functional Stack Based Language
02/01/2007Plus one for autodidactsWant to do undergraduate research, but CS dept is weak...
01/27/2007Quality of the post questionableRalf Lammel: Stop dysfunctional programming
01/28/2007I am refering to thisRalf Lammel: Stop dysfunctional programming
01/24/2007Good interviewSoftware Composability and the Future of Languages
01/16/2007Type of an Eval StatementIntellisense for dynamic languages
01/12/2007On Presenting the Semantics of Cat FormallyOn Presenting the Semantics of Cat Formally
01/12/2007Yes!On Presenting the Semantics of Cat Formally
01/12/2007What is T-DIIP?On Presenting the Semantics of Cat Formally
12/23/2006Linking would be appreciated.Quotation and evaluation -- or, how pure is the pure lambda calculus?
12/23/2006A modern eye on ML type inference - Pottier 2005A modern eye on ML type inference - Pottier 2005
12/20/2006Modeling and Typing Combinatory CalculusModeling and Typing Combinatory Calculus
12/22/2006I can't immediately see aModeling 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/2006I've just done that. Perhaps[Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner
12/12/2006Fine. I will refrain from[Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner
12/10/2006The Problem with "dup" and "swap" in Stack-Based LanguagesThe Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006Not dumb at all!The Problem with "dup" and "swap" in Stack-Based Languages
12/12/2006Then I stand corrected.The Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006InterestingThe Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006Oh-ohThe Problem with "dup" and "swap" in Stack-Based Languages
12/12/2006Great stuff!The Problem with "dup" and "swap" in Stack-Based Languages
12/12/2006T(x) =The Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006Attempt at further clarificationThe Problem with "dup" and "swap" in Stack-Based Languages
01/12/2007ThanksThe Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006StrongForthThe Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006Good questionThe Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006One thing to note is thatThe Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006CompletenessThe Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006Thank you!The Problem with "dup" and "swap" in Stack-Based Languages
12/12/2006This is interestingThe Problem with "dup" and "swap" in Stack-Based Languages
12/12/2006Unfortunately I don't.The Problem with "dup" and "swap" in Stack-Based Languages
12/10/2006YubNub for Programming Language ResearchYubNub for Programming Language Research
12/11/2006Unfortunately, it seems thatYubNub for Programming Language Research
12/11/2006For the record I haveYubNub for Programming Language Research
12/11/2006Please accept my apologies!YubNub for Programming Language Research
12/12/2006[Offtopic] Names and UrlsYubNub for Programming Language Research
12/07/2006Natural Deduction Reading for BeginnersNatural 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/2006Done.[Redux] A Syntactic Approach to Type Soundness (1992)
12/06/2006In the future I will do so,[Redux] A Syntactic Approach to Type Soundness (1992)
12/06/2006The Cat Language Kind SystemThe Cat Language Kind System
12/06/2006Good catch!The Cat Language Kind System
12/11/2006Good catchThe Cat Language Kind System
12/07/2006Pain points?The Cat Language Kind System
12/07/2006Thanks for the tipsThe Cat Language Kind System
12/08/2006Great ideaThe Cat Language Kind System
12/07/2006Ok, I revisited your rulesThe Cat Language Kind System
12/07/2006Before thatThe Cat Language Kind System
12/02/2006How to write a Programming Language Paper?How to write a Programming Language Paper?
12/02/2006Thanks for your suggestionHow to write a Programming Language Paper?
12/04/2006I'll give it my old collegeHow to write a Programming Language Paper?
12/04/2006I suspect CatHow to write a Programming Language Paper?
12/04/2006You got it.How to write a Programming Language Paper?
12/04/2006Good adviceHow to write a Programming Language Paper?
12/04/2006Good linksHow to write a Programming Language Paper?
12/01/2006SK Calculus not Consider SeKsy?SK Calculus not Consider SeKsy?
12/01/2006Whoops!SK Calculus not Consider SeKsy?
12/01/2006Intentionally in the forums.SK Calculus not Consider SeKsy?
12/01/2006Funny that you should ask.SK Calculus not Consider SeKsy?
12/01/2006As someone else said inSK Calculus not Consider SeKsy?
12/02/2006I wonderSK Calculus not Consider SeKsy?
11/29/2006Ignoring the C++ and O'CamlC++ has indeed become too "expert friendly"
11/29/2006Blog ProposalThe Future of LtU
11/23/2006Programming Language Research Search EngineProgramming Language Research Search Engine
11/27/2006Language ListProgramming Language Research Search Engine
11/23/2006Try googling niceProgramming Language Research Search Engine
11/24/2006Thanks FrankProgramming Language Research Search Engine
11/24/2006Sorry about thatProgramming Language Research Search Engine
11/24/2006Browser ProblemsProgramming Language Research Search Engine
11/25/2006New URL and DomainProgramming Language Research Search Engine
11/25/2006Adding EProgramming Language Research Search Engine
11/28/2006Sorry for not responding toProgramming Language Research Search Engine
11/25/2006AddedProgramming Language Research Search Engine
11/29/2006ThanksProgramming Language Research Search Engine
11/29/2006DoneProgramming Language Research Search Engine
12/28/2006I`d love to see eitherProgramming Language Research Search Engine
11/18/2006if Records - Labels = Tuples then Rows - Labels = what?if Records - Labels = Tuples then Rows - Labels = what?
11/18/2006Gaster and Jonesif Records - Labels = Tuples then Rows - Labels = what?
11/20/2006if Records - Labels = Tuples then Rows - Labels = what?if Records - Labels = Tuples then Rows - Labels = what?
11/14/2006Type DifferenceType Difference
11/14/2006Undefined or emptyType Difference
11/14/2006The generalized conceptType Difference
11/14/2006Good pointType Difference
11/15/2006The problem restated.Type Difference
11/15/2006This rule is wrong. YouType Difference
11/16/2006Great stuff!Type Difference
11/18/2006Thank you very much forType Difference
11/14/2006What about concatenation?Type Difference
11/08/2006The Type of a Recursive CombinatorThe Type of a Recursive Combinator
11/10/2006Good ideaThe Type of a Recursive Combinator
11/23/2006Not entirely uselessType inference and union types
11/23/2006Don't use WikipediaType inference and union types
10/31/2006Shameless plug .. but maybe meritorious.Want to learn something new
10/27/2006Cat Version 0.9Cat Version 0.9
10/25/2006The Type of 42The Type of 42
10/25/2006Sorry ...The Type of 42
10/25/2006Not all programs can beThe Type of 42
10/26/2006(int int)->(int)The Type of 42
10/26/2006Good ideaThe Type of 42
10/17/2006On PublishingOn Publishing
09/23/2006Designing a Programming TextbookDesigning a Programming Textbook
09/26/2006To be fair ...Designing a Programming Textbook
09/28/2006Great PointsDesigning a Programming Textbook
09/23/2006Unsolvable?SSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing?
09/03/2006Small Value Set TypesSmall Value Set Types
09/04/2006The link was broken but ISmall Value Set Types
09/02/2006Constant Values as TypesConstant Values as Types
09/03/2006Dependent TypesConstant Values as Types
09/03/2006Overambitious Type SystemsConstant Values as Types
09/03/2006Thanks Tim, this makes a lotConstant Values as Types
09/03/2006... and why don't they?Dynamic Semantics
09/04/2006In this context—that is,Dynamic Semantics
08/26/2006Something related?The whole Enchilada
08/25/2006Multi-Stage LanguagesMulti-Stage Languages
08/26/2006Purity TrashingMulti-Stage Languages
08/26/2006Perhaps I am naiveMulti-Stage Languages
08/26/2006In these scenariosMulti-Stage Languages
08/26/2006I will have to take a lookMulti-Stage Languages
08/09/2006On Mixing Static Typing, Dynamic Typing and ValuesOn Mixing Static Typing, Dynamic Typing and Values
08/06/2006Expressing the Type of a While LoopExpressing the Type of a While Loop
08/06/2006I haven't yet ...Expressing the Type of a While Loop
08/06/2006Thanks for bringing this up.Expressing the Type of a While Loop
08/05/2006This is very well put. IThe Killer Application for Concatenative Languages
08/05/2006Fusion OptimizationsThe Killer Application for Concatenative Languages
08/07/2006I'm impressed! That is quiteThe Killer Application for Concatenative Languages
08/03/2006Overloading : Why do some languages leave it out?Overloading : Why do some languages leave it out?
08/02/2006Cat Programming Language: Slides from Lang. NET 2006Cat Programming Language: Slides from Lang. NET 2006
08/03/2006Sorry about that, I get myCat Programming Language: Slides from Lang. NET 2006
08/03/2006Yes the compiler would catchCat Programming Language: Slides from Lang. NET 2006
08/03/2006Cat Programming Language: Slides from Lang. NET 2006Cat Programming Language: Slides from Lang. NET 2006
08/03/2006I haven't yet explored theCat Programming Language: Slides from Lang. NET 2006
08/05/2006No destructive semantics.Cat Programming Language: Slides from Lang. NET 2006
07/23/2006bullfeathers?Cost of provably-correct code
06/17/2006Cat version 0.2Cat version 0.2
05/28/2006Cat Language Download, Sources, and IntroductionCat Language Download, Sources, and Introduction
05/29/2006Good catch. My EBNF is notCat Language Download, Sources, and Introduction
05/13/2006The Cat Programming LanguageThe Cat Programming Language
05/15/2006I am unfamiliar withThe Cat Programming Language
05/14/2006Interesting IdeaThe Cat Programming Language
05/15/2006Optimization Scenarios and TypecheckingThe Cat Programming Language
05/16/2006Optimization opportunities and type systemsThe Cat Programming Language
05/17/2006I gave you oneThe Cat Programming Language
05/11/2006Optimization - Symmetric ReductionsOptimization - Symmetric Reductions
05/09/2006Parameteric Polymorphism from a C++ Perspective (good or bad?)Parameteric Polymorphism from a C++ Perspective (good or bad?)
05/06/2006Designing a Type Notation for a Stack Based Functional LanguageDesigning a Type Notation for a Stack Based Functional Language
05/06/2006Good point!Designing a Type Notation for a Stack Based Functional Language
05/07/2006Implementation inferenceDesigning a Type Notation for a Stack Based Functional Language
05/08/2006I might be missing something important ...Designing a Type Notation for a Stack Based Functional Language
05/08/2006That looks quite cool, goodDesigning a Type Notation for a Stack Based Functional Language
05/02/2006Filter-Reduce OptimizationFilter-Reduce Optimization
05/02/2006Great LinksFilter-Reduce Optimization
04/29/2006Folding 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/2006Isn'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/2006Good pointFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem)
04/30/2006An area for researchFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem)
04/30/2006So if I understand you,Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem)
05/02/2006That is indeed useful. IFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem)
08/22/2006Great LinksFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem)
03/12/2006Contract Verification and Structural Subtyping of InterfacesContract Verification and Structural Subtyping of Interfaces
03/13/2006Naming versus ContractsContract Verification and Structural Subtyping of Interfaces
02/22/2006Signature Based Polymorphism, Structural Subtyping and Duck TypingSignature Based Polymorphism, Structural Subtyping and Duck Typing
02/23/2006What about structural subtyping?Signature Based Polymorphism, Structural Subtyping and Duck Typing
02/24/2006but then one would have toSignature Based Polymorphism, Structural Subtyping and Duck Typing
02/23/2006I don't followSignature Based Polymorphism, Structural Subtyping and Duck Typing
02/24/2006Given the value of someSignature Based Polymorphism, Structural Subtyping and Duck Typing
02/24/2006Okay I'll biteSignature Based Polymorphism, Structural Subtyping and Duck Typing
02/24/2006Thanks for the detailed responseSignature Based Polymorphism, Structural Subtyping and Duck Typing
02/26/2006A huge disadvantage for theSignature Based Polymorphism, Structural Subtyping and Duck Typing
02/24/2006Concatenative Languages for Translationsource code conversion
02/25/2006Stack Based Languagessource code conversion
02/14/2006Concatenation Operators in UnimperativeConcatenation Operators in Unimperative
02/14/2006Obvious.Concatenation Operators in Unimperative
01/30/2006A-Posteriori Subtyping: Which Languages?A-Posteriori Subtyping: Which Languages?
01/30/2006Thank you.A-Posteriori Subtyping: Which Languages?
01/30/2006Whoops! Yes of course.A-Posteriori Subtyping: Which Languages?
01/13/2006Implicit Behavioral SubtypingImplicit Behavioral Subtyping
07/15/2009Interesting but not a counter-proofThe Church-Turing Thesis: Breaking the Myth
06/26/2005Functions as Classes: Which languages?Functions as Classes: Which languages?
06/27/2005Scala functions are objects but not classesFunctions as Classes: Which languages?
06/27/2005Functions as Classes: Which languages?Functions as Classes: Which languages?
06/27/2005But they are not a type.Functions as Classes: Which languages?
06/27/2005I don't see the disadvantageFunctions as Classes: Which languages?
06/27/2005Actually:Functions as Classes: Which languages?
06/27/2005Could be fixedFunctions as Classes: Which languages?
06/27/2005Static method idea is solidFunctions as Classes: Which languages?
04/01/2005Space Complexityexpressivity of "idiomatic C++"
04/02/2005Not convinced it is trivialexpressivity of "idiomatic C++"
04/02/2005Some more commentsexpressivity of "idiomatic C++"
04/04/2005I guess you don't like Schemeexpressivity of "idiomatic C++"
04/05/2005expressivity of "idiomatic C++"expressivity of "idiomatic C++"
04/05/2005I can't believe you that it iexpressivity of "idiomatic C++"
01/31/2005Unimperative Programming Language - TeaserUnimperative Programming Language - Teaser
02/01/2005Thanks for the encouragement.Unimperative Programming Language - Teaser
02/02/2005Here are some more code examples:Unimperative Programming Language - Teaser
02/02/2005Some reasons why:Unimperative Programming Language - Teaser
02/04/2005Unimperative Programming Language - TeaserUnimperative Programming Language - Teaser
12/23/2004ANN: YARD ParserANN: YARD Parser
12/24/2004Template Metaprogramming may be UglyANN: YARD Parser
12/04/2004Definition of TypeDefinition of Type
12/06/2004"known not to have models inDefinition of Type
12/06/2004This requires type to be predefinedDefinition of Type
12/06/2004Type SystemDefinition of Type
12/06/2004hand-waving afoot ?Definition of Type
12/07/2004`a type is a semantic classiDefinition of Type
12/07/2004Those are sets of values, not neccesarily typesDefinition of Type
12/07/2004Dead Philosopher's SocietyDefinition of Type
12/07/2004I meant:Definition of Type
12/07/2004I think I understand what is going onDefinition of Type
11/26/2004Making C++ more Object-OrientedMaking C++ more Object-Oriented
11/27/2004Follow up articleMaking C++ more Object-Oriented
11/28/2004Second Follow-up articleMaking C++ more Object-Oriented
10/27/2004Are you suggesting that typeWhat's a definition of "type" that beginners can understand?
10/27/2004The fable is misleading. BothWhat's a definition of "type" that beginners can understand?
10/24/2004Type definitionWhat's a definition of "type" that beginners can understand?
10/25/2004Semantic Classification implies Intensional InformationWhat's a definition of "type" that beginners can understand?
10/27/2004Semantic => MeaningWhat's a definition of "type" that beginners can understand?
12/04/2004Revisiting the definition of typeWhat's a definition of "type" that beginners can understand?
12/06/2004False AnalogyWhat's a definition of "type" that beginners can understand?
12/06/2004A type is a label associatedWhat's a definition of "type" that beginners can understand?
10/22/2004Heron Language SpecificationHeron Language Specification
10/22/2004I agreeHeron Language Specification
10/22/2004Java and .NET interoperabilityHeron Language Specification
09/23/2004Metaprogramming in HeronMetaprogramming in Heron
09/26/2004Correction made, thank you!Metaprogramming in Heron
09/13/2004Yet another programming language forumYet another programming language forum
09/13/20041-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


Chris Rathman/ Chris.Rathman@tx.rr.com