Last Updated 07/17/2012

Posts By: neelk

Date | Post | Topic |

07/06/2012 | I have thought a fair bit about this... | Immediate mode GUIs |

07/10/2012 | I'll reply soon... | Immediate mode GUIs |

07/13/2012 | The point about immediate | Immediate mode GUIs |

07/16/2012 | Hi Thomas,Thanks for your | Immediate mode GUIs |

07/10/2012 | How broadly... | Erik Meijer started a discussion on Domain Specific Languages |

06/28/2012 | Here's how to read them | Mechanized λ<sub>JS</sub> |

06/30/2012 | What do you think about X10? | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |

06/20/2012 | Interestingly... | Null, bottom, etc.? |

05/22/2012 | Think about what happens... | Reducers - A Library and Model for Collection Processing |

05/29/2012 | Easiest to see with an example... | Proofs as programs |

04/22/2012 | For data structures in Haskell... | Certified Programming with Dependent Types: home stretch! |

04/23/2012 | It's probably a fairly accurate perception... | Quantitative comparison of unit testing vs. static typing? |

04/23/2012 | There were two things I | Quantitative comparison of unit testing vs. static typing? |

03/22/2012 | I've been thinking... | Disruptive PLT Revisited |

03/24/2012 | Hey, that's great! | Disruptive PLT Revisited |

03/22/2012 | IIRC, Balat, di Cosimo and | Programming with Algebraic Effects and Handlers |

03/10/2012 | That's not been my experience... | References about the importance of formalism in programming language design |

03/11/2012 | Hmm... | References about the importance of formalism in programming language design |

02/19/2012 | That is... | A Concept Design for C++ |

02/08/2012 | Look at Andrew Kennedy's 1997 POPL paper... | The Algebra of Data, and the Calculus of Mutation |

04/26/2012 | I was both unsurprised and disappointed... | STEPS 2011 Progress Report (personal computing in 20kLOC) |

11/30/2011 | CRA-W/CDC and SIGPLAN Programming Languages Mentoring Workshop | CRA-W/CDC and SIGPLAN Programming Languages Mentoring Workshop |

12/07/2011 | Take a look at the X10 programming language | Models for distributed parallelism |

11/14/2011 | Wow, LTL is weird | LTL types FRP |

11/15/2011 | I think sticking with | LTL types FRP |

11/15/2011 | In the topos of trees... | LTL types FRP |

11/16/2011 | Information order | LTL types FRP |

11/17/2011 | Partial answer... | LTL types FRP |

11/18/2011 | Have you seen... | LTL types FRP |

11/18/2011 | The Loeb-fixed point is aka Banach's unique fixed point theorem | LTL types FRP |

11/18/2011 | That's a very pretty idea! | LTL types FRP |

10/27/2011 | He also pioneered formal correctness... | John McCarthy has passed |

10/17/2011 | You don't need named parameters for this... | "Crutches in language design", accidental complexity and feature overlap |

10/14/2011 | I agree with your nomination... | Dennis Ritchie passed away |

10/10/2011 | Quick reactions:Good: | Google's Dart announced |

10/11/2011 | I think... | Google's Dart announced |

10/06/2011 | Well... | Open thread: RIP Steve Jobs |

10/08/2011 | The ban is still not gone... | Open thread: RIP Steve Jobs |

10/10/2011 | IIUC, typ providers... | F# type providers |

10/11/2011 | I think JSON is dominating... | F# type providers |

09/30/2011 | VPRI? | Critical Programming Language Design |

09/12/2011 | I made a series of blog | A Semantic Model for Graphical User Interfaces |

09/12/2011 | Also, our implementation | A Semantic Model for Graphical User Interfaces |

09/02/2011 | For functions... | the gnu extension language |

09/05/2011 | Here's an example | the gnu extension language |

09/05/2011 | I think the real failure, | Opa |

09/13/2011 | No... | Opa |

08/08/2011 | A minimally category-theoretic intro to algebraic effects... | Lightweight Monadic Programming in ML |

07/18/2011 | I do expect a new Cambrian explosion | The Last Language? |

07/19/2011 | You don't need it | The Last Language? |

07/20/2011 | Yes, you understand what I mean | The Last Language? |

07/03/2011 | This isn't the case at all. | Of Course ML Has Monads! |

06/25/2011 | What do you mean by import? | modules are anti-modular |

06/26/2011 | Thanks, that makes sense | modules are anti-modular |

06/14/2011 | Fold + Unfold | Catamorphisms and anamorphisms = general or primitive recursion? |

06/16/2011 | The easy way... | Catamorphisms and anamorphisms = general or primitive recursion? |

05/21/2011 | In this case... | Why is tail call optimization an issue in GC'd languages? |

05/10/2011 | Why? | One Pass Real-Time Generational Mark-Sweep Garbage Collection |

05/02/2011 | I don't know! | Iteration function in lambda calculus |

04/22/2011 | Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit | Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit |

05/02/2011 | First, I want to make clear | Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit |

04/13/2011 | Imperative Programs as Proofs via Game Semantics | Imperative Programs as Proofs via Game Semantics |

04/10/2011 | This is really hard... | Staking Claims: A History of Programming Language Design Claims and Evidence |

04/12/2011 | I spent a few minutes | Kona |

04/12/2011 | See the second half of the book... | Algebra of Programming |

03/22/2011 | Yes, really | Bob Harper of CMU is blogging about programming languages and introductory CS education |

03/28/2011 | Expert OO designers reason | Bob Harper of CMU is blogging about programming languages and introductory CS education |

02/14/2011 | I don't... | Monads vs. Actors |

02/17/2011 | Hi Ohad... | Monads vs. Actors |

01/09/2011 | Sorry, the LICS deadline is | Linear types, anyone? |

01/07/2011 | Is the concern over compiler | Fast Compilers |

12/30/2010 | To add information to ASTs, | The AST Typing Problem |

01/10/2011 | Cool! | The IO Monad is 45 years old |

11/17/2010 | Why is it a concern for you..? | Clojure's Solutions to the Expression Problem |

11/04/2010 | Deadlock isn't modelled by wrong... | Peter Landin Annual Semantics Seminar: 6 December 2010, 5pm, Covent Garden, London -- speaker: Prof. John Reynolds |

11/01/2010 | In fact... | The Myths of Object-Orientation |

11/02/2010 | Consider... | The Myths of Object-Orientation |

11/01/2010 | That's right, exactly. | The Myths of Object-Orientation |

10/27/2010 | See | Erasure and Polymorphism in Pure Type Systems |

10/15/2010 | Yes... | Programming languages with higher kinds? |

09/01/2010 | Most of these encodings are | Examples of encodings in Pure Type Systems |

08/27/2010 | You can also... | CS and mathematics dictionary |

08/17/2010 | Ocaml 3.12 released | Ocaml 3.12 released |

08/09/2010 | exn is an extensible sum | How to classify type of ML's exn ? (Naive question) |

08/04/2010 | What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common | What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common |

08/09/2010 | Thank you! | Deprecating the Observer Pattern |

07/04/2010 | This is... | What's the type of an optional parameter? |

07/02/2010 | An intuitionistic logic that proves Markov's principle | An intuitionistic logic that proves Markov's principle |

07/03/2010 | The standard proof... | An intuitionistic logic that proves Markov's principle |

07/03/2010 | You're exactly right | An intuitionistic logic that proves Markov's principle |

06/28/2010 | No... | SF-calculus |

06/30/2010 | Lots of people... | SF-calculus |

06/25/2010 | Answers... | A lambda calculus with arbitrary set primitives |

06/26/2010 | Yes... | A lambda calculus with arbitrary set primitives |

06/28/2010 | No... | A lambda calculus with arbitrary set primitives |

06/28/2010 | Don't try to read the online | A lambda calculus with arbitrary set primitives |

06/18/2010 | I don't know what you mean by "strong"... | Looking for a proof that eager reduction is as strong as lazy reduction |

06/07/2010 | Tropical Semirings | Tropical Semirings |

05/28/2010 | Oh... | Functional Pearl: Species and Functors and Types, Oh My! |

05/05/2010 | There may be some scientific | Typed Lambda Calculus |

04/29/2010 | For concreteness... | Linear & Dependent types of ATS applied to the Cairo graphics library |

04/30/2010 | This is still unsafe | Linear & Dependent types of ATS applied to the Cairo graphics library |

04/30/2010 | It's the indefinite lifetime... | Linear & Dependent types of ATS applied to the Cairo graphics library |

04/30/2010 | I figured he couldn't mean | Linear & Dependent types of ATS applied to the Cairo graphics library |

04/26/2010 | If... | seL4: Formal Verification of an Operating-System Kernel |

05/12/2010 | No... | seL4: Formal Verification of an Operating-System Kernel |

04/09/2010 | This was already banned... | iPhone PL lockdown |

04/09/2010 | I don't see it having a huge | iPhone PL lockdown |

04/14/2010 | The connection has been more | splitting the program into formalizable vs. non-formalizable parts? |

04/14/2010 | No worries... | splitting the program into formalizable vs. non-formalizable parts? |

04/15/2010 | The problem... | splitting the program into formalizable vs. non-formalizable parts? |

04/04/2010 | A Formal System For Euclid's Elements | A Formal System For Euclid's Elements |

04/06/2010 | That Selinger paper is | A Formal System For Euclid's Elements |

03/29/2010 | The Lua-C API... | Small is Beautiful: the design of Lua |

03/31/2010 | How to encode this in the type system... | Can functional programming be liberated from the von Neumann paradigm? |

03/24/2010 | jsMath support? | jsMath support? |

03/24/2010 | There appears... | jsMath support? |

03/22/2010 | It's not a matter of "feelings"... | On the (Alleged) Value of Proof for Assurance |

03/22/2010 | By lattice-theoretic | On the (Alleged) Value of Proof for Assurance |

03/10/2010 | What do you mean? | Have tracing JIT compilers won? |

03/04/2010 | Binding... | Extending the Scope of Syntactic Abstraction |

03/01/2010 | How, in a programming | large-scale programming systems inspired by ecological and market systems |

03/16/2010 | This paper... | functional equivalance? |

02/17/2010 | Reminder: OOPSLA is now SPLASH | Reminder: OOPSLA is now SPLASH |

02/08/2010 | Resolving and Exploiting the k-CFA Paradox | Resolving and Exploiting the k-CFA Paradox |

02/04/2010 | Continuity Analysis of Programs | Continuity Analysis of Programs |

02/03/2010 | Monads in Action | Monads in Action |

02/03/2010 | Yes, you're... | Extreme non-choosiness |

01/18/2010 | The technical connection.... | Quantum Lambda Calculus |

08/09/2010 | Take a look at... | Scheme from Scratch project |

01/08/2010 | Simplicial Databases | Simplicial Databases |

12/22/2009 | Semantic types: a fresh look at the ideal model for types | Semantic types: a fresh look at the ideal model for types |

12/26/2009 | In domain theory, I've seen | Semantic types: a fresh look at the ideal model for types |

12/18/2009 | So, one of the prettiest | An Innocent Model of Linear Logic |

12/18/2009 | The sense in which I meant | An Innocent Model of Linear Logic |

12/16/2009 | Example | Naive Question? Definition of "Higher Order" |

12/11/2009 | Implementation... | Implementation of Cardelli and Daan Leijen Style Record Systems? |

12/09/2009 | Something I've wondered about... | Differentiating Parsers |

11/29/2009 | Re: Questions 2 and 3 | Reactive Extensions for .NET released this week |

12/01/2009 | Sean might be referring to | Reactive Extensions for .NET released this week |

11/12/2009 | So far my impression is that | Go or Unladen Swallow? |

11/04/2009 | Historical note | On Understanding Data Abstraction, Revisited |

10/28/2009 | Causal Commutative Arrows and Their Optimization | Causal Commutative Arrows and Their Optimization |

10/28/2009 | Thanks for commenting! | Causal Commutative Arrows and Their Optimization |

10/23/2009 | So what I'm wondering about | Languages and systems for edge-computing? |

10/21/2009 | Both... | Erik Meijer's MSDN Channel 9 lecture series on functional programming |

10/15/2009 | There's plenty of small | Standard, simple subset of Scheme for experimentation? |

10/13/2009 | Control-flow analysis... | Algorithms for inferring most specific types? |

10/13/2009 | I thought you had something | Algorithms for inferring most specific types? |

10/09/2009 | Mostly... | Haskell in the real world: writing a commercial program in Haskell |

10/03/2009 | For a programmer, "abstract | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |

10/05/2009 | Adequacy | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |

10/06/2009 | Adequacy is a very modest | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |

09/30/2009 | There are... | How to respect language styles while translating? |

09/18/2009 | They do solve it | Noop: Google Language for the JVM |

08/21/2009 | I'm not sure what the | The End of the GPU Roadmap |

08/22/2009 | The paper is primarily about | The End of the GPU Roadmap |

08/03/2009 | A Functional I/O System (or Fun for Freshman Kids) | A Functional I/O System (or Fun for Freshman Kids) |

07/29/2009 | Yeah, I definitely agree | Definition of Functional Programming Language |

08/05/2009 | The shortest definition... | Definition of Functional Programming Language |

07/24/2009 | It depends on the language... | (Very) Simpleminded kind question |

07/15/2009 | Here's an easy one... | Most powerful terminating semantics? |

07/02/2009 | For non-cflow advice... | Peter Van Roy: Programming Paradigms for Dummies |

06/13/2009 | Don't you already know the answer to that...? | Preventing downcasting and adding a universal variant |

06/14/2009 | Parametricity... | Preventing downcasting and adding a universal variant |

06/12/2009 | You could also allow a safe downcast form... | Preventing downcasting and adding a universal variant |

06/12/2009 | Axiomatic semantics | Semantics: Logic vs. PL |

06/16/2009 | Operational semantics | Semantics: Logic vs. PL |

06/04/2009 | Peter Landin | Peter Landin |

06/08/2009 | Polymorphic record | Are extensible records first class patterns? |

06/02/2009 | Translation of Tree-processing Programs into Stream-processing Programs based on Ordered Linear Types | Translation of Tree-processing Programs into Stream-processing Programs based on Ordered Linear Types |

05/28/2009 | My posting rate has dropped | Forth Dimensions |

05/19/2009 | See Noam Zeilberger's PhD thesis... | Types are Calling Conventions |

05/15/2009 | Did Church grok monads and | Why Did M.I.T. Switch from Scheme to Python? |

05/07/2009 | Turing's paper is very clear | Right on! |

05/06/2009 | By no means... | Static typing may require runtime type checking? |

04/16/2009 | Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time | Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time |

04/16/2009 | He discusses this question | Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time |

04/01/2009 | This is a problem with Dylan... | PLOT: Programming Language for Old Timers |

03/24/2009 | The Art of the Propagator | The Art of the Propagator |

03/25/2009 | Can you recommend a good survey paper? | The Art of the Propagator |

03/27/2009 | Yes, thanks! | The Art of the Propagator |

03/25/2009 | Declarative programming | D is for Domain and Declarative |

03/25/2009 | Thanks | D is for Domain and Declarative |

03/20/2009 | If I wanted to do this... | Tiered approaches to higher order programming? |

03/20/2009 | Then I can strongly | Tiered approaches to higher order programming? |

03/20/2009 | Some references | Relational database implementation paper ? |

03/06/2009 | A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking | A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking |

03/03/2009 | Equality Saturation: A New Approach to Optimization | Equality Saturation: A New Approach to Optimization |

03/04/2009 | Charles, your comments are | The Meta-LtU Thread |

02/11/2009 | Parameterized Notions of Computation | Parameterized Notions of Computation |

02/12/2009 | What I'm getting at is that | Parameterized Notions of Computation |

02/15/2009 | Hey, that's pretty cool! | Parameterized Notions of Computation |

02/04/2009 | Regular languages... | What is the dual of { } ? |

01/26/2009 | If you're still near Purdue... | Graduate Programs in Programming Language Design/Research/Implementation? |

01/12/2009 | See Harper & Morisett 1995 | Typed lambda calculii with type-indexed families of functions instead of polymoprhic functions? |

01/12/2009 | It's what I do in Ocaml, too... | Monads = lazy, effect types = strict? |

01/12/2009 | Types, lots of types...! | Monads = lazy, effect types = strict? |

11/24/2008 | If you look at his 1974 paper... | Non-standard type theories for FP |

02/11/2009 | How contracts are "more applicable" | Microsoft PDC "Language" Talks |

10/26/2008 | It seems to me... | Summary of Dependently Typed Systems? |

10/05/2008 | Local Rely-Guarantee Reasoning | Local Rely-Guarantee Reasoning |

09/18/2008 | Read proof-theoretically, | "Very linear" lambda calculus |

09/19/2008 | No... | First-class Macros |

09/11/2008 | Coinductive proof principles for stochastic processes | Coinductive proof principles for stochastic processes |

09/10/2008 | Here's how to do it. | Polymorphic Algebraic Data Type Reconstruction |

08/31/2008 | UpgradeJ: Incremental Typechecking for Class Upgrades | UpgradeJ: Incremental Typechecking for Class Upgrades |

08/30/2008 | Relational Parametricity and Units of Measure | Relational Parametricity and Units of Measure |

08/31/2008 | I think this is a different | Relational Parametricity and Units of Measure |

08/26/2008 | You might want to look at an | Languages ready for API Evolution |

08/12/2008 | Effects make certain | Programming Language Beauty: Look Closure |

08/05/2008 | For first-order programs... | A Question Concerning Effect Types |

07/10/2008 | ICFP contest starts tomorrow | ICFP contest starts tomorrow |

07/09/2008 | Functional Netlists | Functional Netlists |

07/01/2008 | Non-Deterministic Recursive Ascent Parsing | Non-Deterministic Recursive Ascent Parsing |

07/04/2008 | Also, Essence | Non-Deterministic Recursive Ascent Parsing |

07/01/2008 | No, not spam! | Hardware Design and Functional Programming: a Perfect Match |

06/18/2008 | There are type systems... | Higher-order type constructor polymorphism vs./and template style specialization |

06/11/2008 | Here's a concrete example of | On the importance of Turing completeness |

06/11/2008 | This is Turing-complete! | On the importance of Turing completeness |

06/12/2008 | Yes | On the importance of Turing completeness |

06/01/2008 | Maybe this is helpful.... | what a type system always proves vs. what it can be made to prove |

05/20/2008 | Linear Logical Algorithms | Linear Logical Algorithms |

05/20/2008 | Deletion is needed for efficiency | Linear Logical Algorithms |

05/15/2008 | Logical Algorithms | Logical Algorithms |

05/15/2008 | Yep! | Logical Algorithms |

05/05/2008 | Automatic Generation of Peephole Superoptimizers | Automatic Generation of Peephole Superoptimizers |

04/23/2008 | Species: making analytic functors practical for functional programming | Species: making analytic functors practical for functional programming |

04/22/2008 | A filter is a kind of fold. | Un-filter (or merge) lists |

04/11/2008 | Register Allocation by Proof Transformation | Register Allocation by Proof Transformation |

04/20/2008 | Short answer: we don't know | Register Allocation by Proof Transformation |

04/02/2008 | Not scary? | April 1st special: The War of the Worlds |

03/30/2008 | The usual way of | Algebraist Network |

03/22/2008 | SIGPLAN Workshop on Undergraduate Programming Language Curriculum | SIGPLAN Workshop on Undergraduate Programming Language Curriculum |

03/11/2008 | Eriskay: a Programming Language Based on Game Semantics | Eriskay: a Programming Language Based on Game Semantics |

03/17/2008 | Eriskay: a Programming Language Based on Game Semantics | Eriskay: a Programming Language Based on Game Semantics |

03/10/2008 | [Ask LTU] How to implement concurrent languages ? | [Ask LTU] How to implement concurrent languages ? |

02/29/2008 | Your sense that using a | Structural recursion on sets |

02/24/2008 | Foundations for Structured Programming with GADTs | Foundations for Structured Programming with GADTs |

02/19/2008 | When Is A Functional Program Not A Functional Program? | When Is A Functional Program Not A Functional Program? |

02/15/2008 | This transformation is | Recursive Algorithms that cannot be expresses with Tail-Recursion? |

02/01/2008 | Relating Complexity and Precision in Control Flow Analysis | Relating Complexity and Precision in Control Flow Analysis |

01/28/2008 | A Model for Formal Parametric Polymorphism: A PER Interpretation for System R | A Model for Formal Parametric Polymorphism: A PER Interpretation for System R |

01/28/2008 | Thanks! | A Model for Formal Parametric Polymorphism: A PER Interpretation for System R |

01/25/2008 | Recycling Continuations | Recycling Continuations |

01/08/2008 | Nina Bohr | Call-by-value Termination in the Untyped Lambda-calculus |

12/10/2007 | Computation Orchestration: A Basis for Wide-Area Computing | Computation Orchestration: A Basis for Wide-Area Computing |

11/10/2007 | NEXCEL, a Deductive Spreadsheet | NEXCEL, a Deductive Spreadsheet |

11/06/2007 | ECMAScript Edition 4 and Backwards Compatibility | ECMAScript Edition 4 and Backwards Compatibility |

11/05/2007 | Natural Deduction for Intuitionistic Non-Commutative Linear Logic | Natural Deduction for Intuitionistic Non-Commutative Linear Logic |

11/02/2007 | Online Learning of Relaxed CCG Grammars for Parsing to Logical Form | Online Learning of Relaxed CCG Grammars for Parsing to Logical Form |

10/18/2007 | Privacy and Contextual Integrity: Framework and Applications | Privacy and Contextual Integrity: Framework and Applications |

10/04/2007 | Derivation and Evaluation of Concurrent Collectors | Derivation and Evaluation of Concurrent Collectors |

09/28/2007 | Witnessing Side-Effects | Witnessing Side-Effects |

09/28/2007 | Thanks for the reminder | Witnessing Side-Effects |

09/27/2007 | Shape Analysis with Structural Invariant Checkers | Shape Analysis with Structural Invariant Checkers |

08/25/2007 | Theory and Practice of Constraint Handling Rules | Theory and Practice of Constraint Handling Rules |

08/24/2007 | Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators | Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators |

08/24/2007 | Here's one link and some | Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators |

08/22/2007 | Status Report: HOT Pickles, and how to serve them | Status Report: HOT Pickles, and how to serve them |

08/21/2007 | Taming the IXP network processor | Taming the IXP network processor |

08/19/2007 | User-level transactional programming in Haskell | User-level transactional programming in Haskell |

08/17/2007 | Compiling with Continuations, Continued | Compiling with Continuations, Continued |

08/16/2007 | Analyzing the Environment Structure ofHigher-Order Languages using Frame Strings | Analyzing the Environment Structure ofHigher-Order Languages using Frame Strings |

08/15/2007 | Validity Invariants and Effects | Validity Invariants and Effects |

08/14/2007 | Morphing: Safely Shaping a Class in the Image of Others | Morphing: Safely Shaping a Class in the Image of Others |

08/13/2007 | Metaprogramming with Traits | Metaprogramming with Traits |

08/13/2007 | You have a good eye; they | Metaprogramming with Traits |

08/12/2007 | Generational Real-time Garbage Collection | Generational Real-time Garbage Collection |

08/13/2007 | By real time, I mean HARD real time | Generational Real-time Garbage Collection |

08/11/2007 | Garbage Collection Without Paging | Garbage Collection Without Paging |

08/12/2007 | Obviously, I'd like to hear | Garbage Collection Without Paging |

08/14/2007 | Hi, did you try to submit | Garbage Collection Without Paging |

08/10/2007 | Relationally-Parametric Polymorphic Contracts | Relationally-Parametric Polymorphic Contracts |

08/09/2007 | Guaranteed Optimization | Guaranteed Optimization |

08/08/2007 | Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams | Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams |

08/07/2007 | Resources, Concurrency and Local Reasoning | Resources, Concurrency and Local Reasoning |

08/10/2007 | It doesn't become | Resources, Concurrency and Local Reasoning |

08/06/2007 | Realization of natural language interfaces using lazy functional programming | Realization of natural language interfaces using lazy functional programming |

07/23/2007 | Yes. | Lambda: The Semantics Tool |

07/20/2007 | ICFP contest in progress! | ICFP contest in progress! |

07/09/2007 | I do not think this is true | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |

07/12/2007 | Parsing | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |

07/10/2007 | I write lots of functions | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |

07/06/2007 | I don't understand what your | Question regarding relationship of propositional logic to category theory |

06/29/2007 | There's no technical | The feasability of Haskell in Scheme |

07/06/2007 | Smart != knowledgeable... | Haskell web store |

06/24/2007 | The Singularity guys are | Language Support for Fast and Reliable Message-based Communication |

06/23/2007 | A solid suite of | Standing on each others' feet |

06/27/2007 | As a compiler writer, I use | Standing on each others' feet |

06/20/2007 | Application-specific foreign-interface generation | Application-specific foreign-interface generation |

06/21/2007 | If I understand | Application-specific foreign-interface generation |

06/20/2007 | Hindley-Milner type | PLs and large scale development |

06/23/2007 | Careful... | PLs and large scale development |

06/14/2007 | You need to ask... | Distributed Objects vs. Messaging |

06/12/2007 | Derivatives of Regular Expressions | Derivatives of Regular Expressions |

06/08/2007 | A Functional Description of TeX's Formula Layout | A Functional Description of TeX's Formula Layout |

05/30/2007 | Type-sensitive control-flow analysis | Type-sensitive control-flow analysis |

05/25/2007 | To understand it, I expect | Festschrift for John C Reynolds's 70th Birthday |

05/10/2007 | Pickler Combinators | Pickler Combinators |

05/11/2007 | Sure thing. I usually try to | Pickler Combinators |

05/09/2007 | The PLT Scheme weblog | The PLT Scheme weblog |

05/03/2007 | Towards efficient, typed LR parsers | Towards efficient, typed LR parsers |

05/04/2007 | Cool! | Towards efficient, typed LR parsers |

04/24/2007 | Decidability of Higher Order Matching | Decidability of Higher Order Matching |

04/13/2007 | A Logic for Parametric Polymorphism | A Logic for Parametric Polymorphism |

04/11/2007 | The Structure and Value of Modularity in Software Design | The Structure and Value of Modularity in Software Design |

04/10/2007 | RZ: a tool for bringing constructive and computable mathematics closer to programming practice | RZ: a tool for bringing constructive and computable mathematics closer to programming practice |

04/11/2007 | Oops! | RZ: a tool for bringing constructive and computable mathematics closer to programming practice |

04/05/2007 | Putting functional database theory into practice: NixOS | Putting functional database theory into practice: NixOS |

04/02/2007 | Towards a Mechanized Metatheory of Standard ML | Towards a Mechanized Metatheory of Standard ML |

03/21/2007 | The New Twelf Wiki | The New Twelf Wiki |

03/16/2007 | An Intensional Type Theory: Motivation and Cut-Elimination | An Intensional Type Theory: Motivation and Cut-Elimination |

03/13/2007 | Scalable Statistical Bug Isolation | Scalable Statistical Bug Isolation |

03/10/2007 | Expressing Heap-shape Contracts in Linear Logic | Expressing Heap-shape Contracts in Linear Logic |

03/08/2007 | Static Typing for a Faulty Lambda Calculus | Static Typing for a Faulty Lambda Calculus |

03/03/2007 | Propositions as [Types] | Propositions as [Types] |

03/06/2007 | Thanks! | Propositions as [Types] |

02/21/2007 | Using Category Theory to Design Implicit Conversions and Generic Operators | Using Category Theory to Design Implicit Conversions and Generic Operators |

02/22/2007 | Thanks | Using Category Theory to Design Implicit Conversions and Generic Operators |

02/20/2007 | The Design and Implementation of a Dataflow Language for Scriptable Debugging | The Design and Implementation of a Dataflow Language for Scriptable Debugging |

02/21/2007 | Woops. :) | The Design and Implementation of a Dataflow Language for Scriptable Debugging |

02/15/2007 | Lowering: A Static Optimization Technique for Transparent Functional Reactivity | Lowering: A Static Optimization Technique for Transparent Functional Reactivity |

02/12/2007 | Lightweight Fusion by Fixed Point Promotion | Lightweight Fusion by Fixed Point Promotion |

02/12/2007 | Getting a handle on data | Almost everything happened in the Golden Age, right? |

02/10/2007 | The Missing Link - Dynamic Components for ML | The Missing Link - Dynamic Components for ML |

02/09/2007 | Here's one way to do it. | Seeking suggestions on how to unify the environment, free variables, and current activation record for closures |

02/08/2007 | Optimistic concurrency control is the big question mark | Patrick Logan on Software Transaction Memory |

02/06/2007 | Programming Parallel Algorithms | Programming Parallel Algorithms |

02/07/2007 | I haven't heard of it. What | Opinions on _Theoretical Introduction to Programming_? |

02/07/2007 | I don't find it | Opinions on _Theoretical Introduction to Programming_? |

02/07/2007 | All large programs are hideous blobs of goo -- no exceptions | Opinions on _Theoretical Introduction to Programming_? |

02/07/2007 | I don't know | Opinions on _Theoretical Introduction to Programming_? |

02/08/2007 | Marc, after rereading my | Opinions on _Theoretical Introduction to Programming_? |

02/05/2007 | Termination Checking with Types | Termination Checking with Types |

02/06/2007 | It's productivity of co-recursion, | Termination Checking with Types |

02/04/2007 | That's neat -- I had never | State of the Union: Type Inference via Craig Interpolation |

02/02/2007 | Separation Logic: A Logic for Shared Mutable Data Structures | Separation Logic: A Logic for Shared Mutable Data Structures |

02/03/2007 | A monad lets you nicely | Separation Logic: A Logic for Shared Mutable Data Structures |

02/01/2007 | There are non-visual dataflow languages | brainstorming dataflow language visualizations |

01/31/2007 | First Class Relationships in an Object-oriented Language | First Class Relationships in an Object-oriented Language |

01/31/2007 | Thanks, I fixed it. | First Class Relationships in an Object-oriented Language |

01/29/2007 | Are you putting call/cc into Java?! | What is a "fully featured closure"? Request for comments. |

01/30/2007 | Thanks! | What is a "fully featured closure"? Request for comments. |

01/28/2007 | Pasquale Malacaria, "Assessing Security Threats of Looping Constructs" | Pasquale Malacaria, "Assessing Security Threats of Looping Constructs" |

01/30/2007 | Okay. What do I need to do? | Pasquale Malacaria, "Assessing Security Threats of Looping Constructs" |

01/28/2007 | The original paper by Moggi... | Total Functional Programming |

01/19/2007 | No! | Locus Solum: From the rules of logic to the logic of rules |

01/19/2007 | Sure... | Locus Solum: From the rules of logic to the logic of rules |

01/16/2007 | Hm. | Intellisense for dynamic languages |

01/08/2007 | Suppose we've got an | Eta-expansion of abstractions outside the lambda-calculus |

01/09/2007 | There are no functions in | Eta-expansion of abstractions outside the lambda-calculus |

01/03/2007 | What you're asking for seems | Question About Computational Complexity |

01/03/2007 | ... | Question About Computational Complexity |

01/02/2007 | Here's a positive Dijkstra quote | Why numbering should start at 0 |

01/03/2007 | It's a perfectly | (Even more) theorems for free? |

01/03/2007 | Yes, this makes sense. It's | (Even more) theorems for free? |

12/20/2006 | Here's a minimalist implementation | Scheme interpreters written in Standard ML? |

12/12/2006 | path-sensitive dataflow analysis. How? | path-sensitive dataflow analysis. How? |

12/12/2006 | Yeah, that's right, though | path-sensitive dataflow analysis. How? |

12/10/2006 | You have to be careful, though... | Exceptions |

12/06/2006 | If you want to control the | "Folding"/FP traversal over trees |

11/27/2006 | The idea of defining a | Request for feedback: hobbyist post on "the significance of the meta-circular interpreter." |

11/17/2006 | I presume the idea with | De-Scheming MIT? |

11/04/2006 | This is a nice paper! | "Proof-Directed Debugging" Revisited |

11/01/2006 | Take a look at Joshua | Type inference and union types |

12/02/2006 | You got it backwards, | Type inference and union types |

11/01/2006 | By saying "the" language | Want to learn something new |

10/16/2006 | He was making the (correct) | Good Ideas, Through the Looking Glass |

08/25/2006 | call/cc is more powerful | Closures for Java or money back |

08/18/2006 | All type systems... | Can a dynamically typed language support type inference? |

08/18/2006 | Actually... | Can a dynamically typed language support type inference? |

08/18/2006 | If you're receiving f as an | Can a dynamically typed language support type inference? |

08/16/2006 | This is an instance of the | help with [Barendregt & Barendsen, 1994] |

08/03/2006 | I found the 1977 paper a | Managing missing information through Condition Propagation |

07/28/2006 | Here's how it co-exists. So, | Generics as a Library |

07/24/2006 | This seems kin to Susmit | Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference |

07/24/2006 | The cost number... | Cost of provably-correct code |

06/23/2006 | About games... | Petition for adding garbage collection to C++. |

06/25/2006 | IMO, the system-theory | What are the real benefits of FP? |

09/16/2008 | It's worth adding... | Applied Type System vs. Epigram |

06/13/2006 | There's nothing | Church-Turning is False? |

06/11/2006 | After reading the article, I | Inform 7: A relational DSL for interactive fiction with natural language syntax |

06/08/2006 | Couldn't the problem have | Joshua Bloch: "Nearly All Binary Searches Broken" |

06/08/2006 | When I have to write a | Joshua Bloch: "Nearly All Binary Searches Broken" |

06/06/2006 | Not without radical changes: | Common Lisp Exception Handling |

06/06/2006 | Touche! | Common Lisp Exception Handling |

06/07/2006 | cool! | Common Lisp Exception Handling |

06/08/2006 | likewise | emulation for Erlang style processes |

06/02/2006 | However, what does | Relevance of Curry-Howard |

06/02/2006 | When the type system is | Relevance of Curry-Howard |

06/06/2006 | Hi Frank, if you start with | Relevance of Curry-Howard |

06/06/2006 | An interpreter is a virtual | Relevance of Curry-Howard |

06/08/2006 | You're going to run afoul of Godel's theorem | Relevance of Curry-Howard |

05/30/2006 | What is the effect of making | First Class Values, Types as values within a Programming Language |

05/13/2006 | I just looked at it -- it's | Building Interpreters by Composing Monads |

05/12/2006 | re camlp4 | The Nature of Lisp (a tutorial) |

04/26/2006 | Java's generics are loosely | How do Java generics correspond to System F-(omega)? |

04/26/2006 | I ignored wildcards because | How do Java generics correspond to System F-(omega)? |

04/03/2006 | Tne "natural" numbers in | foldl and foldr |

03/30/2006 | If you find this paper | Uniform Proofs as a Foundation for Logic Programming |

03/30/2006 | IIUC, it's always had real | [ANN] Scala-2 |

03/30/2006 | A description logic is a | Class hierarchies and Ontologies |

03/31/2006 | The "ontology" part comes | Class hierarchies and Ontologies |

03/30/2006 | Agreement | Class hierarchies and Ontologies |

03/29/2006 | Finding out whether the | Type Inference in Object Oriented Languages |

03/04/2006 | Categorically, a monad is | When is one thing equal to some other thing? |

03/09/2006 | Higher-order unification is undecidable | Towards Applicative Relational Programming |

02/24/2006 | C++ template functions may | Signature Based Polymorphism, Structural Subtyping and Duck Typing |

02/26/2006 | I think the C++ semantics is | Signature Based Polymorphism, Structural Subtyping and Duck Typing |

02/18/2006 | After FOOL, Jonathan Aldrich | Gilad Is Right |

02/11/2006 | The reason this terminology | Type theory question... |

01/30/2006 | Neither is a special case... | Lambda the Ultimate Set Comprehension |

01/31/2006 | We're getting into deep water here.... | Lambda the Ultimate Set Comprehension |

02/01/2006 | None of those things are | Lambda the Ultimate Set Comprehension |

02/03/2006 | A "natural number object" in | Lambda the Ultimate Set Comprehension |

02/03/2006 | "Set theoretic intuions" | Lambda the Ultimate Set Comprehension |

02/04/2006 | No, I don't think I agree | Lambda the Ultimate Set Comprehension |

02/05/2006 | That's only existence. We still need universality! | Lambda the Ultimate Set Comprehension |

02/07/2006 | Monadic logic has nothing to do with monads! | Lambda the Ultimate Set Comprehension |

02/09/2006 | I made the same mistake, and | Lambda the Ultimate Set Comprehension |

01/21/2006 | Specs and programs are different | Lisp is sin |

01/18/2006 | How much shorter did the comp | Scala 2 |

12/30/2005 | Yes | Joel Spolsky views on CS education |

12/30/2005 | Pointers are hard! | Joel Spolsky views on CS education |

12/31/2005 | I would disagree very strongly | Joel Spolsky views on CS education |

11/27/2005 | Three suggestions: | Getting started in language design -- reading material? |

11/28/2005 | Don't forget Prolog! | Getting started in language design -- reading material? |

11/21/2005 | Dependent types == first-order logic | Dependent types: literature, implementations and limitations ? |

11/22/2005 | Elaborating on Derek's comments... | Dependent types: literature, implementations and limitations ? |

11/18/2005 | As Andris notes, we still wan | What good is Strong Normalization in Programming Languages? |

11/13/2005 | It is pretty abstract, but it | Algebra Of Programming (Bird, De Moor) |

11/14/2005 | The class of optimization pro | Algebra Of Programming (Bird, De Moor) |

11/02/2005 | Think of a proof term (ie, a | Curry/Howard and Disjunction |

11/03/2005 | No, Rice's theorem isn't relevant | OOPSLA 2005 Reports |

11/04/2005 | You're absolutely correct tha | OOPSLA 2005 Reports |

11/04/2005 | I guess... | OOPSLA 2005 Reports |

11/05/2005 | You can code this particular example with dependent types... | OOPSLA 2005 Reports |

11/03/2005 | I really like this work. That | An Overview of the Singularity Project |

10/27/2005 | If you take first order logic | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |

10/28/2005 | I think there are advantages... | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |

10/28/2005 | Pure Type Systems are a gener | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |

10/31/2005 | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |

11/02/2005 | ML type theory is a dependent | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |

10/24/2005 | You are too optimistic :( | Linear types for aliased resources |

08/09/2006 | Purely functional data structures... | Object Oriented Programming + Referential Transparency |

08/09/2006 | There's a reason I used ML | Object Oriented Programming + Referential Transparency |

08/09/2006 | Hmm... | Object Oriented Programming + Referential Transparency |

08/10/2006 | Hi Kevin, I think you're | Object Oriented Programming + Referential Transparency |

08/17/2006 | They're going to scale | Object Oriented Programming + Referential Transparency |

10/13/2005 | I always thought... | Implementing Higher Order Messages |

10/14/2005 | lvalues versus rvalues | Expressions vs Statements |

10/12/2005 | Have you looked at Siddhartha | Formal methods for O/R mapping |

10/13/2005 | Can you give the whole name o | Formal methods for O/R mapping |

10/12/2005 | Type-checking..? | Macros/Syntax vs. AST manipulation |

10/05/2005 | Here's what I think... | Scoping based on control flow graph |

10/07/2005 | I think the reason for the ad | Scoping based on control flow graph |

10/04/2005 | Here's an example from a class I'm TAing | "The Anatomy of a Loop" |

10/05/2005 | Yes, and I think it's a lovel | "The Anatomy of a Loop" |

09/28/2005 | Ocaml has a time-travelling debugger... | Looking for FP Debuggers |

09/28/2005 | AFAIK a main problem with deb | Looking for FP Debuggers |

09/22/2005 | For a concrete example using | The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene |

09/26/2005 | I don't know... | The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene |

09/09/2005 | Actually, it's liberating... | Haskell and creative freedom |

09/09/2005 | Speaking as a programmer... | Persistent functional databases |

09/09/2005 | Linear types plus Xi's DML... | Combining Theorem Proving and Programming |

09/09/2005 | Right -- I just assumed that | Combining Theorem Proving and Programming |

09/02/2005 | Networking in SML... | System programming using FP |

09/09/2005 | Most of the current... | System programming using FP |

08/25/2005 | ...Ocaml does. It uses struct | Ivory Towers and Gelfand's Principle |

08/18/2005 | His syntax is LL(1); it's bar | Neko 1.0 |

08/22/2005 | I don't know what yacc-likes | Neko 1.0 |

08/16/2005 | So here's what I'd do. Note t | Large imperative code --> functional |

08/18/2005 | 'Information and Computation' Open Access | 'Information and Computation' Open Access |

08/14/2005 | LF vs CoC | Invariants/Contracts vs. types |

08/14/2005 | Contracts vs. Types... | Invariants/Contracts vs. types |

08/15/2005 | For every classical theorem P | Invariants/Contracts vs. types |

08/09/2005 | If you're interested in actual programs... | Expressivity |

08/09/2005 | I prefer... | Simpler representation of operational semantics? |

08/12/2005 | The lambda calculus is the "i | Concatenative Language Kont |

08/05/2005 | Resolution uses modus ponens! | Mercury Vs Prolog |

08/02/2005 | Needle won't ever by ready, b | A Java/Python hybrid? |

08/08/2005 | Pearl's causal nets... | Causal Nets |

07/31/2005 | You've got a great... | An interview with Chris Date |

07/22/2005 | There are many examples... | The Complexity Zoo |

07/21/2005 | There are several possibilities... | On the Revival of Dynamic Languages |

07/21/2005 | Yeah, that would work, too. | On the Revival of Dynamic Languages |

07/20/2005 | Linear types prohibit sharing.... | Conversion of 'functional' to 'imperative' algorithms: is it possible? |

07/21/2005 | Yeah, that's exactly right. L | Conversion of 'functional' to 'imperative' algorithms: is it possible? |

07/21/2005 | If you need to reason about s | Conversion of 'functional' to 'imperative' algorithms: is it possible? |

07/23/2005 | Change isn't random... | Economics of Programming Languages |

07/17/2005 | On first reading, I don't thi | Automatic type inference via partial evaluation |

07/13/2005 | Thanks! | MTASC Slides |

07/14/2005 | Actually, I don't think... | Static Typing Where Possible, Dynamic Typing When Needed |

07/14/2005 | What do you mean... | Static Typing Where Possible, Dynamic Typing When Needed |

07/14/2005 | Okay, let's suppose that you | Static Typing Where Possible, Dynamic Typing When Needed |

07/11/2005 | The advantage of type-checking over AI... | Static Typing Where Possible, Dynamic Typing When Needed |

08/18/2005 | Frank Pfenning's notes on his | Static Typing Where Possible, Dynamic Typing When Needed |

07/11/2005 | Additionally... | Parrot 0.2.2 Released |

07/05/2005 | A number of exceptions... | Martin Fowler on Language Workbenches and DSLs |

06/28/2005 | I think some of the complexit | Generics are a mistake? |

06/26/2005 | Take a look at Scala. They ha | Functions as Classes: Which languages? |

06/25/2005 | Say more about MotionTypes? | JavaScript 2.0: Evolving a Language for Evolving Systems |

06/07/2005 | Under the Curry-Howard interp | A question I have been meaning to ask. |

05/27/2005 | Short examples of complex use of state? | Short examples of complex use of state? |

05/27/2005 | Take a look at Allyn Dimock's work... | Data flow analysis on functional Language |

05/27/2005 | I'm glad to hear this is a go | Differentiating Data Structures |

05/04/2005 | This series of papers are quite nice... | Generic Accumulations: Battery-powered Bananas |

05/02/2005 | Actually... | Call for Papers: ACM Symposium on Dynamic Languages |

09/29/2005 | I don't think I agree... | From Perl Monks: "pissed off about functional programming" |

10/02/2005 | From Perl Monks: "pissed off about functional programming" | From Perl Monks: "pissed off about functional programming" |

05/02/2005 | Look at Hongwei Xi's work... | The Fortress Language Spec v0.618 |

04/12/2005 | If you want an economic analysis... | Dominus talks about HO Perl |

04/12/2005 | Check out Kevin Sullivan, Wil | Dominus talks about HO Perl |

04/10/2005 | Well, John Power... | Premonoidal categories and notions of computation |

04/04/2005 | Take a look at LolliMon... | Starlog |

04/04/2005 | Continuations are negation | Programmatic nature of subatomic make up |

10/03/2005 | SoI think "+/" is the same as | The fate of reduce() in Python 3000 |

03/09/2005 | Hmm... | Educational Pearl: Automata as Macros |

03/09/2005 | I don't know if I fully agree | Open problems in category theory and computing science |

02/10/2005 | That's very cool. :) | Code Generation with Python, Cog, and Nant |

01/26/2005 | See Goubalt-Larreq, Logical F | BitC, a new OS implementation language |

01/19/2005 | I wouldn't be so quick to mak | Dynamic Eager Haskell |

01/15/2005 | My own favorite semantics for SML is... | Commentary on Standard ML |

01/02/2005 | Erlang and CML | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |

12/05/2004 | You can even use it as a formal definition! | Definition of Type |

11/18/2004 | I would be fascinated by anyt | Calculemus 2005 |

10/26/2004 | Cool! | Scheme Language Standardization Process: R6RS Progress Report |

10/23/2004 | Here's a fable by John Reynolds... | What's a definition of "type" that beginners can understand? |

10/23/2004 | You're probably right that th | What's a definition of "type" that beginners can understand? |

10/21/2004 | Constraint solving vs. functional programming | Playing the Minesweeper with Constraints (MOZ 2004) |

10/16/2004 | Mild disagreement on Perl... | Language design: Escaping escapes |

10/08/2004 | Laszlo was at LL2 | Laszlo - So good, I had to change my underwear |

10/03/2004 | This isn't a full language, b | Probabilistic languages for kids? |

09/24/2004 | I disagree | References for Beginners in PL Theory |

09/21/2004 | I've heard that... | Questions about Semantics. |

09/25/2004 | You might want to look at Frank Pfenning's notes... | Questions about Semantics. |

05/13/2012 | It's okay... | Higher order versus Object order |

08/31/2004 | Computational Category Theory | What's up guys? |

07/13/2005 | I agree with Frank... | Why type systems are interesting - part III: latent types |

07/13/2005 | Yeah, and you can also... | Why type systems are interesting - part III: latent types |

08/09/2004 | It's a pretty simple idea at root, though verbose to explain | Constraint-Based Type Inference for Guarded Algebraic Data Types |

08/09/2004 | This reminds me of a couple of epigrams... | PLs and SE |

08/26/2004 | Rejecting programs is important too | Why type systems are interesting - part II |

07/29/2004 | Could you post a message in the discussion group here... | Udell at OSCON: IronPython news |

07/24/2004 | Take a look at Michael Hicks's work.... | Type systems and software evolution |

07/24/2004 | Just look at the lambda calculus | Having trouble with 'purity' |

01/24/2012 | See Schroeder-Heister on definitional reflection | Embedding Prolog in Haskell |

01/24/2012 | Thanks! | Embedding Prolog in Haskell |

07/31/2004 | No, overloading is a side-issue | Why type systems are interesting |

05/26/2006 | The interesting thing... | Why type systems are interesting |

05/28/2006 | You're right, though as a | Why type systems are interesting |

05/30/2006 | Personally, I find the Pure | Why type systems are interesting |

09/24/2004 | Ha! | Explaining monads |

09/30/2004 | This is exactly what I do | Explaining monads |

06/27/2004 | Look up "equalizers" | Elementary Category Theory |

07/14/2004 | Equalizers exactly express the property you want.... | Elementary Category Theory |

06/25/2004 | Yes, it's valid | Is "type" a fundamental intrinsic property of values? |

06/22/2004 | Hmm... | XPython |

06/24/2004 | Actually I'm not convinced th | XPython |

06/22/2004 | I think... | 1st International Workshop on Interpreted Languages |

06/21/2004 | Yes, that's exactly... | Interactive Programming |

06/21/2004 | Thanks! | Welcome to the New, Improved LtU! |

LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |