Posts By: Andris Birkmanis
Date | Post | Topic |
01/11/2011 | Whose money | Scala Team Wins ERC Grant |
06/28/2010 | Hand waiving? Or class struggle? | Why Undergraduates Should Learn the Principles of Programming Languages |
06/30/2010 | Confused | Why Undergraduates Should Learn the Principles of Programming Languages |
06/30/2010 | Is PLT really fundamental (for business)? | Why Undergraduates Should Learn the Principles of Programming Languages |
07/01/2010 | Apprenticeship | Why Undergraduates Should Learn the Principles of Programming Languages |
07/01/2010 | Subjective theory of value, time preference, and sound money | Why Undergraduates Should Learn the Principles of Programming Languages |
07/02/2010 | k-permutation? | Functional Pearl: Species and Functors and Types, Oh My! |
07/04/2010 | Thank you for | Functional Pearl: Species and Functors and Types, Oh My! |
07/05/2010 | Bigger clarification | Functional Pearl: Species and Functors and Types, Oh My! |
01/05/2010 | Physics, Topology, Logic and Computation: A Rosetta Stone | Physics, Topology, Logic and Computation: A Rosetta Stone |
01/05/2010 | Previously mentioned on LtU | Physics, Topology, Logic and Computation: A Rosetta Stone |
12/22/2009 | Super and Inner — Together at Last! | Super and Inner — Together at Last! |
01/05/2010 | Template methods | Super and Inner — Together at Last! |
12/14/2009 | ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing | ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing |
11/16/2009 | What types are Ts? | Seeking nearly anything re: so called language "bootstrapping" process |
10/24/2009 | LINQ? | Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language |
10/24/2009 | Trees are not eval | Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language |
10/01/2009 | Possible typo | Swarm now based on Scala 2.8, uses delimited continuations |
09/13/2009 | Transition Function not Demoed | LEGO Turing Machine |
08/13/2009 | Perl Cannot Be Parsed: A Formal Proof | Perl Cannot Be Parsed: A Formal Proof |
11/24/2008 | [Admin] Disclaimer and User Name | yet another oop formalization: class as abstract automata |
11/04/2008 | References? | Total functional language self interpreter? |
11/05/2008 | Typing grace | Total functional language self interpreter? |
11/24/2008 | Uninhabited types | Total functional language self interpreter? |
09/11/2008 | A Framework for Comparing Models of Computation | A Framework for Comparing Models of Computation |
09/12/2008 | Ideas for extension? | A Framework for Comparing Models of Computation |
09/09/2008 | Left inverse | Phil Windley's DSL adventures |
09/04/2008 | Stock exchanges: language design aspect | Stock exchanges: language design aspect |
09/04/2008 | Thanks! | Stock exchanges: language design aspect |
09/05/2008 | Right | Stock exchanges: language design aspect |
09/05/2008 | Contracts Strongly Related | Stock exchanges: language design aspect |
07/16/2008 | Too many paradigms | Practical Bits of Making a Compiler for a New Language |
01/07/2008 | Featherweight JavaScript? | Featherweight JavaScript? |
01/08/2008 | Scoping | Featherweight JavaScript? |
01/07/2008 | Covariance of Arrays | (newbie question) Covariance and contravariance |
01/04/2008 | J&: Nested Intersection for Scalable Software Composition | J&: Nested Intersection for Scalable Software Composition |
12/28/2007 | Nested Schedulers: A Tree Is Not Enough? | Nested Schedulers: A Tree Is Not Enough? |
12/29/2007 | Priority Inversion | Nested Schedulers: A Tree Is Not Enough? |
12/29/2007 | Still a bit different | Nested Schedulers: A Tree Is Not Enough? |
12/29/2007 | Concurrent lazy search | Nested Schedulers: A Tree Is Not Enough? |
01/04/2008 | Regehr's Dissertation | Nested Schedulers: A Tree Is Not Enough? |
01/04/2008 | Thanks | Nested Schedulers: A Tree Is Not Enough? |
12/17/2007 | Coupling? | Computation Orchestration: A Basis for Wide-Area Computing |
12/09/2007 | Automatic partitioning | Democratizing the Cloud using Microsoft Live Labs Volta |
09/06/2007 | Relational algebra vs. relational calculus | Q: Modularizing SQL? |
09/01/2007 | Escape from Zurg: An Exercise in Logic Programming | Escape from Zurg: An Exercise in Logic Programming |
09/03/2007 | Through the Looking Glass? :) | Escape from Zurg: An Exercise in Logic Programming |
08/30/2007 | Where are these problems? | R6RS Validated |
08/29/2007 | History of causes as object identity | History of causes as object identity |
08/30/2007 | Thanks | History of causes as object identity |
09/06/2007 | Selfish Objects | History of causes as object identity |
08/25/2007 | A functional correspondence between evaluators and abstract machines | A functional correspondence between evaluators and abstract machines |
08/25/2007 | Right | A functional correspondence between evaluators and abstract machines |
08/25/2007 | VamOz: Visual Abstract Machine for Oz | VamOz: Visual Abstract Machine for Oz |
08/24/2007 | Constraint programming in Haskell? | Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators |
08/20/2007 | Imperative SQL | Diagram showing all programming paradigms and their relationships |
08/20/2007 | Hasse diagram? | Diagram showing all programming paradigms and their relationships |
08/20/2007 | Polytypic programming? What, no types? | Diagram showing all programming paradigms and their relationships |
08/20/2007 | What's a paradigm? | Diagram showing all programming paradigms and their relationships |
08/21/2007 | Cells and call/cc. Or delimited continuations. | Diagram showing all programming paradigms and their relationships |
08/23/2007 | No SQL | Diagram showing all programming paradigms and their relationships |
08/06/2007 | Apache Camel routing rules: a DSL? | Apache Camel routing rules: a DSL? |
07/27/2007 | Seam from PLT perspective | Seam from PLT perspective |
07/28/2007 | Better not, but... | Seam from PLT perspective |
07/28/2007 | From Qt to Seam | Seam from PLT perspective |
07/30/2007 | DSL on top of Seam | Seam from PLT perspective |
07/31/2007 | A very sick tree | Seam from PLT perspective |
09/01/2007 | No papers. Just stones and scissors. | Seam from PLT perspective |
08/28/2007 | I may be too late | Comprehensions with ‘Order by' and ‘Group by' |
08/25/2007 | Formal Islands | AngloHaskell 2007 - date and venue confirmed |
07/10/2007 | Still blind wisemen | The PIllars of Concurrency |
07/09/2007 | Cognitive factor? | Why Events Are A Bad Idea (for high-concurrency servers) |
07/04/2007 | Garbage collector is your friend | Asynchronous calls and error handling |
07/04/2007 | Pipelining of promises? | Asynchronous calls and error handling |
07/06/2007 | How closely are continuations related to asynchronity? | Asynchronous calls and error handling |
07/01/2007 | Branching affordance? | Branching affordance? |
06/30/2007 | CLL: A Concurrent Language Built from Logical Principles | CLL: A Concurrent Language Built from Logical Principles |
06/30/2007 | A simpler version | CLL: A Concurrent Language Built from Logical Principles |
07/06/2007 | Can they? | Haskell web store |
06/26/2007 | What about typings? | Fully Inferable Languages |
06/26/2007 | Slight typo(ing) | Fully Inferable Languages |
06/27/2007 | Just maybe | Fully Inferable Languages |
06/27/2007 | Types? | Katahdin: Modifying your programming language as it runs |
06/24/2007 | Mechanism design | Carnap Programming Language |
06/25/2007 | Distributed mechanism design | Carnap Programming Language |
06/25/2007 | Trusting remote PL runtime? | Carnap Programming Language |
06/28/2007 | Soft state in routers? | Trickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility |
06/30/2007 | Egress routers only | Trickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility |
07/04/2007 | Why not HLL and FFI? | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
01/02/2008 | No Silver Bullet | Social Processes and Proofs of Theorems and Programs |
01/03/2008 | The right tools probably can | Social Processes and Proofs of Theorems and Programs |
01/06/2008 | Fractal Intuition | Social Processes and Proofs of Theorems and Programs |
05/11/2007 | Chimeras | LC for kids (alligators, oh my!) |
05/09/2007 | Not a game | LC for kids (alligators, oh my!) |
05/09/2007 | Interactive fun without non-trivial opponent | LC for kids (alligators, oh my!) |
05/09/2007 | Foundations Of Temporal Query Languages | Foundations Of Temporal Query Languages |
01/24/2007 | Resumptions | Total Functional Programming |
01/24/2007 | Natural queasiness | Total Functional Programming |
01/19/2007 | Locus Solum: From the rules of logic to the logic of rules | Locus Solum: From the rules of logic to the logic of rules |
01/15/2007 | Beauty in the Beast | Beauty in the Beast |
01/13/2007 | 99 Haskell problems | Ninety-nine Lisp Problems |
01/14/2007 | For additional points | Ninety-nine Lisp Problems |
01/13/2007 | Intersection types or abstract interpretation | Intellisense for dynamic languages |
01/16/2007 | Plugging Haskell In | Intellisense for dynamic languages |
01/12/2007 | For what it's worth | Call by push-value |
01/12/2007 | That's a tagged sum | Call by push-value |
01/12/2007 | Asymmetric simplified tuples in JWA | Call by push-value |
01/16/2007 | Distributed testing | Interlanguage Migration: From Scripts to Programs |
01/18/2007 | Actually yes | Interlanguage Migration: From Scripts to Programs |
01/08/2007 | Extending the Multilisp Sponsor Model | Extending the Multilisp Sponsor Model |
01/08/2007 | Ada? | Extending the Multilisp Sponsor Model |
01/07/2007 | A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations | A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations |
01/09/2007 | Popularization | A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations |
01/09/2007 | No, judging by the TOC | Are Frames and Slots anything more that OO with a different name? |
01/04/2007 | Can referential transparency be bad? (puzzle included) | Can referential transparency be bad? (puzzle included) |
01/04/2007 | StablePtr | Can referential transparency be bad? (puzzle included) |
01/04/2007 | Verified | Can referential transparency be bad? (puzzle included) |
01/03/2007 | Derivatives and dissections of data types | Derivatives and dissections of data types |
01/02/2007 | Survey of delay constructs in logic/constraint PLs? | Survey of delay constructs in logic/constraint PLs? |
01/02/2007 | ...and STM | Survey of delay constructs in logic/constraint PLs? |
12/29/2006 | Stream programming - a buzzword, DSL, or a paradigm? | AgentSheets: End-User Programing (and Secret Lisp Success Story!) |
12/29/2006 | Clarification | AgentSheets: End-User Programing (and Secret Lisp Success Story!) |
12/30/2006 | SQL as a base for event stream processing DSL | AgentSheets: End-User Programing (and Secret Lisp Success Story!) |
12/29/2006 | AOD, not AOP | AgentSheets: End-User Programing (and Secret Lisp Success Story!) |
12/21/2006 | Comparing Approaches to Generic Programming in Haskell | Comparing Approaches to Generic Programming in Haskell |
12/22/2006 | Read the conclusions | Comparing Approaches to Generic Programming in Haskell |
12/22/2006 | Ad hoc polytypism | Comparing Approaches to Generic Programming in Haskell |
12/22/2006 | Sure | Comparing Approaches to Generic Programming in Haskell |
12/23/2006 | Polytypic is difficult without types | Comparing Approaches to Generic Programming in Haskell |
12/22/2006 | Design patterns require writing boilerplate | Comparing Approaches to Generic Programming in Haskell |
12/21/2006 | (Even more) theorems for free? | (Even more) theorems for free? |
12/21/2006 | Not using libraries | (Even more) theorems for free? |
12/21/2006 | Inferring type isomorphisms generically, but not uniquelly | (Even more) theorems for free? |
01/03/2007 | Weakening requirements | (Even more) theorems for free? |
01/03/2007 | Unused arguments | (Even more) theorems for free? |
01/03/2007 | Continuations | (Even more) theorems for free? |
01/03/2007 | Something needed | (Even more) theorems for free? |
01/03/2007 | Automatic generation of free theorems | (Even more) theorems for free? |
12/17/2006 | Polyphonic C#/C-omega | Elements of Interaction |
12/14/2006 | Combining strong and success typing | Practical Type Inference Based on Success Typings |
11/17/2006 | Draft course for moving on-topic | Second Life Faces Threat to its Virtual Economy |
07/22/2008 | Fusional languages are hard to lex | muSE - an embeddable scheme dialect |
07/24/2006 | Interface Automata | Interface Automata |
07/24/2006 | Some comments | Interface Automata |
07/28/2006 | Similar to Seam? | Gamma formalism |
07/14/2006 | Mixins or traits | OOP Parallel class hierarchies |
07/14/2006 | Changes? | Scheme simulator for quantum computation |
07/10/2006 | Socially Responsive, Environmentally Friendly Logic | Socially Responsive, Environmentally Friendly Logic |
07/10/2006 | Some links | Socially Responsive, Environmentally Friendly Logic |
07/11/2006 | It does not work yet | Socially Responsive, Environmentally Friendly Logic |
07/13/2006 | Ideas? | Socially Responsive, Environmentally Friendly Logic |
07/11/2006 | Pointer as object identity? | Failure-oblivious computing |
06/16/2006 | Meta-programming | Why only 'minimal' languages |
06/14/2006 | Looks like a bit too early | HLVM - High Level Virtual Machine toolkit for dynamic languages |
06/13/2006 | But seriously | Church-Turning is False? |
06/13/2006 | No Epigram in Epigram | Church-Turning is False? |
06/14/2006 | Thanks | Church-Turning is False? |
06/11/2006 | Epigram | Human Factors Research On Programming Language Syntax |
06/12/2006 | Putting lenses to work | Joshua Bloch: "Nearly All Binary Searches Broken" |
06/07/2006 | Transactions? | Common Lisp Exception Handling |
06/05/2006 | Scrap your Nameplate | Scrap your Nameplate |
06/05/2006 | Nested commits for mobile calculi: extending Join | Nested commits for mobile calculi: extending Join |
06/02/2006 | Continuations for Parallel Logic Programming | Continuations for Parallel Logic Programming |
06/02/2006 | AKL as a superset of join calculus | Continuations for Parallel Logic Programming |
06/02/2006 | Alice is too big | Continuations for Parallel Logic Programming |
06/03/2006 | Simple and powerful | Continuations for Parallel Logic Programming |
06/03/2006 | Sure | Continuations for Parallel Logic Programming |
06/03/2006 | Thanks | Continuations for Parallel Logic Programming |
06/09/2006 | Inheritance? | Relevance of Curry-Howard |
06/06/2006 | 100% CPU | Relevance of Curry-Howard |
06/08/2006 | Turing completeness considered harmful | Relevance of Curry-Howard |
06/08/2006 | A new ball game | Relevance of Curry-Howard |
06/08/2006 | Challenge to Epigram? | Relevance of Curry-Howard |
06/09/2006 | So the real value of CH is | Relevance of Curry-Howard |
06/08/2006 | Why would you want to? | Relevance of Curry-Howard |
06/08/2006 | I see | Relevance of Curry-Howard |
06/09/2006 | Clocks | Relevance of Curry-Howard |
05/29/2006 | Records | First Class Values, Types as values within a Programming Language |
07/19/2006 | Sure, but... | First Class Values, Types as values within a Programming Language |
05/29/2006 | That depends on the intended semantics | Namespaces, scoping, etc. |
05/26/2006 | "New story" template | "New story" template |
05/26/2006 | Consistency | "New story" template |
05/24/2006 | Syntax, Semantics and all that Stuff | Syntax, Semantics and all that Stuff |
05/26/2006 | Done | Syntax, Semantics and all that Stuff |
05/25/2006 | Don't panic | Transactional memory with data invariants |
05/23/2006 | Promises | Editing posts |
05/15/2006 | Modular languages | The Problem With Threads |
05/16/2006 | Maybe sketches | The Problem With Threads |
05/18/2006 | Monotonicity | The Problem With Threads |
05/11/2006 | Building Interpreters by Composing Monads | Building Interpreters by Composing Monads |
05/11/2006 | Monad transformers | Building Interpreters by Composing Monads |
05/14/2006 | More freedom, and more control | Building Interpreters by Composing Monads |
05/14/2006 | Spanning the composition | Building Interpreters by Composing Monads |
05/12/2006 | Wow, thanks | Building Interpreters by Composing Monads |
05/05/2006 | Typed Concurrent Programming with Logic Variables | Typed Concurrent Programming with Logic Variables |
05/05/2006 | Unification could be spared? | Typed Concurrent Programming with Logic Variables |
05/05/2006 | Insider info? | Typed Concurrent Programming with Logic Variables |
05/26/2006 | Some of the benefits | Your favourite editor/IDE |
05/26/2006 | Refactoring | Your favourite editor/IDE |
05/28/2006 | Nitpicking | Your favourite editor/IDE |
05/29/2006 | Not only casts | Your favourite editor/IDE |
05/03/2006 | A Monadic Semantics for Core Curry | A Monadic Semantics for Core Curry |
04/19/2006 | References to join calculus? | E Thesis: Robust Composition |
04/19/2006 | Not sure | E Thesis: Robust Composition |
04/20/2006 | Composable memory transactions | E Thesis: Robust Composition |
04/20/2006 | Functional nets | E Thesis: Robust Composition |
04/20/2006 | Relevance of join calculus | E Thesis: Robust Composition |
04/18/2006 | Cheating | foldl and foldr |
03/29/2006 | That's what (good) type systems are for | "Semi-complete" Boolean Evaluation? |
03/28/2006 | Follow-up? | A virtual class calculus |
03/17/2006 | Creational patterns - use pi? | Design Patterns as Higher-Order Datatype-Generic Programs. |
03/06/2006 | Active Libraries and Universal Languages | Active Libraries and Universal Languages |
04/13/2006 | Thanks | Active Libraries and Universal Languages |
03/09/2006 | I am not sure what you mean | Towards Applicative Relational Programming |
02/23/2006 | Hundreds of Impossibility Results for Distributed Computing | Hundreds of Impossibility Results for Distributed Computing |
02/23/2006 | Games failures play | Hundreds of Impossibility Results for Distributed Computing |
03/02/2006 | Workflow engines | Introduction to the Java EE 5 Platform |
03/06/2006 | False claims are even worse | Introduction to the Java EE 5 Platform |
02/23/2006 | What about HOFs? | Gilad Is Right |
02/23/2006 | Duck-typing the rabbit hole | Gilad Is Right |
02/14/2006 | Event-State Duality: The Enriched Case | Chu Spaces |
02/10/2006 | Which 5 and 6? | Sociology of a Language Construct |
02/03/2006 | Open classes? | The Next Mainstream Programming Languages |
02/02/2006 | "How Much Non-strictness do Lenient Programs Require?" | The Next Mainstream Programming Languages |
02/03/2006 | No, but CPS is a good bet | The Next Mainstream Programming Languages |
02/06/2006 | Just curious | The Next Mainstream Programming Languages |
02/09/2006 | Oops, CPS is a bad bet | The Next Mainstream Programming Languages |
02/09/2006 | Garbage-collecting threads? | The Next Mainstream Programming Languages |
02/09/2006 | The difference lies in application | The Next Mainstream Programming Languages |
01/29/2006 | ...and slantness | Blockquote color |
01/30/2006 | OS=Exokernel+PL RTS | Promising OS's from a Programming Language Perspective |
01/25/2006 | Great! | PiDuce |
01/22/2006 | "my recent posts" | Infrastructure Announcement |
01/21/2006 | Agents polymorphic in capabilities | Spring School on Datatype-Generic Programming 2006 |
01/06/2006 | Constraint Programming | Constraint Programming |
12/23/2005 | An Operational Foundation for Delimited Continuations in the CPS Hierarchy | An Operational Foundation for Delimited Continuations in the CPS Hierarchy |
12/21/2005 | ...and newer versions of Firefox | Chickenfoot |
12/19/2005 | Delimited continuations | Virtual machine implementation and dynamic languages |
12/12/2005 | Game semantics? | Is this a new programming paradigm |
12/15/2005 | Stop pushing :) | Is this a new programming paradigm |
12/14/2005 | Automatically Restructuring Programs for the Web | CPS without GC? |
12/19/2005 | Pre-Scheme? | CPS without GC? |
12/07/2005 | Erlang again | Envisioning a New Language: A Conversation With Victoria Livschitz |
12/06/2005 | Standards are not readable | Misc Links |
12/01/2005 | Intersection types, seconded | Conjunction types |
12/01/2005 | Sets of values, not of features | Conjunction types |
12/03/2005 | Why "principal" | Conjunction types |
12/02/2005 | IntegralString | Conjunction types |
11/30/2005 | Do we talk types over the phone? | Do we talk types over the phone? |
11/30/2005 | Not reflection or serialization | Do we talk types over the phone? |
12/02/2005 | Wow, a DSL | Do we talk types over the phone? |
11/30/2005 | Modularization exercise | Battle of the Languages II |
11/29/2005 | Ghost bumps | Ghost bumps |
11/30/2005 | Forgive, but grumble | The building of robust software |
12/01/2005 | Dependent types? | The building of robust software |
11/24/2005 | PietPiet | Code Reading |
11/21/2005 | In the beginning was game semantics | In the beginning was game semantics |
11/22/2005 | Introduction to Cirquent Calculus and Abstract Resource Semantic | In the beginning was game semantics |
11/30/2005 | You are welcome | In the beginning was game semantics |
11/22/2005 | Void type | Dependent types: literature, implementations and limitations ? |
11/22/2005 | C's void is unit in most cases | Dependent types: literature, implementations and limitations ? |
11/23/2005 | No copying in zippers | Felleisen: How to Design Class Hierarchies |
11/18/2005 | Oz users? | The X10 Programming Language |
11/18/2005 | My pi-machine hanged up! | What good is Strong Normalization in Programming Languages? |
11/15/2005 | Telescoped names | Extensible Records With Scoped Labels |
11/14/2005 | Reflexive addition? | Algebra Of Programming (Bird, De Moor) |
11/10/2005 | Putting Curry-Howard to Work | Putting Curry-Howard to Work |
11/10/2005 | Picking the nits | Putting Curry-Howard to Work |
11/14/2005 | Congestions | Putting Curry-Howard to Work |
11/15/2005 | Thanks | Putting Curry-Howard to Work |
11/11/2005 | Not a language, but still | CaSe SenSitIviTy! What is its purpose in programming language syntax? |
11/10/2005 | Memory-safety fine distinctions | Battling Bugs: A Digital Quagmire |
11/16/2005 | User-friendly representation of capabilities | Battling Bugs: A Digital Quagmire |
11/10/2005 | Worth a story | The Role of Type Equality in Meta-Programming |
11/09/2005 | Io == Pi? | OOPSLA 2005: Io, a small programming language |
11/11/2005 | Reverse engineering? | OOPSLA 2005: Io, a small programming language |
11/10/2005 | Use a library | Classification according to type vs function - An anecdote |
11/04/2005 | Could not agree more | Programming Language Names |
11/06/2005 | Latin gegemony | Programming Language Names |
11/03/2005 | Jakarta Commons Monad, er, Chain | Jakarta Commons Monad, er, Chain |
11/03/2005 | Sorry | Jakarta Commons Monad, er, Chain |
11/08/2005 | ComponentManager.Eval | OOPSLA 2005 Reports |
11/04/2005 | Procedural constraints as dependent types? | OOPSLA 2005 Reports |
11/05/2005 | Curry-Howard kata | OOPSLA 2005 Reports |
11/01/2005 | Shifting arrays? | Why Lists? |
10/20/2005 | Some comments | Bruce Tate: Technologies that may challenge Java |
11/08/2005 | Midnight haiku | Bruce Tate: Technologies that may challenge Java |
12/19/2005 | Metahumaneness | Bruce Tate: Technologies that may challenge Java |
10/20/2005 | MtG oracle | Multigame A Very High Level Language for Describing Board Games |
10/18/2005 | ...and the PDF to search | Object Oriented Programming + Referential Transparency |
10/17/2005 | Logically speaking | Territorial Exception Handling |
10/12/2005 | Formal methods for O/R mapping | Formal methods for O/R mapping |
10/17/2005 | "As is" vs. "Should be" | Formal methods for O/R mapping |
10/17/2005 | Oz model? | Formal methods for O/R mapping |
10/12/2005 | That's trivial | The Church-Turing Thesis: Breaking the Myth |
10/12/2005 | Sure you can | The Church-Turing Thesis: Breaking the Myth |
10/12/2005 | A Monadic Framework for Subcontinuations | Zipper-based file server/OS |
10/05/2005 | Combining computational effects | Combining computational effects |
10/05/2005 | Notions of Computation Determine Monads | Combining computational effects |
10/05/2005 | Lifting expressiveness (or elevating it?) | "The Anatomy of a Loop" |
09/30/2005 | Where is the model? | Active Objects with Syntax Directed Dialogs |
09/26/2005 | Still worried | Non-Lisp, natively extensible? |
09/16/2005 | Visual Bananas Studio | Guest Blogger Erik Meijer |
09/16/2005 | Yep | Most Productive FP Lang? |
09/16/2005 | Heh | Most Productive FP Lang? |
09/16/2005 | It's a forum, after all | Most Productive FP Lang? |
09/17/2005 | Exactly | Most Productive FP Lang? |
09/17/2005 | It depends | Most Productive FP Lang? |
09/20/2005 | OT: Scala plugin | Most Productive FP Lang? |
09/15/2005 | Mixed identity | Visual Basic and LINQ |
09/13/2005 | Genetic algorithms vs. genetic programming - PLT perspective? | Genetic algorithms vs. genetic programming - PLT perspective? |
09/13/2005 | Clarification | Genetic algorithms vs. genetic programming - PLT perspective? |
09/14/2005 | Garbage in - garbage out | Genetic algorithms vs. genetic programming - PLT perspective? |
09/09/2005 | Asynchronous Exceptions in Haskell | Asynchronous Exceptions in Haskell |
09/12/2005 | Algebraic datatypes | Haskell and creative freedom |
09/08/2005 | "Read me first" | Persistent functional databases |
09/08/2005 | History as total order | Persistent functional databases |
09/08/2005 | Turing, Computing and Communication | Persistent functional databases |
09/08/2005 | No taxation without communication. Er, no I/O... | Persistent functional databases |
09/06/2005 | Do threads mean shared state? | Threads Cannot be Implemented as a Library |
09/05/2005 | I don't know whether to laugh or cry | Jon Udell: The riddle of asynchrony |
09/03/2005 | An interesting statement | Apple: procedural -> OO -> AOP -> advanced procedural |
09/10/2005 | Timber | System programming using FP |
09/01/2005 | Not extreme enough | REXX Introduction |
08/30/2005 | Real-life use case - which PLs support it nicely? | Real-life use case - which PLs support it nicely? |
08/30/2005 | Looks interesting | Real-life use case - which PLs support it nicely? |
08/31/2005 | Wow | Real-life use case - which PLs support it nicely? |
10/05/2005 | How is TM imperative? | Yearning for a practical scheme |
10/05/2005 | Playing boyscout | Yearning for a practical scheme |
08/31/2005 | ...is most easily read from bottom to top | CodeProfiles.java - CODeDOC 2002 |
08/24/2005 | Aha, Observer | Scalable Component Abstractions |
08/23/2005 | Neko no me no you ni kawaru | Ivory Towers and Gelfand's Principle |
08/23/2005 | I'll bite | Ivory Towers and Gelfand's Principle |
08/25/2005 | Timescale | Ivory Towers and Gelfand's Principle |
08/23/2005 | It can change correctness | When to create syntax? |
08/12/2005 | Discrimination | Syntax Design |
08/12/2005 | Naked objects? | Syntax Design |
08/12/2005 | Or, better, Squeak | Syntax Design |
08/11/2005 | Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets | Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets |
08/11/2005 | JavaMonads | JavaMonads |
08/10/2005 | ...and a solution? | Expressivity |
08/11/2005 | It's good to repeat it :-) | Expressivity |
08/11/2005 | Effects&type system for Scheme? :-) | Concatenative Language Kont |
08/15/2005 | Monads as concatenative PLs? | Concatenative Language Kont |
08/08/2005 | Guarded Induction and Weakly Final Coalgebras in Dependent Type Theory | Guarded Induction and Weakly Final Coalgebras in Dependent Type Theory |
08/08/2005 | Backlink | Guarded Induction and Weakly Final Coalgebras in Dependent Type Theory |
08/08/2005 | Simple indeed | Guarded Induction and Weakly Final Coalgebras in Dependent Type Theory |
08/08/2005 | Coupling of concepts - good or bad | Coupling of concepts - good or bad |
08/09/2005 | Excellent summary | Coupling of concepts - good or bad |
08/09/2005 | Neither is Java | Have scripting languages peaked? |
08/04/2005 | Trampolining Architectures | Trampolining Architectures |
08/04/2005 | Pretty close | Trampolining Architectures |
08/05/2005 | Luke? | Trampolining Architectures |
08/05/2005 | More in-depth (warning, categories) | Trampolining Architectures |
08/06/2005 | Probably a smoother introduction to trampolines and friends | Trampolining Architectures |
08/07/2005 | Hope that was useful | Trampolining Architectures |
08/08/2005 | Refocusing in Reduction Semantics | Trampolining Architectures |
08/04/2005 | Complexity? | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/07/2005 | Almost orthogonal persistence | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/08/2005 | They are | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/09/2005 | -ilities? | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/04/2005 | How about Scheme? | A Lisp to JavaScript Compiler in 100 Lines |
08/03/2005 | Knowing your goals | Bigloo.NET: compiling Scheme to .NET CLR |
08/05/2005 | Especially proofs as programs | Mercury Vs Prolog |
08/09/2005 | A quick response | Mercury Vs Prolog |
08/02/2005 | Causal Nets | Causal Nets |
08/02/2005 | Expressing it in CT language | Causal Nets |
08/01/2005 | Programming Paradigms of the Andorra Kernel Language | Programming Paradigms of the Andorra Kernel Language |
08/02/2005 | Either that | Language Evolution applied to PLT |
08/01/2005 | Cantankerousness is optional | An interview with Chris Date |
08/02/2005 | Sorry if I was too offensive | An interview with Chris Date |
08/02/2005 | C2 Wiki | An interview with Chris Date |
08/02/2005 | Other implementations | An interview with Chris Date |
07/30/2005 | Mixins, traits, etc. | A Typed Intermediate Language for Compiling Multiple Inheritance |
07/26/2005 | Concurrent Clustered Programming | Concurrent Clustered Programming |
07/26/2005 | Comparison to Oz/Alice? | Concurrent Clustered Programming |
07/27/2005 | Hereditary lines | Concurrent Clustered Programming |
07/23/2005 | AdbmaL | AdbmaL |
07/25/2005 | Side conditions or explicit "descoping"? | AdbmaL |
07/25/2005 | For a quick reference | AdbmaL |
07/25/2005 | Dynamic vs. static... oh, never mind | AdbmaL |
07/25/2005 | CINNI | AdbmaL |
12/13/2005 | Discontinuos scope | AdbmaL |
07/22/2005 | Bytecode manipulation & intercession, metadata & introspection | Concerning introspection and compilation. |
07/22/2005 | Motivation and background | Concerning introspection and compilation. |
07/22/2005 | Reflection bytecodes | Concerning introspection and compilation. |
07/22/2005 | I doubt that | Concerning introspection and compilation. |
07/26/2005 | That's Greenspun's Tenth Rule of Programming | The Limits of the Semantic Extensibility of Computer Programs |
07/21/2005 | The Complexity Zoo | The Complexity Zoo |
07/22/2005 | Aha | The Complexity Zoo |
07/23/2005 | "What is an Efficient Implementation of the lambda-calculus?" | The Complexity Zoo |
07/22/2005 | Castigating Java | On the Revival of Dynamic Languages |
07/22/2005 | To be precise | On the Revival of Dynamic Languages |
07/22/2005 | ...and multi-user development | On the Revival of Dynamic Languages |
07/20/2005 | Alternative approach - replace CBV by CBN and vice versa | Conversion of 'functional' to 'imperative' algorithms: is it possible? |
07/17/2005 | A Concurrent Lambda Calculus with Futures | A Concurrent Lambda Calculus with Futures |
07/03/2005 | Design Concepts in Programming Languages | Design Concepts in Programming Languages |
06/30/2005 | Lambda-mu | Lambda-mu |
06/29/2005 | A Formulae-as-Types Interpretation of Subtractive Logic | A Formulae-as-Types Interpretation of Subtractive Logic |
06/29/2005 | A confluent lambda-calculus with a catch/throw mechanism | A Formulae-as-Types Interpretation of Subtractive Logic |
06/27/2005 | Revisiting coroutines | Revisiting coroutines |
06/28/2005 | Not exactly | Revisiting coroutines |
07/01/2005 | Sym | Functions as Classes: Which languages? |
06/23/2005 | Fractal reading | How To Read a Paper |
06/27/2005 | No, use trivial logic | How To Read a Paper |
06/22/2005 | A Monadic Framework for Subcontinuations | A Monadic Framework for Subcontinuations |
06/22/2005 | Deja vu | A Monadic Framework for Subcontinuations |
06/22/2005 | Glitches in the Matrix | A Monadic Framework for Subcontinuations |
06/23/2005 | You'd need some state | A Monadic Framework for Subcontinuations |
06/23/2005 | Back to reading | A Monadic Framework for Subcontinuations |
06/24/2005 | Why 4 operators? | A Monadic Framework for Subcontinuations |
06/22/2005 | Crystal Scheme: A Language for Massively Parallel Machines | Crystal Scheme: A Language for Massively Parallel Machines |
06/22/2005 | Almost agree | Why recursing is better than looping |
06/29/2005 | Writers/readers | Why recursing is better than looping |
06/15/2005 | Another suggestion - joins | Tim Bray: On Threads |
06/16/2005 | References | Tim Bray: On Threads |
06/13/2005 | Transducer Composition and CPS | Transducer Composition and CPS |
06/14/2005 | Definitely, thanks | Transducer Composition and CPS |
06/16/2005 | Setting the type, err, kind | Java Generics, Arrays, and Comparables |
06/09/2005 | Bottom-Up beta-Substitution: Uplinks and lambda-DAGs | Bottom-Up beta-Substitution: Uplinks and lambda-DAGs |
06/09/2005 | Congratulations | Congrats in order |
06/09/2005 | XQuery and monads | XQuery 1.0 and XPath 2.0 Formal Semantics - Last Call |
06/10/2005 | Let gazillions FLW[O]Rs bloom | XQuery 1.0 and XPath 2.0 Formal Semantics - Last Call |
06/08/2005 | On Evaluation Contexts, Continuations, and the Rest of Computation | On Evaluation Contexts, Continuations, and the Rest of Computation |
06/08/2005 | S-categories?.. | On Evaluation Contexts, Continuations, and the Rest of Computation |
06/09/2005 | You may be right, but... | What will Apple's move to Intel mean for Alternative Language Communities? |
06/09/2005 | C-style FFI | What will Apple's move to Intel mean for Alternative Language Communities? |
06/09/2005 | Scheme as a system PL | What will Apple's move to Intel mean for Alternative Language Communities? |
06/06/2005 | From shift and reset to polarized linear logic | From shift and reset to polarized linear logic |
06/06/2005 | Spoiled by TeX tutorials :-) | From shift and reset to polarized linear logic |
06/08/2005 | OT: It's in the eye of the beholder | From shift and reset to polarized linear logic |
06/06/2005 | Chung-chieh Shan's homepage | From shift and reset to polarized linear logic |
06/07/2005 | A Type-Theoretic Foundation of Continuations and Prompts | From shift and reset to polarized linear logic |
06/07/2005 | Hmm | From shift and reset to polarized linear logic |
06/09/2005 | Lambda: the Ultimate Sequencer | Bidirectional fold and scan |
06/03/2005 | Avionics Control Systems DSL from 1994, by Doug Lea | Avionics Control Systems DSL from 1994, by Doug Lea |
06/02/2005 | Can programming be liberated from the Backus style? :-) | Variables as Channels |
06/03/2005 | Oops | Variables as Channels |
06/02/2005 | What debugger shows me | What is so bad about compiling? |
06/02/2005 | Why? | What is so bad about compiling? |
06/11/2005 | Deriving process congruences from reaction rules | Pure bigraphs: structure and dynamics (by Robin Milner) |
06/12/2005 | Getting informal | Pure bigraphs: structure and dynamics (by Robin Milner) |
05/25/2005 | EMF as DSL platform | DSL Error Handling in an Object Oriented context |
05/26/2005 | How abstract is that AST? | DSL Error Handling in an Object Oriented context |
05/26/2005 | Good variables | Haskell for C Programmers |
05/21/2005 | Abstract interpretation? | Parameterized Unit Tests |
05/19/2005 | Funny characters inference | Funny characters inference |
05/22/2005 | XML is concrete | AST intermediate representations |
05/22/2005 | Race condition :-) | AST intermediate representations |
05/22/2005 | FSF policy | LLVM 1.5 has been released! |
05/22/2005 | PLTers for lawyers | LLVM 1.5 has been released! |
05/14/2005 | Type tarpit | Advanced Types in Qi |
05/13/2005 | Very practical | The logic of communicating on channels |
05/14/2005 | No satellite minis? | A question about COBOL! |
05/29/2005 | GUI for Epigram | Why Dependent Types Matter |
05/30/2005 | Epigram, dialog, play | Why Dependent Types Matter |
05/31/2005 | Levels of reuse in this tower of abstractions | Why Dependent Types Matter |
06/03/2005 | TeXlipse | Why Dependent Types Matter |
05/11/2005 | Documents-as-actors | subtext: Uncovering the simplicity of programming |
07/26/2005 | Sure | GADTs + Extensible Kinds = Dependent Programming |
05/05/2005 | Why should we? | Let's make a programming language! |
05/06/2005 | Not having computer-based computing as its target domain | Let's make a programming language! |
05/14/2005 | A customer for you :-) | Let's make a programming language! |
06/05/2006 | Concrete or abstract syntax? | Let's make a programming language! |
05/04/2005 | Typed (un)marshalling in Java | Why do computers stop and what can be done about it? |
05/04/2005 | (De)serialization | Why do computers stop and what can be done about it? |
05/05/2005 | Several things | Why do computers stop and what can be done about it? |
05/02/2005 | Generic Accumulations: Battery-powered Bananas | Generic Accumulations: Battery-powered Bananas |
05/04/2005 | Edit time | Call for Papers: ACM Symposium on Dynamic Languages |
05/05/2005 | Edit time and runtime | Call for Papers: ACM Symposium on Dynamic Languages |
05/05/2005 | I will introduce more confusion | Call for Papers: ACM Symposium on Dynamic Languages |
04/30/2005 | Lambdascope | Lambdascope |
04/30/2005 | Turing thesis | From Perl Monks: "pissed off about functional programming" |
09/29/2005 | Closure vs. combinator? | From Perl Monks: "pissed off about functional programming" |
05/02/2005 | Show me the contract | AOP blog and aosd discussion |
05/02/2005 | Java is bad. So? | AOP blog and aosd discussion |
05/22/2005 | AOP and mixins | AOP blog and aosd discussion |
05/04/2005 | Beheading empty list? | Memory fault and segmentation faults |
05/04/2005 | I am all for dependent/-able types | Memory fault and segmentation faults |
05/04/2005 | Easy to enumerate, difficult to evaluate | Memory fault and segmentation faults |
05/04/2005 | Returned the favor :) | Memory fault and segmentation faults |
05/05/2005 | Uh | Memory fault and segmentation faults |
04/27/2005 | Almost | OO runtime graphs are scale-free |
05/17/2005 | It was | The Fortress Language Spec v0.618 |
04/26/2005 | As Fast As C | Expressivity of lisp/scheme but speed of assembly/C/C++ |
05/06/2005 | Are only a-machines covered? | Expressivity of lisp/scheme but speed of assembly/C/C++ |
04/25/2005 | Restructuring Partitioned Normal Form Relations Without Information Loss | Restructuring Partitioned Normal Form Relations Without Information Loss |
04/27/2005 | No categories | Restructuring Partitioned Normal Form Relations Without Information Loss |
04/25/2005 | What makes it different? | Virtual Machine and Runtime Framework |
04/25/2005 | Calculus? Maybe logic? Type system? | Virtual Machine and Runtime Framework |
04/27/2005 | Some concerns | Virtual Machine and Runtime Framework |
04/23/2005 | Sapir-Whorf again? | Sapir-Whorf again? |
04/23/2005 | Well... | Sapir-Whorf again? |
04/24/2005 | Linguists agree | Sapir-Whorf again? |
06/09/2005 | Tuples in Java? | Why do they program in C++? |
04/21/2005 | Constructing Sequent Rules for Generalized Propositional Logics | Constructing Sequent Rules for Generalized Propositional Logics |
04/21/2005 | Sequent calculus as a base for a type system | Qi 6.1 released |
04/19/2005 | "Sliders"? | Why Dependent Types Matter |
04/23/2005 | Wow, thanks | Why Dependent Types Matter |
04/24/2005 | Dependent types for asymmetric encryption | Why Dependent Types Matter |
04/19/2005 | Datatype Laws without Signatures | Datatype Laws without Signatures |
04/18/2005 | What happened to Charity? | What happened to Charity? |
04/19/2005 | A lazy PL? | What happened to Charity? |
04/15/2005 | Garbage collecting computations | Garbage collecting computations |
04/15/2005 | Thanks! | Garbage collecting computations |
06/22/2005 | Subcontinuations | Garbage collecting computations |
04/18/2005 | Strange | How widespread are inhouse DSLs? |
04/14/2005 | Denotational semantics of a DSL? | Denotational semantics of a DSL? |
04/14/2005 | Found so far | Denotational semantics of a DSL? |
04/14/2005 | Is lambda calculus a general purpose programming language? | Denotational semantics of a DSL? |
04/15/2005 | Is the early Pascal a general purpose language? | Denotational semantics of a DSL? |
04/15/2005 | Ok then | Denotational semantics of a DSL? |
04/15/2005 | Thanks to everybody | Denotational semantics of a DSL? |
04/13/2005 | CogPrints - if you believe PLs are languages | CogPrints - if you believe PLs are languages |
04/12/2005 | Language vs. Compiler? | Links |
04/19/2005 | Costs/benefits model? | Links |
04/19/2005 | Nobody is teaching them | Links |
04/19/2005 | Partially agree | Links |
04/17/2005 | For proprietary frameworks? | Links |
04/11/2005 | Agree | Dominus talks about HO Perl |
04/13/2005 | Sorry :( | Dominus talks about HO Perl |
04/13/2005 | More internal DSLs | Language Design 101 |
04/10/2005 | Premonoidal categories and notions of computation | Premonoidal categories and notions of computation |
04/11/2005 | Thanks | Premonoidal categories and notions of computation |
04/12/2005 | The sheer depth | Links Slides |
04/10/2005 | "Speak softly" languages | Computerworld Development Survey |
04/09/2005 | An Idealized MetaML | MetaKlaim |
04/10/2005 | Premonoidal/binoidal programming | Mechanics of designing and implementing a language |
04/18/2005 | Types | Mechanics of designing and implementing a language |
04/18/2005 | As long as it's black | Mechanics of designing and implementing a language |
05/01/2005 | Comprehending Queries | Mechanics of designing and implementing a language |
04/03/2005 | Recovering resources in the pi-calculus | Recovering resources in the pi-calculus |
04/03/2005 | Region analysis and a pi-calculus with groups | Recovering resources in the pi-calculus |
04/02/2005 | Games for Logic and Programming Languages: Etaps'05 | Games for Logic and Programming Languages: Etaps'05 |
04/02/2005 | Impatient to see the report | Games for Logic and Programming Languages: Etaps'05 |
04/01/2005 | Way to go! | Fold Must Fold! |
04/01/2005 | XFortran? Semantic Fortran? | Fold Must Fold! |
03/31/2005 | FAQ typo | FAQ typo |
09/23/2005 | Back to expressivity | expressivity of "idiomatic C++" |
09/19/2005 | Smooth numbers - generic Hamming | expressivity of "idiomatic C++" |
09/19/2005 | Errata | expressivity of "idiomatic C++" |
09/20/2005 | Phase limitation | expressivity of "idiomatic C++" |
09/22/2005 | It happens | expressivity of "idiomatic C++" |
09/21/2005 | Reframing | expressivity of "idiomatic C++" |
09/20/2005 | An unexpected bonus | expressivity of "idiomatic C++" |
03/31/2005 | System/user border | How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible |
03/31/2005 | Categorical Structure of Continuation | How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible |
03/26/2005 | Proper tail reflection? | Proper tail reflection? |
03/27/2005 | Why not | Proper tail reflection? |
03/27/2005 | Will it be Bald in the end? | Proper tail reflection? |
03/23/2005 | CISC? | UCPy: Reverse Engineering Python |
03/23/2005 | I think I see | UCPy: Reverse Engineering Python |
03/21/2005 | What about philosophy? | According to Allen Holub programming is now a liberal art. When did this happen? |
03/19/2005 | Reflection in Java: how are they getting with it? | Reflection in Java: how are they getting with it? |
03/20/2005 | Too harsh | Reflection in Java: how are they getting with it? |
03/21/2005 | Implementors broke reflection?? | Reflection in Java: how are they getting with it? |
03/21/2005 | Yes, it is tricky | Grady Booch: AOSD keynote |
03/24/2005 | I am afraid they took that look :( | Grady Booch: AOSD keynote |
03/22/2005 | DSL perspective | Will Wright Presents Spore... and a New Way to Think About Games |
03/22/2005 | Procedural? | Will Wright Presents Spore... and a New Way to Think About Games |
03/22/2005 | Kolmogorov again? | Will Wright Presents Spore... and a New Way to Think About Games |
03/22/2005 | Human factor? | Will Wright Presents Spore... and a New Way to Think About Games |
03/17/2005 | "Well-typed programs don't go wrong" | OCaml vs. C++ for Dynamic Programming |
03/18/2005 | Sounds more like soundness | OCaml vs. C++ for Dynamic Programming |
03/17/2005 | Quines and polyglots | Embedding one language in another |
03/18/2005 | Metaprogramming | Embedding one language in another |
03/17/2005 | Mugshots | A New Approach to Abstract Syntax with Variable Binding |
03/12/2005 | Sheafification... | Exploiting parser ambiguity |
03/14/2005 | Thanks | Exploiting parser ambiguity |
03/08/2005 | Linear Forwarders | Linear Forwarders |
03/16/2005 | Not really | Linear Forwarders |
03/07/2005 | μABC: A Minimal Aspect Calculus | μABC: A Minimal Aspect Calculus |
03/07/2005 | Just a very late binding? | μABC: A Minimal Aspect Calculus |
03/08/2005 | Pointcut languages? | μABC: A Minimal Aspect Calculus |
03/09/2005 | Extra fat bacon | μABC: A Minimal Aspect Calculus |
03/07/2005 | On a positive side | μABC: A Minimal Aspect Calculus |
03/09/2005 | Retrospect: Dynamically scoped functions vs. AOP | μABC: A Minimal Aspect Calculus |
03/09/2005 | Retrospect: Perspectives (including program slicing) and AOP | μABC: A Minimal Aspect Calculus |
03/01/2005 | Linearly Used Continuations | Linearly Used Continuations |
03/01/2005 | Representing Control in the Presence of One-Shot Continuations | Linearly Used Continuations |
02/24/2005 | Missing link | Nick Benton: Simple Relational Correctness Proofs for Static Analyses and Program Transformations |
02/25/2005 | Translation? | Journals and papers? |
02/22/2005 | Special characters' input methods | Special characters' input methods |
02/23/2005 | I meant a browser-side gimmick :) | Special characters' input methods |
02/22/2005 | I am not a number: I am a free variable | I am not a number: I am a free variable |
02/24/2005 | Have to find out | I am not a number: I am a free variable |
02/21/2005 | "names without objects are meaningless" | What are The Atoms of Programming Languages? |
02/21/2005 | Names for computers or humans? | What are The Atoms of Programming Languages? |
02/23/2005 | Types, names, and scopes = telescopes | What are The Atoms of Programming Languages? |
02/21/2005 | Static internal names vs. dynamic published names | What are The Atoms of Programming Languages? |
02/22/2005 | Both kinds of names | What are The Atoms of Programming Languages? |
02/14/2005 | The Kell Calculus | The Kell Calculus |
02/10/2005 | A strawman for others to beat upon | Stupid Question. |
02/10/2005 | A framework? | Stupid Question. |
02/11/2005 | Wow... | Stupid Question. |
02/24/2005 | Equational calculi vs. algebras | Stupid Question. |
02/21/2005 | Cocalculi wanted | Stupid Question. |
02/12/2005 | Formality by necessity | ACM Queue: A Conversation with Alan Kay |
02/09/2005 | The HM system does not have principal typings for all terms | The HM system does not have principal typings for all terms |
02/09/2005 | See also | The HM system does not have principal typings for all terms |
02/09/2005 | "What are principal typings and what are they good for?" | The HM system does not have principal typings for all terms |
02/09/2005 | A Polar Type System | The HM system does not have principal typings for all terms |
02/09/2005 | Polar type inference with intersection types and omega | The HM system does not have principal typings for all terms |
02/09/2005 | All of them? | The HM system does not have principal typings for all terms |
02/21/2005 | The HM system does not have principal typings for all terms | The HM system does not have principal typings for all terms |
02/21/2005 | Confused | The HM system does not have principal typings for all terms |
02/22/2005 | Will need to search later | The HM system does not have principal typings for all terms |
02/23/2005 | Comparing System S to HM∀ | The HM system does not have principal typings for all terms |
02/23/2005 | Jim provided some examples as well | The HM system does not have principal typings for all terms |
02/08/2005 | The Church Project | The Church Project |
02/06/2005 | Pi-ple rights oppressed | Pi-ple rights oppressed |
02/06/2005 | Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus | Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus |
02/07/2005 | A follow-up | Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus |
02/04/2005 | Domains? | A question for the theory guys |
02/04/2005 | Why it was forgotten? | Avoiding worst case GC with large amounts of data? |
01/31/2005 | A Type System Equivalent to Flow Analysis | A Type System Equivalent to Flow Analysis |
01/31/2005 | FC sees them as orthogonal not as equivalent | A Type System Equivalent to Flow Analysis |
02/08/2005 | A calculus with polymorphic and polyvariant flow types | A Type System Equivalent to Flow Analysis |
01/29/2005 | The pi-Calculus in Direct Style | The pi-Calculus in Direct Style |
01/29/2005 | And even more "direct" | The pi-Calculus in Direct Style |
02/21/2005 | Review | The pi-Calculus in Direct Style |
01/29/2005 | Coalgebraic types? | BitC, a new OS implementation language |
02/01/2005 | Per clock cycles, not per wall clock | Langauges and Hardware... |
02/02/2005 | Looks interesting | Langauges and Hardware... |
02/02/2005 | Langauges and Hardware... | Langauges and Hardware... |
01/30/2005 | Thou shalt not burn | Langauges and Hardware... |
01/31/2005 | That was a pleasure! | Langauges and Hardware... |
01/24/2005 | TCO for free? | Implicit parallel functional programming |
01/24/2005 | APL link is broken | APL link is broken |
01/22/2005 | O'Haskell - a functional object-oriented concurrent PL | O'Haskell - a functional object-oriented concurrent PL |
01/21/2005 | ReadScheme | Getting Started |
01/21/2005 | Don't forget interactive programs | OOP Is Much Better in Theory Than in Practice |
01/21/2005 | Single user? | OOP Is Much Better in Theory Than in Practice |
01/22/2005 | Marry OOP to FP | OOP Is Much Better in Theory Than in Practice |
01/22/2005 | Computers are more than calculators of functions | OOP Is Much Better in Theory Than in Practice |
01/22/2005 | TM has no select(2) | OOP Is Much Better in Theory Than in Practice |
01/13/2005 | Where are the joins? | Introducing Comega |
01/11/2005 | Are you sure? | Ian Bicking: The challenge of metaprogramming |
01/16/2005 | GOTO in Pre-Scheme | Ian Bicking: The challenge of metaprogramming |
01/14/2005 | Joins and security | Ian Bicking: The challenge of metaprogramming |
01/14/2005 | Java 2 Security Architecture | Ian Bicking: The challenge of metaprogramming |
01/14/2005 | History-based security | Ian Bicking: The challenge of metaprogramming |
01/06/2005 | JoCaml | JoCaml |
01/07/2005 | Small world | JoCaml |
01/06/2005 | Typing Injury FAQ | Speech-to-text friendly programming languages |
01/07/2005 | Are we talking just entering the source? | Speech-to-text friendly programming languages |
01/06/2005 | Non-Deterministic Interaction Nets | Non-Deterministic Interaction Nets |
01/06/2005 | Expressiveness: sometimes subjective? | Non-Deterministic Interaction Nets |
01/07/2005 | Another observation | Non-Deterministic Interaction Nets |
01/06/2005 | I considered that | Non-Deterministic Interaction Nets |
01/06/2005 | Am I producing that much content? :-) | Non-Deterministic Interaction Nets |
01/11/2005 | Is there a chance someone wil | Non-Deterministic Interaction Nets |
01/06/2005 | It's a great organizational opportunity | Links (Wadler) |
01/09/2005 | Or check his CV :) | Links (Wadler) |
01/09/2005 | Inadequate? | Links (Wadler) |
02/21/2006 | Reference to Polyphonic C# | Composable memory transactions |
02/06/2005 | Trying to turn the safety off | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
02/06/2005 | Neither dynamic nor static enough | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
02/06/2005 | Java threads might be expensive | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
02/06/2005 | Unit tests for asynchronous code | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
02/07/2005 | Transients in Java | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
02/13/2005 | Pi => message-passing? | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
12/30/2004 | PL for interactive simulation | PL for interactive simulation |
12/30/2004 | Massive concurrency? | PL for interactive simulation |
12/30/2004 | Naturality, not performance | PL for interactive simulation |
12/30/2004 | The squeaky one | PL for interactive simulation |
12/31/2004 | Thanks! | PL for interactive simulation |
01/05/2005 | CAOS is a DSL, Creatures are RT+app | PL for interactive simulation |
01/06/2005 | Nice Toy! | PL for interactive simulation |
01/05/2005 | And, of course, JoCaml | PL for interactive simulation |
10/20/2005 | Survey? | the Chinese natual language |
12/13/2004 | Algebraic Semiotics | Algebraic Semiotics |
12/14/2004 | GC guarantees | Tim Bray: Sun & Dynamic Java |
12/13/2004 | Compared to your average FP | Tim Bray: Sun & Dynamic Java |
12/10/2004 | Type inference as well | PyPy wins a funding contract with the EU |
12/10/2004 | VLISP PreScheme | PyPy wins a funding contract with the EU |
12/14/2004 | ...therefore we created AI :-) | Lazy evaulation and combining user streams |
12/14/2004 | Brains are not really needed for that | Lazy evaulation and combining user streams |
12/14/2004 | It's an interactive problem | Lazy evaulation and combining user streams |
12/09/2004 | Enumerable answers? | Logix: Multi-Language Programming |
12/06/2004 | How about this? | Definition of Type |
12/07/2004 | It depends | Definition of Type |
12/07/2004 | Another amendment | Definition of Type |
12/07/2004 | Factoring it along denotations | Definition of Type |
12/07/2004 | Is this constructive? | Definition of Type |
12/03/2004 | Binary Relations | RDF Elevator Pitch |
11/28/2004 | Agree, visuals can be your friends | The IDE Divide |
11/29/2004 | Design the UI after the backend? | The IDE Divide |
11/28/2004 | Is "error" a natural number? | Denotational Semantics: A Methodology for Language Development |
11/24/2004 | Backlink | LL4 Program and Abstracts |
12/02/2004 | Stop dominating your computer :-) | LL4 Program and Abstracts |
11/22/2004 | Code cannot lie | Language Oriented Programming |
11/22/2004 | Failure is only an opportunity to begin again more intelligently | Language Oriented Programming |
11/17/2004 | Useful indeed | Multi-Return Function Call |
11/17/2004 | Divide and prove | Switch statement design |
11/17/2004 | Stories are converging | Switch statement design |
11/15/2004 | Call Processing Language | Call Processing Language |
11/11/2004 | Casting as empirical tool | Predicate Dispatch in the news |
11/08/2004 | Planetary Aspects? | Where is everyone? |
11/11/2004 | Plenty! | Where is everyone? |
10/30/2004 | They use hyphen in other titles | End Users to Shape Effective Software |
10/28/2004 | Differentiation? | Programming challenge |
10/27/2004 | Automation | GMail accounts |
10/23/2004 | Curry-Howard? | What's a definition of "type" that beginners can understand? |
10/25/2004 | Quite logically | What's a definition of "type" that beginners can understand? |
10/19/2004 | Whitespace | Whitespace |
10/19/2004 | Bleached and smirched Perl | Whitespace |
10/19/2004 | Two turtles at a time | Programming for non-programmers |
10/19/2004 | It takes two to be parallel | Programming for non-programmers |
10/19/2004 | Misunderstanding | Programming for non-programmers |
10/09/2004 | Continuations subtype contravariantly? | Templates vs. Generics |
10/08/2004 | Dynamic scoping of catches | Ken Shan: Shift to Control |
10/08/2004 | Unchecked exceptions | Ken Shan: Shift to Control |
10/04/2005 | As opposed to throw? | Ken Shan: Shift to Control |
10/04/2005 | No future? | Ken Shan: Shift to Control |
10/22/2004 | Not a compiler but... | Shoot-out: most annoying compiler error message |
10/03/2004 | Will Kodak kill Java? | Will Kodak kill Java? |
09/29/2004 | Decompiling n-stage metaprograms | Java and coolness, a discussion |
09/20/2004 | What has first-class status in Turing machine? | "... because common people think like so-and-so..." |
09/13/2004 | Some cynics are disillusioned cynics | More from Udell on typing |
09/10/2004 | Reflection in logic, functional and object-oriented programming: a Short Comparative Study | Reflection in logic, functional and object-oriented programming: a Short Comparative Study |
09/10/2004 | A Debugging Environment for Lazy Functional Languages | A Debugging Environment for Lazy Functional Languages |
09/10/2004 | 'cause I am quick to post | A Debugging Environment for Lazy Functional Languages |
09/08/2004 | Securing reflective towers | Securing reflective towers |
09/08/2004 | Reflecting on names | Securing reflective towers |
09/09/2004 | Reflective capabilities calculus wanted alive | Securing reflective towers |
09/02/2004 | No ADT in FP? | Higher order versus Object order |
09/12/2004 | Modulo mod | Apple Flunks First Grade Math |
08/31/2004 | Reflection '96 | What's up guys? |
09/02/2004 | Continuous sliders | Why type systems are interesting - part III: latent types |
08/30/2004 | Chapter 16 | "Types and Reflection" by Lauri Emil Alanko |
09/02/2004 | Pademelons can be distinguished from wallabies. | "Types and Reflection" by Lauri Emil Alanko |
08/26/2004 | Yet another impedance mismatch? | Grid Computing & the Linda Programming Model |
08/23/2004 | Counts for free? | New result re "linguistic determinism" |
08/20/2004 | Introduction to computability logic | Introduction to computability logic |
08/20/2004 | Postfunctionalism: Computability is Winnability | Introduction to computability logic |
08/22/2004 | Proofs as programs | Introduction to computability logic |
08/22/2004 | "Is Game Semantics Necessary?" | Introduction to computability logic |
08/24/2004 | Classical quantifiers are blind | Introduction to computability logic |
08/24/2004 | Planner, schemer, shooter | Introduction to computability logic |
09/06/2004 | Turing machines as their essential, ideal archetype | Introduction to computability logic |
10/13/2004 | Bump - a swelling of tissue usually resulting from a blow | Introduction to computability logic |
04/25/2005 | Depends which linear logic | Introduction to computability logic |
10/15/2004 | Home work | Introduction to computability logic |
10/15/2004 | Substitution preserves finiteness of runs | Introduction to computability logic |
10/19/2004 | Can content subsume structure? | Introduction to computability logic |
10/20/2004 | Halting metaproblem | Introduction to computability logic |
10/21/2004 | Welcome to the game :) | Introduction to computability logic |
10/21/2004 | Adding types | Introduction to computability logic |
08/20/2004 | The Origins of the Turing Thesis Myth | The Origins of the Turing Thesis Myth |
08/20/2004 | Is Haskell program equivalent to TM? | The Origins of the Turing Thesis Myth |
08/25/2004 | Turing-complete is not Turing-limited | The Origins of the Turing Thesis Myth |
08/26/2004 | Yes, we could, but... | The Origins of the Turing Thesis Myth |
08/26/2004 | Or categorically | The Origins of the Turing Thesis Myth |
08/30/2004 | Is Epigram a bottomless TM? | The Origins of the Turing Thesis Myth |
08/26/2004 | It depends | The Origins of the Turing Thesis Myth |
08/17/2004 | Just one tool from the box | Well, that's one way of doing it... |
08/19/2004 | FAQ update? | Hierarchy destruction in Ada |
08/16/2004 | Side-note on state | The right default: concurrent components with message passing |
08/16/2004 | ADT is simpler than state | The right default: concurrent components with message passing |
08/13/2004 | Type Theoretical Foundations for Data Structures, Classes, and Objects | Type Theoretical Foundations for Data Structures, Classes, and Objects |
08/13/2004 | On the other hand | Type Theoretical Foundations for Data Structures, Classes, and Objects |
08/18/2004 | Cookbooks do differ | New Paul Graham thing... |
08/22/2004 | Unwanted laziness | New Paul Graham thing... |
08/11/2004 | Let's keep it secret | Scrap more boilerplate |
08/11/2004 | Call-by-what? | Call-by-what? |
08/12/2004 | Abstractions | Call-by-what? |
08/13/2004 | More values can be obtained as a result of CBV than CBN? | Call-by-what? |
08/13/2004 | Trying to think dually | Call-by-what? |
02/02/2005 | Call-by-send | Call-by-what? |
02/02/2005 | Exactly | Call-by-what? |
02/18/2005 | Ever since Milner introduced the pi-calculus... | Call-by-what? |
02/21/2005 | Quick review - corrections welcome | Call-by-what? |
08/09/2004 | Constraint-Based Type Inference for Guarded Algebraic Data Types | Constraint-Based Type Inference for Guarded Algebraic Data Types |
08/10/2004 | Thanks | Constraint-Based Type Inference for Guarded Algebraic Data Types |
08/10/2004 | TCP/IP is not a protocol | Udell: A strategic vision for dynamic languages |
08/11/2004 | Half-agree | Udell: A strategic vision for dynamic languages |
08/11/2004 | Any enumerable then? | Why type systems are interesting - part II |
08/12/2004 | Are GADT more general than dependent types? | Why type systems are interesting - part II |
08/12/2004 | While generally sharing the | Why type systems are interesting - part II |
08/12/2004 | Hopefully on topic, too | Why type systems are interesting - part II |
08/12/2004 | Theorems for free! | Why type systems are interesting - part II |
08/13/2004 | Is Epigram too short? | Why type systems are interesting - part II |
08/18/2004 | Final classes | Morrow & First-class Labels |
08/19/2004 | Given type | Morrow & First-class Labels |
08/17/2004 | Is {l :: a} a closed type? | Morrow & First-class Labels |
08/19/2004 | absent : EmptyType | Morrow & First-class Labels |
08/07/2004 | GLUT | Breve: a 3D simulation environment |
08/06/2004 | There is plenty of room within decidable kingdom | Eliminating Array Bound Checking through Non-dependent types |
08/06/2004 | You're kidding?! | Eliminating Array Bound Checking through Non-dependent types |
08/06/2004 | Great! | Eliminating Array Bound Checking through Non-dependent types |
08/10/2004 | It may be worth to use Haskell, after all :) | Eliminating Array Bound Checking through Non-dependent types |
08/06/2004 | Dependent Types and Explicit Substitutions | A Visual Environment for Developing Context-Sensitive Term Rewriting Systems |
03/29/2006 | Alternative link | TyPiCal: Type-based static analyzer for the Pi-Calculus |
08/03/2004 | Tail of Nil and Its Type | Tail of Nil and Its Type |
08/03/2004 | Maybe | Tail of Nil and Its Type |
08/03/2004 | Thanks, but... | Tail of Nil and Its Type |
08/03/2004 | It may return Nothing :-( | Tail of Nil and Its Type |
08/04/2004 | Excuse me for not being clear enough | Tail of Nil and Its Type |
08/04/2004 | "it's still there, and it's still unexpected" | Tail of Nil and Its Type |
08/03/2004 | I say - Haskell is not "static" enough | Tail of Nil and Its Type |
08/04/2004 | Dependent types can see where simple types can only look :-) | Tail of Nil and Its Type |
08/03/2004 | "Well-typed programs don't go wrong" | Tail of Nil and Its Type |
08/03/2004 | Dependently Typed > (Independently?) Typed | Tail of Nil and Its Type |
08/03/2004 | General recursion in Epigram | Tail of Nil and Its Type |
08/04/2004 | Anyone interested in some lectures? | Tail of Nil and Its Type |
08/04/2004 | Is it Haskell98? | Tail of Nil and Its Type |
08/05/2004 | I love it, too | Tail of Nil and Its Type |
08/08/2004 | Tail of tail of... | Tail of Nil and Its Type |
08/08/2004 | Is this fathful enough? | Tail of Nil and Its Type |
08/02/2004 | HTML guidelines | HTML guidelines |
08/06/2004 | Just to be pedantic | Partial Continuations |
07/30/2004 | Effects for DNA experts? | Francis Crick (1916-2004) |
07/27/2004 | A Functional Semantics of Attribute Grammars | A Functional Semantics of Attribute Grammars |
07/27/2004 | Use futures...? | A Functional Semantics of Attribute Grammars |
07/27/2004 | I said it hurts :-) | A Functional Semantics of Attribute Grammars |
07/27/2004 | Job security? | Icon Language Implementation and Unicon News |
07/27/2004 | A New Implementation of the Icon Language | Icon Language Implementation and Unicon News |
07/27/2004 | ...and Icon via List monad | Icon Language Implementation and Unicon News |
07/28/2004 | No Chinese Room? | Derrida's Machines |
07/25/2004 | Missing unquote character | HTML editors |
07/25/2004 | IT doomed? | Grady Booch on software archeology |
07/25/2004 | Another in the works | Grady Booch on software archeology |
07/23/2004 | Keywords per post? | Keywords per post? |
07/23/2004 | Multi-set keys | Keywords per post? |
07/23/2004 | Does not look small | Mila |
07/30/2004 | Specification not implementation | Mila |
07/23/2004 | Prolog? | Database Theory and Type systems/Programming Languages. |
07/23/2004 | Does "relational" imply "DB"? | Database Theory and Type systems/Programming Languages. |
07/22/2004 | It's fun after all | The C++ Source Journal |
07/20/2004 | Not top schools? | Info needed |
07/20/2004 | Is Oz declarative? | Cw |
07/20/2004 | Dependent types... | Cw |
07/19/2004 | Papers' repositories | Papers' repositories |
07/19/2004 | Metaseparation | Papers' repositories |
07/17/2004 | Fantazies on "final" | Fantazies on "final" |
07/17/2004 | Not a problem for AOP | Fantazies on "final" |
07/17/2004 | Some classes are more final than others | Fantazies on "final" |
07/17/2004 | Universal Equalizer? | Fantazies on "final" |
07/18/2004 | What angered you? | Fantazies on "final" |
08/02/2004 | Dynamically-typed values => Untyped names | Why type systems are interesting |
08/02/2004 | Yes, it is not | Why type systems are interesting |
08/05/2004 | ...what would otherwise have been a type error... | Why type systems are interesting |
05/26/2006 | Javan wrong ways | Why type systems are interesting |
05/26/2006 | Java might be fuzzy | Why type systems are interesting |
07/28/2004 | Better than AOP :o) | Why type systems are interesting |
07/31/2004 | Inductive types in constructive languages | Why type systems are interesting |
08/09/2004 | Stages, strata, types. | Why type systems are interesting |
08/08/2004 | Maps are crucial for finding a path... | Why type systems are interesting |
08/07/2004 | Paths. Speed. Immortality. | Why type systems are interesting |
08/19/2005 | Safety before security | Why type systems are interesting |
07/17/2004 | Secret language? | Summary of techniques / approaches / models / languages for parallel computation |
07/17/2004 | Is industry... | Summary of techniques / approaches / models / languages for parallel computation |
07/18/2004 | Wild guess | Old computer science and technical books worth searching for |
07/20/2004 | A bit of calculus | Old computer science and technical books worth searching for |
02/18/2005 | Not too non-theoretical papers | Understanding continuations |
03/31/2005 | On Evaluation Contexts, Continuations, and the Rest of the | Understanding continuations |
07/12/2004 | Definition? | What's up guys? |
07/10/2004 | RDBMS lost to marketing? | Database Abstraction Layers and Programming Languages |
01/23/2005 | Another retrospective seems to disagree | Retrospective: The Essence of Compiling with Continuations |
07/07/2004 | A distinct syntax for RTL string literals | International Components for Unicode 3.0 Released |
06/29/2004 | Nets: Petri vs Lafont | Nets: Petri vs Lafont |
06/29/2004 | Introduction to Interaction Nets | Nets: Petri vs Lafont |
06/30/2004 | Graph rewriting on top of SQL | Nets: Petri vs Lafont |
06/30/2004 | It pays to learn | Nets: Petri vs Lafont |
02/11/2005 | Thanks! | Nets: Petri vs Lafont |
02/04/2005 | Uh, why not? | The DSL, MDA, UML thing again... |
06/22/2004 | Intentional Programming | Abstractionless programming |
06/28/2004 | Premature sharing considered harmful :-) | Abstractionless programming |
08/08/2004 | Managing Duplicated Code with Linked Editing | Abstractionless programming |
06/22/2004 | Citing LtU1 | The site discussions forum |
06/22/2004 | Google the archives | The site discussions forum |
07/22/2004 | Session? | The site discussions forum |
07/27/2004 | Editing the head? | The site discussions forum |
06/14/2004 | Re: Extensible Code Generation with Java | Extensible Code Generation with Java |
06/15/2004 | Re: Extensible Code Generation with Java | Extensible Code Generation with Java |
05/29/2004 | Re: Nullable Types | Nullable Types |
05/26/2004 | Re: Continuations in Java and Java-based Web Frameworks | Continuations in Java and Java-based Web Frameworks |
05/28/2004 | Re: Continuations in Java and Java-based Web Frameworks | Continuations in Java and Java-based Web Frameworks |
05/25/2004 | Turing completeness is not? | Turing completeness is not? |
05/25/2004 | Re: Turing completeness is not? | Turing completeness is not? |
05/24/2004 | Re: AFP 2004 | AFP 2004 |
05/24/2004 | Re: AFP 2004 | AFP 2004 |
05/23/2004 | Re: Case Study in Practical Language Use | Case Study in Practical Language Use |
05/24/2004 | Re: Case Study in Practical Language Use | Case Study in Practical Language Use |
05/24/2004 | Re: Case Study in Practical Language Use | Case Study in Practical Language Use |
05/22/2004 | The First Report on Scheme Revisited | The First Report on Scheme Revisited |
05/19/2004 | Re: The SkyNet Virus: Why it is Unstoppable; How to Stop it | The SkyNet Virus: Why it is Unstoppable; How to Stop it |
05/20/2004 | Re: The SkyNet Virus: Why it is Unstoppable; How to Stop it | The SkyNet Virus: Why it is Unstoppable; How to Stop it |
05/17/2004 | Haskell-Coloured Petri Nets | Haskell-Coloured Petri Nets |
05/18/2004 | Re: Haskell-Coloured Petri Nets | Haskell-Coloured Petri Nets |
05/18/2004 | Re: Haskell-Coloured Petri Nets | Haskell-Coloured Petri Nets |
05/17/2004 | Re: pbook | pbook |
05/20/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
05/20/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
05/20/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
05/21/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
05/22/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
05/22/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
05/22/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
05/24/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
05/24/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
05/13/2004 | Re: late binding and self reference | late binding and self reference |
05/13/2004 | Re: Selective Open Recursion: A Solution to the Fragile Base Class Problem | Selective Open Recursion: A Solution to the Fragile Base Class Problem |
05/13/2004 | Re: A Type Theory for Memory Allocation and Data Layout | A Type Theory for Memory Allocation and Data Layout |
05/13/2004 | Re: lambda-calculus and types | lambda-calculus and types |
05/13/2004 | Re: lambda-calculus and types | lambda-calculus and types |
05/11/2004 | Re: Why Learning Assembly Language is Still a Good Idea | Why Learning Assembly Language is Still a Good Idea |
05/11/2004 | Re: Why Learning Assembly Language is Still a Good Idea | Why Learning Assembly Language is Still a Good Idea |
05/08/2004 | Re: Spreadsheet structure discovery | Spreadsheet structure discovery |
05/09/2004 | Re: Object-Oriented Programming Enhancements in Ada200Y | Object-Oriented Programming Enhancements in Ada200Y |
05/03/2004 | A Generic Component Framework for System Modeling | A Generic Component Framework for System Modeling |
05/03/2004 | Re: A Generic Component Framework for System Modeling | A Generic Component Framework for System Modeling |
05/06/2004 | Re: A Generic Component Framework for System Modeling | A Generic Component Framework for System Modeling |
05/06/2004 | Re: A Generic Component Framework for System Modeling | A Generic Component Framework for System Modeling |
05/07/2004 | Re: A Generic Component Framework for System Modeling | A Generic Component Framework for System Modeling |
04/29/2004 | Re: A Practical Theory of Programming | A Practical Theory of Programming |
04/28/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
04/28/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
04/28/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
04/29/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
04/29/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
04/29/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
04/29/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
04/26/2004 | Re: Refal programming language | Refal programming language |
04/26/2004 | Re: Refal programming language | Refal programming language |
04/26/2004 | Re: Excel examples | Excel examples |
04/30/2004 | Re: Wolfram's Future Math | Wolfram's Future Math |
04/26/2004 | Re: Growing a Language | Growing a Language |
04/27/2004 | Re: Growing a Language | Growing a Language |
04/27/2004 | Re: Growing a Language | Growing a Language |
04/23/2004 | Re: UML and DSLs | UML and DSLs |
04/25/2004 | Re: UML and DSLs | UML and DSLs |
04/26/2004 | Re: UML and DSLs | UML and DSLs |
03/05/2004 | Re: Categories for Everybody | Categories for Everybody |
03/03/2004 | Re: Proof Theory of Martin-Lof Type Thoery - And Overview | Proof Theory of Martin-Lof Type Thoery - And Overview |
02/23/2004 | Re: CLR Hosting | CLR Hosting |
02/26/2004 | Re: CLR Hosting | CLR Hosting |
02/21/2004 | Re: Finalization (CLR) | Finalization (CLR) |
02/21/2004 | Re: Finalization (CLR) | Finalization (CLR) |
02/20/2004 | Re: Nemerle | Nemerle |
02/16/2004 | Re: Elements of Basic Category Theory | Elements of Basic Category Theory |
02/16/2004 | Re: Elements of Basic Category Theory | Elements of Basic Category Theory |
02/16/2004 | Re: Elements of Basic Category Theory | Elements of Basic Category Theory |
02/17/2004 | Re: Elements of Basic Category Theory | Elements of Basic Category Theory |
02/20/2004 | Re: Elements of Basic Category Theory | Elements of Basic Category Theory |
02/21/2004 | Re: Elements of Basic Category Theory | Elements of Basic Category Theory |
02/15/2004 | Elements of Basic Category Theory | Elements of Basic Category Theory |
02/14/2004 | Re: The Next Move in Programming (Livschitz interview) | The Next Move in Programming (Livschitz interview) |
02/14/2004 | Re: The Next Move in Programming (Livschitz interview) | The Next Move in Programming (Livschitz interview) |
02/15/2004 | Re: The Next Move in Programming (Livschitz interview) | The Next Move in Programming (Livschitz interview) |
02/15/2004 | Re: The Next Move in Programming (Livschitz interview) | The Next Move in Programming (Livschitz interview) |
02/15/2004 | Re: The Next Move in Programming (Livschitz interview) | The Next Move in Programming (Livschitz interview) |
02/15/2004 | Re: The Next Move in Programming (Livschitz interview) | The Next Move in Programming (Livschitz interview) |
02/15/2004 | Re: The Next Move in Programming (Livschitz interview) | The Next Move in Programming (Livschitz interview) |
02/15/2004 | Re: The Next Move in Programming (Livschitz interview) | The Next Move in Programming (Livschitz interview) |
02/15/2004 | Re: The Next Move in Programming (Livschitz interview) | The Next Move in Programming (Livschitz interview) |
02/14/2004 | Re: Packrat Parsing | Packrat Parsing |
02/14/2004 | Re: Packrat Parsing | Packrat Parsing |
02/14/2004 | Re: Packrat Parsing | Packrat Parsing |
02/11/2004 | Collaborations+CrosscuttingConcerns | Collaborations+CrosscuttingConcerns |
02/10/2004 | Re: LtU FAQ Update | LtU FAQ Update |
02/03/2004 | Re: Sina Language and Composition Filters | Sina Language and Composition Filters |
02/03/2004 | Re: Sina Language and Composition Filters | Sina Language and Composition Filters |
02/04/2004 | Re: Sina Language and Composition Filters | Sina Language and Composition Filters |
02/04/2004 | Re: Sina Language and Composition Filters | Sina Language and Composition Filters |
02/04/2004 | Re: Sina Language and Composition Filters | Sina Language and Composition Filters |
02/05/2004 | Re: Sina Language and Composition Filters | Sina Language and Composition Filters |
01/29/2004 | Re: Implicit params in Haskell | Implicit params in Haskell |
01/16/2004 | Re: DSL for financial contracts | DSL for financial contracts |
12/09/2003 | The Java™ specs in a formal way | The Java™ specs in a formal way |
12/11/2003 | Re: The Java™ specs in a formal way | The Java™ specs in a formal way |
12/09/2003 | Re: Language Construction | Language Construction |
12/08/2003 | Re: DSL in Software Development and Releation to Partial Evaluation | DSL in Software Development and Releation to Partial Evaluation |
12/08/2003 | Re: DSL in Software Development and Releation to Partial Evaluation | DSL in Software Development and Releation to Partial Evaluation |
12/07/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
12/07/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
12/01/2003 | Events and Continuations | Events and Continuations |
12/01/2003 | Re: Events and Continuations | Events and Continuations |
12/01/2003 | Re: Events and Continuations | Events and Continuations |
12/01/2003 | Re: Events and Continuations | Events and Continuations |
12/02/2003 | Re: Events and Continuations | Events and Continuations |
12/02/2003 | Re: Events and Continuations | Events and Continuations |
12/03/2003 | Re: Events and Continuations | Events and Continuations |
12/03/2003 | Re: Events and Continuations | Events and Continuations |
12/03/2003 | Re: Events and Continuations | Events and Continuations |
12/03/2003 | Re: Events and Continuations | Events and Continuations |
12/04/2003 | Re: Events and Continuations | Events and Continuations |
12/10/2003 | Re: Events and Continuations | Events and Continuations |
12/10/2003 | Re: Events and Continuations | Events and Continuations |
12/11/2003 | Re: Events and Continuations | Events and Continuations |
11/29/2003 | A Logic for Shared Mutable Data Structures | A Logic for Shared Mutable Data Structures |
11/29/2003 | Re: A Logic for Shared Mutable Data Structures | A Logic for Shared Mutable Data Structures |
11/28/2003 | Re: Lambda Calculus | Lambda Calculus |
11/26/2003 | Re: Is it time for another guest blogger? | Is it time for another guest blogger? |
11/22/2003 | Re: Another milestone | Another milestone |
11/22/2003 | Re: Another milestone | Another milestone |
11/20/2003 | Control handling primitives | Control handling primitives |
11/21/2003 | Re: Control handling primitives | Control handling primitives |
11/21/2003 | Re: Control handling primitives | Control handling primitives |
11/21/2003 | Re: Control handling primitives | Control handling primitives |
11/22/2003 | Re: Control handling primitives | Control handling primitives |
11/23/2003 | Re: Control handling primitives | Control handling primitives |
05/31/2004 | Re: Control handling primitives | Control handling primitives |
11/21/2003 | Re: Towards the best collection API | Towards the best collection API |
11/22/2003 | Re: Towards the best collection API | Towards the best collection API |
11/22/2003 | Re: Towards the best collection API | Towards the best collection API |
11/23/2003 | Re: Towards the best collection API | Towards the best collection API |
11/23/2003 | Re: Towards the best collection API | Towards the best collection API |
11/16/2003 | Re: A Survey of Object-Oriented Concepts | A Survey of Object-Oriented Concepts |
11/17/2003 | Re: A Survey of Object-Oriented Concepts | A Survey of Object-Oriented Concepts |
11/17/2003 | Re: A Survey of Object-Oriented Concepts | A Survey of Object-Oriented Concepts |
11/18/2003 | Re: Viewing code - how much is just right? | Viewing code - how much is just right? |
11/16/2003 | Re: Introducing Continuations | Introducing Continuations |
11/16/2003 | Re: Introducing Continuations | Introducing Continuations |
09/18/2003 | Re: JScript is a Functional Language | JScript is a Functional Language |
09/04/2003 | No "theory of types" in legal systems | No "theory of types" in legal systems |
08/28/2003 | Re: XQuery 1.0 and XPath 2.0 Formal Semantics | XQuery 1.0 and XPath 2.0 Formal Semantics |
08/29/2003 | Re: XQuery 1.0 and XPath 2.0 Formal Semantics | XQuery 1.0 and XPath 2.0 Formal Semantics |
08/31/2003 | Re: XQuery 1.0 and XPath 2.0 Formal Semantics | XQuery 1.0 and XPath 2.0 Formal Semantics |
08/27/2003 | Let C = Q in OCL | Let C = Q in OCL |
07/15/2003 | Invocations as objects | Invocations as objects |
07/17/2003 | Re: Invocations as objects | Invocations as objects |
07/13/2003 | Re: The PILER Decompilation System | The PILER Decompilation System |
07/12/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
07/14/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
07/22/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
02/21/2004 | Re: Destructors, Finalizers, and Synchronization | Destructors, Finalizers, and Synchronization |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |