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 |