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

Posts By: Andris Birkmanis

  Date    Post    Topic  
01/11/2011Whose moneyScala Team Wins ERC Grant
06/28/2010Hand waiving? Or class struggle?Why Undergraduates Should Learn the Principles of Programming Languages
06/30/2010ConfusedWhy Undergraduates Should Learn the Principles of Programming Languages
06/30/2010Is PLT really fundamental (for business)?Why Undergraduates Should Learn the Principles of Programming Languages
07/01/2010ApprenticeshipWhy Undergraduates Should Learn the Principles of Programming Languages
07/01/2010Subjective theory of value, time preference, and sound moneyWhy Undergraduates Should Learn the Principles of Programming Languages
07/02/2010k-permutation?Functional Pearl: Species and Functors and Types, Oh My!
07/04/2010Thank you forFunctional Pearl: Species and Functors and Types, Oh My!
07/05/2010Bigger clarificationFunctional Pearl: Species and Functors and Types, Oh My!
01/05/2010Physics, Topology, Logic and Computation: A Rosetta StonePhysics, Topology, Logic and Computation: A Rosetta Stone
01/05/2010Previously mentioned on LtUPhysics, Topology, Logic and Computation: A Rosetta Stone
12/22/2009Super and Inner — Together at Last!Super and Inner — Together at Last!
01/05/2010Template methodsSuper and Inner — Together at Last!
12/14/2009ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud ComputingActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing
11/16/2009What types are Ts?Seeking nearly anything re: so called language "bootstrapping" process
10/24/2009LINQ?Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/24/2009Trees are not evalLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/01/2009Possible typoSwarm now based on Scala 2.8, uses delimited continuations
09/13/2009Transition Function not DemoedLEGO Turing Machine
08/13/2009Perl Cannot Be Parsed: A Formal ProofPerl Cannot Be Parsed: A Formal Proof
11/24/2008[Admin] Disclaimer and User Nameyet another oop formalization: class as abstract automata
11/04/2008References?Total functional language self interpreter?
11/05/2008Typing graceTotal functional language self interpreter?
11/24/2008Uninhabited typesTotal functional language self interpreter?
09/11/2008A Framework for Comparing Models of ComputationA Framework for Comparing Models of Computation
09/12/2008Ideas for extension?A Framework for Comparing Models of Computation
09/09/2008Left inversePhil Windley's DSL adventures
09/04/2008Stock exchanges: language design aspectStock exchanges: language design aspect
09/04/2008Thanks!Stock exchanges: language design aspect
09/05/2008RightStock exchanges: language design aspect
09/05/2008Contracts Strongly RelatedStock exchanges: language design aspect
07/16/2008Too many paradigmsPractical Bits of Making a Compiler for a New Language
01/07/2008Featherweight JavaScript?Featherweight JavaScript?
01/08/2008ScopingFeatherweight JavaScript?
01/07/2008Covariance of Arrays(newbie question) Covariance and contravariance
01/04/2008J&: Nested Intersection for Scalable Software CompositionJ&: Nested Intersection for Scalable Software Composition
12/28/2007Nested Schedulers: A Tree Is Not Enough?Nested Schedulers: A Tree Is Not Enough?
12/29/2007Priority InversionNested Schedulers: A Tree Is Not Enough?
12/29/2007Still a bit differentNested Schedulers: A Tree Is Not Enough?
12/29/2007Concurrent lazy searchNested Schedulers: A Tree Is Not Enough?
01/04/2008Regehr's DissertationNested Schedulers: A Tree Is Not Enough?
01/04/2008ThanksNested Schedulers: A Tree Is Not Enough?
12/17/2007Coupling?Computation Orchestration: A Basis for Wide-Area Computing
12/09/2007Automatic partitioningDemocratizing the Cloud using Microsoft Live Labs Volta
09/06/2007Relational algebra vs. relational calculusQ: Modularizing SQL?
09/01/2007Escape from Zurg: An Exercise in Logic ProgrammingEscape from Zurg: An Exercise in Logic Programming
09/03/2007Through the Looking Glass? :)Escape from Zurg: An Exercise in Logic Programming
08/30/2007Where are these problems?R6RS Validated
08/29/2007History of causes as object identityHistory of causes as object identity
08/30/2007ThanksHistory of causes as object identity
09/06/2007Selfish ObjectsHistory of causes as object identity
08/25/2007A functional correspondence between evaluators and abstract machinesA functional correspondence between evaluators and abstract machines
08/25/2007RightA functional correspondence between evaluators and abstract machines
08/25/2007VamOz: Visual Abstract Machine for OzVamOz: Visual Abstract Machine for Oz
08/24/2007Constraint programming in Haskell?Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators
08/20/2007Imperative SQLDiagram showing all programming paradigms and their relationships
08/20/2007Hasse diagram?Diagram showing all programming paradigms and their relationships
08/20/2007Polytypic programming? What, no types?Diagram showing all programming paradigms and their relationships
08/20/2007What's a paradigm?Diagram showing all programming paradigms and their relationships
08/21/2007Cells and call/cc. Or delimited continuations.Diagram showing all programming paradigms and their relationships
08/23/2007No SQLDiagram showing all programming paradigms and their relationships
08/06/2007Apache Camel routing rules: a DSL?Apache Camel routing rules: a DSL?
07/27/2007Seam from PLT perspectiveSeam from PLT perspective
07/28/2007Better not, but...Seam from PLT perspective
07/28/2007From Qt to SeamSeam from PLT perspective
07/30/2007DSL on top of SeamSeam from PLT perspective
07/31/2007A very sick treeSeam from PLT perspective
09/01/2007No papers. Just stones and scissors.Seam from PLT perspective
08/28/2007I may be too lateComprehensions with ‘Order by' and ‘Group by'
08/25/2007Formal IslandsAngloHaskell 2007 - date and venue confirmed
07/10/2007Still blind wisemenThe PIllars of Concurrency
07/09/2007Cognitive factor?Why Events Are A Bad Idea (for high-concurrency servers)
07/04/2007Garbage collector is your friendAsynchronous calls and error handling
07/04/2007Pipelining of promises?Asynchronous calls and error handling
07/06/2007How closely are continuations related to asynchronity?Asynchronous calls and error handling
07/01/2007Branching affordance?Branching affordance?
06/30/2007CLL: A Concurrent Language Built from Logical PrinciplesCLL: A Concurrent Language Built from Logical Principles
06/30/2007A simpler versionCLL: A Concurrent Language Built from Logical Principles
07/06/2007Can they?Haskell web store
06/26/2007What about typings?Fully Inferable Languages
06/26/2007Slight typo(ing)Fully Inferable Languages
06/27/2007Just maybeFully Inferable Languages
06/27/2007Types?Katahdin: Modifying your programming language as it runs
06/24/2007Mechanism designCarnap Programming Language
06/25/2007Distributed mechanism designCarnap Programming Language
06/25/2007Trusting remote PL runtime?Carnap Programming Language
06/28/2007Soft state in routers?Trickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility
06/30/2007Egress routers onlyTrickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility
07/04/2007Why not HLL and FFI?HOPL III: Evolving a language in and for the real world: C++ 1991-2006
01/02/2008No Silver BulletSocial Processes and Proofs of Theorems and Programs
01/03/2008The right tools probably canSocial Processes and Proofs of Theorems and Programs
01/06/2008Fractal IntuitionSocial Processes and Proofs of Theorems and Programs
05/11/2007ChimerasLC for kids (alligators, oh my!)
05/09/2007Not a gameLC for kids (alligators, oh my!)
05/09/2007Interactive fun without non-trivial opponentLC for kids (alligators, oh my!)
05/09/2007Foundations Of Temporal Query LanguagesFoundations Of Temporal Query Languages
01/24/2007ResumptionsTotal Functional Programming
01/24/2007Natural queasinessTotal Functional Programming
01/19/2007Locus Solum: From the rules of logic to the logic of rulesLocus Solum: From the rules of logic to the logic of rules
01/15/2007Beauty in the BeastBeauty in the Beast
01/13/200799 Haskell problemsNinety-nine Lisp Problems
01/14/2007For additional pointsNinety-nine Lisp Problems
01/13/2007Intersection types or abstract interpretationIntellisense for dynamic languages
01/16/2007Plugging Haskell InIntellisense for dynamic languages
01/12/2007For what it's worthCall by push-value
01/12/2007That's a tagged sumCall by push-value
01/12/2007Asymmetric simplified tuples in JWACall by push-value
01/16/2007Distributed testingInterlanguage Migration: From Scripts to Programs
01/18/2007Actually yesInterlanguage Migration: From Scripts to Programs
01/08/2007Extending the Multilisp Sponsor ModelExtending the Multilisp Sponsor Model
01/08/2007Ada?Extending the Multilisp Sponsor Model
01/07/2007A Dynamic Continuation-Passing Style for Dynamic Delimited ContinuationsA Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
01/09/2007PopularizationA Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
01/09/2007No, judging by the TOCAre Frames and Slots anything more that OO with a different name?
01/04/2007Can referential transparency be bad? (puzzle included)Can referential transparency be bad? (puzzle included)
01/04/2007StablePtrCan referential transparency be bad? (puzzle included)
01/04/2007VerifiedCan referential transparency be bad? (puzzle included)
01/03/2007Derivatives and dissections of data typesDerivatives and dissections of data types
01/02/2007Survey of delay constructs in logic/constraint PLs?Survey of delay constructs in logic/constraint PLs?
01/02/2007...and STMSurvey of delay constructs in logic/constraint PLs?
12/29/2006Stream programming - a buzzword, DSL, or a paradigm?AgentSheets: End-User Programing (and Secret Lisp Success Story!)
12/29/2006ClarificationAgentSheets: End-User Programing (and Secret Lisp Success Story!)
12/30/2006SQL as a base for event stream processing DSLAgentSheets: End-User Programing (and Secret Lisp Success Story!)
12/29/2006AOD, not AOPAgentSheets: End-User Programing (and Secret Lisp Success Story!)
12/21/2006Comparing Approaches to Generic Programming in HaskellComparing Approaches to Generic Programming in Haskell
12/22/2006Read the conclusionsComparing Approaches to Generic Programming in Haskell
12/22/2006Ad hoc polytypismComparing Approaches to Generic Programming in Haskell
12/22/2006SureComparing Approaches to Generic Programming in Haskell
12/23/2006Polytypic is difficult without typesComparing Approaches to Generic Programming in Haskell
12/22/2006Design patterns require writing boilerplateComparing Approaches to Generic Programming in Haskell
12/21/2006(Even more) theorems for free?(Even more) theorems for free?
12/21/2006Not using libraries(Even more) theorems for free?
12/21/2006Inferring type isomorphisms generically, but not uniquelly(Even more) theorems for free?
01/03/2007Weakening requirements(Even more) theorems for free?
01/03/2007Unused arguments(Even more) theorems for free?
01/03/2007Continuations(Even more) theorems for free?
01/03/2007Something needed(Even more) theorems for free?
01/03/2007Automatic generation of free theorems(Even more) theorems for free?
12/17/2006Polyphonic C#/C-omegaElements of Interaction
12/14/2006Combining strong and success typingPractical Type Inference Based on Success Typings
11/17/2006Draft course for moving on-topicSecond Life Faces Threat to its Virtual Economy
07/22/2008Fusional languages are hard to lexmuSE - an embeddable scheme dialect
07/24/2006Interface AutomataInterface Automata
07/24/2006Some commentsInterface Automata
07/28/2006Similar to Seam?Gamma formalism
07/14/2006Mixins or traitsOOP Parallel class hierarchies
07/14/2006Changes?Scheme simulator for quantum computation
07/10/2006Socially Responsive, Environmentally Friendly LogicSocially Responsive, Environmentally Friendly Logic
07/10/2006Some linksSocially Responsive, Environmentally Friendly Logic
07/11/2006It does not work yetSocially Responsive, Environmentally Friendly Logic
07/13/2006Ideas?Socially Responsive, Environmentally Friendly Logic
07/11/2006Pointer as object identity?Failure-oblivious computing
06/16/2006Meta-programmingWhy only 'minimal' languages
06/14/2006Looks like a bit too earlyHLVM - High Level Virtual Machine toolkit for dynamic languages
06/13/2006But seriouslyChurch-Turning is False?
06/13/2006No Epigram in EpigramChurch-Turning is False?
06/14/2006ThanksChurch-Turning is False?
06/11/2006EpigramHuman Factors Research On Programming Language Syntax
06/12/2006Putting lenses to workJoshua Bloch: "Nearly All Binary Searches Broken"
06/07/2006Transactions?Common Lisp Exception Handling
06/05/2006Scrap your NameplateScrap your Nameplate
06/05/2006Nested commits for mobile calculi: extending JoinNested commits for mobile calculi: extending Join
06/02/2006Continuations for Parallel Logic ProgrammingContinuations for Parallel Logic Programming
06/02/2006AKL as a superset of join calculusContinuations for Parallel Logic Programming
06/02/2006Alice is too bigContinuations for Parallel Logic Programming
06/03/2006Simple and powerfulContinuations for Parallel Logic Programming
06/03/2006SureContinuations for Parallel Logic Programming
06/03/2006ThanksContinuations for Parallel Logic Programming
06/09/2006Inheritance?Relevance of Curry-Howard
06/06/2006100% CPURelevance of Curry-Howard
06/08/2006Turing completeness considered harmfulRelevance of Curry-Howard
06/08/2006A new ball gameRelevance of Curry-Howard
06/08/2006Challenge to Epigram?Relevance of Curry-Howard
06/09/2006So the real value of CH isRelevance of Curry-Howard
06/08/2006Why would you want to?Relevance of Curry-Howard
06/08/2006I seeRelevance of Curry-Howard
06/09/2006ClocksRelevance of Curry-Howard
05/29/2006RecordsFirst Class Values, Types as values within a Programming Language
07/19/2006Sure, but...First Class Values, Types as values within a Programming Language
05/29/2006That depends on the intended semanticsNamespaces, scoping, etc.
05/26/2006"New story" template"New story" template
05/26/2006Consistency"New story" template
05/24/2006Syntax, Semantics and all that StuffSyntax, Semantics and all that Stuff
05/26/2006DoneSyntax, Semantics and all that Stuff
05/25/2006Don't panicTransactional memory with data invariants
05/23/2006PromisesEditing posts
05/15/2006Modular languagesThe Problem With Threads
05/16/2006Maybe sketchesThe Problem With Threads
05/18/2006MonotonicityThe Problem With Threads
05/11/2006Building Interpreters by Composing MonadsBuilding Interpreters by Composing Monads
05/11/2006Monad transformersBuilding Interpreters by Composing Monads
05/14/2006More freedom, and more controlBuilding Interpreters by Composing Monads
05/14/2006Spanning the compositionBuilding Interpreters by Composing Monads
05/12/2006Wow, thanksBuilding Interpreters by Composing Monads
05/05/2006Typed Concurrent Programming with Logic VariablesTyped Concurrent Programming with Logic Variables
05/05/2006Unification could be spared?Typed Concurrent Programming with Logic Variables
05/05/2006Insider info?Typed Concurrent Programming with Logic Variables
05/26/2006Some of the benefitsYour favourite editor/IDE
05/26/2006RefactoringYour favourite editor/IDE
05/28/2006NitpickingYour favourite editor/IDE
05/29/2006Not only castsYour favourite editor/IDE
05/03/2006A Monadic Semantics for Core CurryA Monadic Semantics for Core Curry
04/19/2006References to join calculus?E Thesis: Robust Composition
04/19/2006Not sureE Thesis: Robust Composition
04/20/2006Composable memory transactionsE Thesis: Robust Composition
04/20/2006Functional netsE Thesis: Robust Composition
04/20/2006Relevance of join calculusE Thesis: Robust Composition
04/18/2006Cheatingfoldl and foldr
03/29/2006That's what (good) type systems are for"Semi-complete" Boolean Evaluation?
03/28/2006Follow-up?A virtual class calculus
03/17/2006Creational patterns - use pi?Design Patterns as Higher-Order Datatype-Generic Programs.
03/06/2006Active Libraries and Universal LanguagesActive Libraries and Universal Languages
04/13/2006ThanksActive Libraries and Universal Languages
03/09/2006I am not sure what you meanTowards Applicative Relational Programming
02/23/2006Hundreds of Impossibility Results for Distributed ComputingHundreds of Impossibility Results for Distributed Computing
02/23/2006Games failures playHundreds of Impossibility Results for Distributed Computing
03/02/2006Workflow enginesIntroduction to the Java EE 5 Platform
03/06/2006False claims are even worseIntroduction to the Java EE 5 Platform
02/23/2006What about HOFs?Gilad Is Right
02/23/2006Duck-typing the rabbit holeGilad Is Right
02/14/2006Event-State Duality: The Enriched CaseChu Spaces
02/10/2006Which 5 and 6?Sociology of a Language Construct
02/03/2006Open classes?The Next Mainstream Programming Languages
02/02/2006"How Much Non-strictness do Lenient Programs Require?"The Next Mainstream Programming Languages
02/03/2006No, but CPS is a good betThe Next Mainstream Programming Languages
02/06/2006Just curiousThe Next Mainstream Programming Languages
02/09/2006Oops, CPS is a bad betThe Next Mainstream Programming Languages
02/09/2006Garbage-collecting threads?The Next Mainstream Programming Languages
02/09/2006The difference lies in applicationThe Next Mainstream Programming Languages
01/29/2006...and slantnessBlockquote color
01/30/2006OS=Exokernel+PL RTSPromising OS's from a Programming Language Perspective
01/25/2006Great!PiDuce
01/22/2006"my recent posts"Infrastructure Announcement
01/21/2006Agents polymorphic in capabilitiesSpring School on Datatype-Generic Programming 2006
01/06/2006Constraint ProgrammingConstraint Programming
12/23/2005An Operational Foundation for Delimited Continuations in the CPS HierarchyAn Operational Foundation for Delimited Continuations in the CPS Hierarchy
12/21/2005...and newer versions of FirefoxChickenfoot
12/19/2005Delimited continuationsVirtual machine implementation and dynamic languages
12/12/2005Game semantics?Is this a new programming paradigm
12/15/2005Stop pushing :)Is this a new programming paradigm
12/14/2005Automatically Restructuring Programs for the WebCPS without GC?
12/19/2005Pre-Scheme?CPS without GC?
12/07/2005Erlang againEnvisioning a New Language: A Conversation With Victoria Livschitz
12/06/2005Standards are not readableMisc Links
12/01/2005Intersection types, secondedConjunction types
12/01/2005Sets of values, not of featuresConjunction types
12/03/2005Why "principal"Conjunction types
12/02/2005IntegralStringConjunction types
11/30/2005Do we talk types over the phone?Do we talk types over the phone?
11/30/2005Not reflection or serializationDo we talk types over the phone?
12/02/2005Wow, a DSLDo we talk types over the phone?
11/30/2005Modularization exerciseBattle of the Languages II
11/29/2005Ghost bumpsGhost bumps
11/30/2005Forgive, but grumbleThe building of robust software
12/01/2005Dependent types?The building of robust software
11/24/2005PietPietCode Reading
11/21/2005In the beginning was game semanticsIn the beginning was game semantics
11/22/2005Introduction to Cirquent Calculus and Abstract Resource SemanticIn the beginning was game semantics
11/30/2005You are welcomeIn the beginning was game semantics
11/22/2005Void typeDependent types: literature, implementations and limitations ?
11/22/2005C's void is unit in most casesDependent types: literature, implementations and limitations ?
11/23/2005No copying in zippersFelleisen: How to Design Class Hierarchies
11/18/2005Oz users?The X10 Programming Language
11/18/2005My pi-machine hanged up!What good is Strong Normalization in Programming Languages?
11/15/2005Telescoped namesExtensible Records With Scoped Labels
11/14/2005Reflexive addition?Algebra Of Programming (Bird, De Moor)
11/10/2005Putting Curry-Howard to WorkPutting Curry-Howard to Work
11/10/2005Picking the nitsPutting Curry-Howard to Work
11/14/2005CongestionsPutting Curry-Howard to Work
11/15/2005ThanksPutting Curry-Howard to Work
11/11/2005Not a language, but stillCaSe SenSitIviTy! What is its purpose in programming language syntax?
11/10/2005Memory-safety fine distinctionsBattling Bugs: A Digital Quagmire
11/16/2005User-friendly representation of capabilitiesBattling Bugs: A Digital Quagmire
11/10/2005Worth a storyThe Role of Type Equality in Meta-Programming
11/09/2005Io == Pi?OOPSLA 2005: Io, a small programming language
11/11/2005Reverse engineering?OOPSLA 2005: Io, a small programming language
11/10/2005Use a libraryClassification according to type vs function - An anecdote
11/04/2005Could not agree moreProgramming Language Names
11/06/2005Latin gegemonyProgramming Language Names
11/03/2005Jakarta Commons Monad, er, ChainJakarta Commons Monad, er, Chain
11/03/2005SorryJakarta Commons Monad, er, Chain
11/08/2005ComponentManager.EvalOOPSLA 2005 Reports
11/04/2005Procedural constraints as dependent types?OOPSLA 2005 Reports
11/05/2005Curry-Howard kataOOPSLA 2005 Reports
11/01/2005Shifting arrays?Why Lists?
10/20/2005Some commentsBruce Tate: Technologies that may challenge Java
11/08/2005Midnight haikuBruce Tate: Technologies that may challenge Java
12/19/2005MetahumanenessBruce Tate: Technologies that may challenge Java
10/20/2005MtG oracleMultigame A Very High Level Language for Describing Board Games
10/18/2005...and the PDF to searchObject Oriented Programming + Referential Transparency
10/17/2005Logically speakingTerritorial Exception Handling
10/12/2005Formal methods for O/R mappingFormal methods for O/R mapping
10/17/2005"As is" vs. "Should be"Formal methods for O/R mapping
10/17/2005Oz model?Formal methods for O/R mapping
10/12/2005That's trivialThe Church-Turing Thesis: Breaking the Myth
10/12/2005Sure you canThe Church-Turing Thesis: Breaking the Myth
10/12/2005A Monadic Framework for SubcontinuationsZipper-based file server/OS
10/05/2005Combining computational effectsCombining computational effects
10/05/2005Notions of Computation Determine MonadsCombining computational effects
10/05/2005Lifting expressiveness (or elevating it?)"The Anatomy of a Loop"
09/30/2005Where is the model?Active Objects with Syntax Directed Dialogs
09/26/2005Still worriedNon-Lisp, natively extensible?
09/16/2005Visual Bananas StudioGuest Blogger Erik Meijer
09/16/2005YepMost Productive FP Lang?
09/16/2005HehMost Productive FP Lang?
09/16/2005It's a forum, after allMost Productive FP Lang?
09/17/2005ExactlyMost Productive FP Lang?
09/17/2005It dependsMost Productive FP Lang?
09/20/2005OT: Scala pluginMost Productive FP Lang?
09/15/2005Mixed identityVisual Basic and LINQ
09/13/2005Genetic algorithms vs. genetic programming - PLT perspective?Genetic algorithms vs. genetic programming - PLT perspective?
09/13/2005ClarificationGenetic algorithms vs. genetic programming - PLT perspective?
09/14/2005Garbage in - garbage outGenetic algorithms vs. genetic programming - PLT perspective?
09/09/2005Asynchronous Exceptions in HaskellAsynchronous Exceptions in Haskell
09/12/2005Algebraic datatypesHaskell and creative freedom
09/08/2005"Read me first"Persistent functional databases
09/08/2005History as total orderPersistent functional databases
09/08/2005Turing, Computing and CommunicationPersistent functional databases
09/08/2005No taxation without communication. Er, no I/O...Persistent functional databases
09/06/2005Do threads mean shared state?Threads Cannot be Implemented as a Library
09/05/2005I don't know whether to laugh or cryJon Udell: The riddle of asynchrony
09/03/2005An interesting statementApple: procedural -> OO -> AOP -> advanced procedural
09/10/2005TimberSystem programming using FP
09/01/2005Not extreme enoughREXX Introduction
08/30/2005Real-life use case - which PLs support it nicely?Real-life use case - which PLs support it nicely?
08/30/2005Looks interestingReal-life use case - which PLs support it nicely?
08/31/2005WowReal-life use case - which PLs support it nicely?
10/05/2005How is TM imperative?Yearning for a practical scheme
10/05/2005Playing boyscoutYearning for a practical scheme
08/31/2005...is most easily read from bottom to topCodeProfiles.java - CODeDOC 2002
08/24/2005Aha, ObserverScalable Component Abstractions
08/23/2005Neko no me no you ni kawaruIvory Towers and Gelfand's Principle
08/23/2005I'll biteIvory Towers and Gelfand's Principle
08/25/2005TimescaleIvory Towers and Gelfand's Principle
08/23/2005It can change correctnessWhen to create syntax?
08/12/2005DiscriminationSyntax Design
08/12/2005Naked objects?Syntax Design
08/12/2005Or, better, SqueakSyntax Design
08/11/2005Rigour is good for you and feasible: reflections on formal treatments of C and UDP socketsRigour is good for you and feasible: reflections on formal treatments of C and UDP sockets
08/11/2005JavaMonadsJavaMonads
08/10/2005...and a solution?Expressivity
08/11/2005It's good to repeat it :-)Expressivity
08/11/2005Effects&type system for Scheme? :-)Concatenative Language Kont
08/15/2005Monads as concatenative PLs?Concatenative Language Kont
08/08/2005Guarded Induction and Weakly Final Coalgebras in Dependent Type TheoryGuarded Induction and Weakly Final Coalgebras in Dependent Type Theory
08/08/2005BacklinkGuarded Induction and Weakly Final Coalgebras in Dependent Type Theory
08/08/2005Simple indeedGuarded Induction and Weakly Final Coalgebras in Dependent Type Theory
08/08/2005Coupling of concepts - good or badCoupling of concepts - good or bad
08/09/2005Excellent summaryCoupling of concepts - good or bad
08/09/2005Neither is JavaHave scripting languages peaked?
08/04/2005Trampolining ArchitecturesTrampolining Architectures
08/04/2005Pretty closeTrampolining Architectures
08/05/2005Luke?Trampolining Architectures
08/05/2005More in-depth (warning, categories)Trampolining Architectures
08/06/2005Probably a smoother introduction to trampolines and friendsTrampolining Architectures
08/07/2005Hope that was usefulTrampolining Architectures
08/08/2005Refocusing in Reduction SemanticsTrampolining Architectures
08/04/2005Complexity?Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/07/2005Almost orthogonal persistenceObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/08/2005They areObjective 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/2005How about Scheme?A Lisp to JavaScript Compiler in 100 Lines
08/03/2005Knowing your goalsBigloo.NET: compiling Scheme to .NET CLR
08/05/2005Especially proofs as programsMercury Vs Prolog
08/09/2005A quick responseMercury Vs Prolog
08/02/2005Causal NetsCausal Nets
08/02/2005Expressing it in CT languageCausal Nets
08/01/2005Programming Paradigms of the Andorra Kernel LanguageProgramming Paradigms of the Andorra Kernel Language
08/02/2005Either thatLanguage Evolution applied to PLT
08/01/2005Cantankerousness is optionalAn interview with Chris Date
08/02/2005Sorry if I was too offensiveAn interview with Chris Date
08/02/2005C2 WikiAn interview with Chris Date
08/02/2005Other implementationsAn interview with Chris Date
07/30/2005Mixins, traits, etc.A Typed Intermediate Language for Compiling Multiple Inheritance
07/26/2005Concurrent Clustered ProgrammingConcurrent Clustered Programming
07/26/2005Comparison to Oz/Alice?Concurrent Clustered Programming
07/27/2005Hereditary linesConcurrent Clustered Programming
07/23/2005AdbmaLAdbmaL
07/25/2005Side conditions or explicit "descoping"?AdbmaL
07/25/2005For a quick referenceAdbmaL
07/25/2005Dynamic vs. static... oh, never mindAdbmaL
07/25/2005CINNIAdbmaL
12/13/2005Discontinuos scopeAdbmaL
07/22/2005Bytecode manipulation & intercession, metadata & introspectionConcerning introspection and compilation.
07/22/2005Motivation and backgroundConcerning introspection and compilation.
07/22/2005Reflection bytecodesConcerning introspection and compilation.
07/22/2005I doubt thatConcerning introspection and compilation.
07/26/2005That's Greenspun's Tenth Rule of ProgrammingThe Limits of the Semantic Extensibility of Computer Programs
07/21/2005The Complexity ZooThe Complexity Zoo
07/22/2005AhaThe Complexity Zoo
07/23/2005"What is an Efficient Implementation of the lambda-calculus?"The Complexity Zoo
07/22/2005Castigating JavaOn the Revival of Dynamic Languages
07/22/2005To be preciseOn the Revival of Dynamic Languages
07/22/2005...and multi-user developmentOn the Revival of Dynamic Languages
07/20/2005Alternative approach - replace CBV by CBN and vice versaConversion of 'functional' to 'imperative' algorithms: is it possible?
07/17/2005A Concurrent Lambda Calculus with FuturesA Concurrent Lambda Calculus with Futures
07/03/2005Design Concepts in Programming LanguagesDesign Concepts in Programming Languages
06/30/2005Lambda-muLambda-mu
06/29/2005A Formulae-as-Types Interpretation of Subtractive LogicA Formulae-as-Types Interpretation of Subtractive Logic
06/29/2005A confluent lambda-calculus with a catch/throw mechanismA Formulae-as-Types Interpretation of Subtractive Logic
06/27/2005Revisiting coroutinesRevisiting coroutines
06/28/2005Not exactlyRevisiting coroutines
07/01/2005SymFunctions as Classes: Which languages?
06/23/2005Fractal readingHow To Read a Paper
06/27/2005No, use trivial logicHow To Read a Paper
06/22/2005A Monadic Framework for SubcontinuationsA Monadic Framework for Subcontinuations
06/22/2005Deja vuA Monadic Framework for Subcontinuations
06/22/2005Glitches in the MatrixA Monadic Framework for Subcontinuations
06/23/2005You'd need some stateA Monadic Framework for Subcontinuations
06/23/2005Back to readingA Monadic Framework for Subcontinuations
06/24/2005Why 4 operators?A Monadic Framework for Subcontinuations
06/22/2005Crystal Scheme: A Language for Massively Parallel MachinesCrystal Scheme: A Language for Massively Parallel Machines
06/22/2005Almost agreeWhy recursing is better than looping
06/29/2005Writers/readersWhy recursing is better than looping
06/15/2005Another suggestion - joinsTim Bray: On Threads
06/16/2005ReferencesTim Bray: On Threads
06/13/2005Transducer Composition and CPSTransducer Composition and CPS
06/14/2005Definitely, thanksTransducer Composition and CPS
06/16/2005Setting the type, err, kindJava Generics, Arrays, and Comparables
06/09/2005Bottom-Up beta-Substitution: Uplinks and lambda-DAGsBottom-Up beta-Substitution: Uplinks and lambda-DAGs
06/09/2005CongratulationsCongrats in order
06/09/2005XQuery and monadsXQuery 1.0 and XPath 2.0 Formal Semantics - Last Call
06/10/2005Let gazillions FLW[O]Rs bloomXQuery 1.0 and XPath 2.0 Formal Semantics - Last Call
06/08/2005On Evaluation Contexts, Continuations, and the Rest of ComputationOn Evaluation Contexts, Continuations, and the Rest of Computation
06/08/2005S-categories?..On Evaluation Contexts, Continuations, and the Rest of Computation
06/09/2005You may be right, but...What will Apple's move to Intel mean for Alternative Language Communities?
06/09/2005C-style FFIWhat will Apple's move to Intel mean for Alternative Language Communities?
06/09/2005Scheme as a system PLWhat will Apple's move to Intel mean for Alternative Language Communities?
06/06/2005From shift and reset to polarized linear logicFrom shift and reset to polarized linear logic
06/06/2005Spoiled by TeX tutorials :-)From shift and reset to polarized linear logic
06/08/2005OT: It's in the eye of the beholderFrom shift and reset to polarized linear logic
06/06/2005Chung-chieh Shan's homepageFrom shift and reset to polarized linear logic
06/07/2005A Type-Theoretic Foundation of Continuations and PromptsFrom shift and reset to polarized linear logic
06/07/2005HmmFrom shift and reset to polarized linear logic
06/09/2005Lambda: the Ultimate SequencerBidirectional fold and scan
06/03/2005Avionics Control Systems DSL from 1994, by Doug LeaAvionics Control Systems DSL from 1994, by Doug Lea
06/02/2005Can programming be liberated from the Backus style? :-)Variables as Channels
06/03/2005OopsVariables as Channels
06/02/2005What debugger shows meWhat is so bad about compiling?
06/02/2005Why?What is so bad about compiling?
06/11/2005Deriving process congruences from reaction rulesPure bigraphs: structure and dynamics (by Robin Milner)
06/12/2005Getting informalPure bigraphs: structure and dynamics (by Robin Milner)
05/25/2005EMF as DSL platformDSL Error Handling in an Object Oriented context
05/26/2005How abstract is that AST?DSL Error Handling in an Object Oriented context
05/26/2005Good variablesHaskell for C Programmers
05/21/2005Abstract interpretation?Parameterized Unit Tests
05/19/2005Funny characters inferenceFunny characters inference
05/22/2005XML is concreteAST intermediate representations
05/22/2005Race condition :-)AST intermediate representations
05/22/2005FSF policyLLVM 1.5 has been released!
05/22/2005PLTers for lawyersLLVM 1.5 has been released!
05/14/2005Type tarpitAdvanced Types in Qi
05/13/2005Very practicalThe logic of communicating on channels
05/14/2005No satellite minis?A question about COBOL!
05/29/2005GUI for EpigramWhy Dependent Types Matter
05/30/2005Epigram, dialog, playWhy Dependent Types Matter
05/31/2005Levels of reuse in this tower of abstractionsWhy Dependent Types Matter
06/03/2005TeXlipseWhy Dependent Types Matter
05/11/2005Documents-as-actorssubtext: Uncovering the simplicity of programming
07/26/2005SureGADTs + Extensible Kinds = Dependent Programming
05/05/2005Why should we?Let's make a programming language!
05/06/2005Not having computer-based computing as its target domainLet's make a programming language!
05/14/2005A customer for you :-)Let's make a programming language!
06/05/2006Concrete or abstract syntax?Let's make a programming language!
05/04/2005Typed (un)marshalling in JavaWhy do computers stop and what can be done about it?
05/04/2005(De)serializationWhy do computers stop and what can be done about it?
05/05/2005Several thingsWhy do computers stop and what can be done about it?
05/02/2005Generic Accumulations: Battery-powered BananasGeneric Accumulations: Battery-powered Bananas
05/04/2005Edit timeCall for Papers: ACM Symposium on Dynamic Languages
05/05/2005Edit time and runtimeCall for Papers: ACM Symposium on Dynamic Languages
05/05/2005I will introduce more confusionCall for Papers: ACM Symposium on Dynamic Languages
04/30/2005LambdascopeLambdascope
04/30/2005Turing thesisFrom Perl Monks: "pissed off about functional programming"
09/29/2005Closure vs. combinator?From Perl Monks: "pissed off about functional programming"
05/02/2005Show me the contractAOP blog and aosd discussion
05/02/2005Java is bad. So?AOP blog and aosd discussion
05/22/2005AOP and mixinsAOP blog and aosd discussion
05/04/2005Beheading empty list?Memory fault and segmentation faults
05/04/2005I am all for dependent/-able typesMemory fault and segmentation faults
05/04/2005Easy to enumerate, difficult to evaluateMemory fault and segmentation faults
05/04/2005Returned the favor :)Memory fault and segmentation faults
05/05/2005UhMemory fault and segmentation faults
04/27/2005AlmostOO runtime graphs are scale-free
05/17/2005It wasThe Fortress Language Spec v0.618
04/26/2005As Fast As CExpressivity of lisp/scheme but speed of assembly/C/C++
05/06/2005Are only a-machines covered?Expressivity of lisp/scheme but speed of assembly/C/C++
04/25/2005Restructuring Partitioned Normal Form Relations Without Information LossRestructuring Partitioned Normal Form Relations Without Information Loss
04/27/2005No categoriesRestructuring Partitioned Normal Form Relations Without Information Loss
04/25/2005What makes it different?Virtual Machine and Runtime Framework
04/25/2005Calculus? Maybe logic? Type system?Virtual Machine and Runtime Framework
04/27/2005Some concernsVirtual Machine and Runtime Framework
04/23/2005Sapir-Whorf again?Sapir-Whorf again?
04/23/2005Well...Sapir-Whorf again?
04/24/2005Linguists agreeSapir-Whorf again?
06/09/2005Tuples in Java?Why do they program in C++?
04/21/2005Constructing Sequent Rules for Generalized Propositional LogicsConstructing Sequent Rules for Generalized Propositional Logics
04/21/2005Sequent calculus as a base for a type systemQi 6.1 released
04/19/2005"Sliders"?Why Dependent Types Matter
04/23/2005Wow, thanksWhy Dependent Types Matter
04/24/2005Dependent types for asymmetric encryptionWhy Dependent Types Matter
04/19/2005Datatype Laws without SignaturesDatatype Laws without Signatures
04/18/2005What happened to Charity?What happened to Charity?
04/19/2005A lazy PL?What happened to Charity?
04/15/2005Garbage collecting computationsGarbage collecting computations
04/15/2005Thanks!Garbage collecting computations
06/22/2005SubcontinuationsGarbage collecting computations
04/18/2005StrangeHow widespread are inhouse DSLs?
04/14/2005Denotational semantics of a DSL?Denotational semantics of a DSL?
04/14/2005Found so farDenotational semantics of a DSL?
04/14/2005Is lambda calculus a general purpose programming language?Denotational semantics of a DSL?
04/15/2005Is the early Pascal a general purpose language?Denotational semantics of a DSL?
04/15/2005Ok thenDenotational semantics of a DSL?
04/15/2005Thanks to everybodyDenotational semantics of a DSL?
04/13/2005CogPrints - if you believe PLs are languagesCogPrints - if you believe PLs are languages
04/12/2005Language vs. Compiler?Links
04/19/2005Costs/benefits model?Links
04/19/2005Nobody is teaching themLinks
04/19/2005Partially agreeLinks
04/17/2005For proprietary frameworks?Links
04/11/2005AgreeDominus talks about HO Perl
04/13/2005Sorry :(Dominus talks about HO Perl
04/13/2005More internal DSLsLanguage Design 101
04/10/2005Premonoidal categories and notions of computationPremonoidal categories and notions of computation
04/11/2005ThanksPremonoidal categories and notions of computation
04/12/2005The sheer depthLinks Slides
04/10/2005"Speak softly" languagesComputerworld Development Survey
04/09/2005An Idealized MetaMLMetaKlaim
04/10/2005Premonoidal/binoidal programmingMechanics of designing and implementing a language
04/18/2005TypesMechanics of designing and implementing a language
04/18/2005As long as it's blackMechanics of designing and implementing a language
05/01/2005Comprehending QueriesMechanics of designing and implementing a language
04/03/2005Recovering resources in the pi-calculusRecovering resources in the pi-calculus
04/03/2005Region analysis and a pi-calculus with groupsRecovering resources in the pi-calculus
04/02/2005Games for Logic and Programming Languages: Etaps'05Games for Logic and Programming Languages: Etaps'05
04/02/2005Impatient to see the reportGames for Logic and Programming Languages: Etaps'05
04/01/2005Way to go!Fold Must Fold!
04/01/2005XFortran? Semantic Fortran?Fold Must Fold!
03/31/2005FAQ typoFAQ typo
09/23/2005Back to expressivityexpressivity of "idiomatic C++"
09/19/2005Smooth numbers - generic Hammingexpressivity of "idiomatic C++"
09/19/2005Errataexpressivity of "idiomatic C++"
09/20/2005Phase limitationexpressivity of "idiomatic C++"
09/22/2005It happensexpressivity of "idiomatic C++"
09/21/2005Reframingexpressivity of "idiomatic C++"
09/20/2005An unexpected bonusexpressivity of "idiomatic C++"
03/31/2005System/user borderHow to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible
03/31/2005Categorical Structure of ContinuationHow to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible
03/26/2005Proper tail reflection?Proper tail reflection?
03/27/2005Why notProper tail reflection?
03/27/2005Will it be Bald in the end?Proper tail reflection?
03/23/2005CISC?UCPy: Reverse Engineering Python
03/23/2005I think I seeUCPy: Reverse Engineering Python
03/21/2005What about philosophy?According to Allen Holub programming is now a liberal art. When did this happen?
03/19/2005Reflection in Java: how are they getting with it?Reflection in Java: how are they getting with it?
03/20/2005Too harshReflection in Java: how are they getting with it?
03/21/2005Implementors broke reflection??Reflection in Java: how are they getting with it?
03/21/2005Yes, it is trickyGrady Booch: AOSD keynote
03/24/2005I am afraid they took that look :(Grady Booch: AOSD keynote
03/22/2005DSL perspectiveWill Wright Presents Spore... and a New Way to Think About Games
03/22/2005Procedural?Will Wright Presents Spore... and a New Way to Think About Games
03/22/2005Kolmogorov again?Will Wright Presents Spore... and a New Way to Think About Games
03/22/2005Human 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/2005Sounds more like soundnessOCaml vs. C++ for Dynamic Programming
03/17/2005Quines and polyglotsEmbedding one language in another
03/18/2005MetaprogrammingEmbedding one language in another
03/17/2005MugshotsA New Approach to Abstract Syntax with Variable Binding
03/12/2005Sheafification...Exploiting parser ambiguity
03/14/2005ThanksExploiting parser ambiguity
03/08/2005Linear ForwardersLinear Forwarders
03/16/2005Not reallyLinear Forwarders
03/07/2005μABC: A Minimal Aspect CalculusμABC: A Minimal Aspect Calculus
03/07/2005Just a very late binding?μABC: A Minimal Aspect Calculus
03/08/2005Pointcut languages?μABC: A Minimal Aspect Calculus
03/09/2005Extra fat baconμABC: A Minimal Aspect Calculus
03/07/2005On a positive sideμABC: A Minimal Aspect Calculus
03/09/2005Retrospect: Dynamically scoped functions vs. AOPμABC: A Minimal Aspect Calculus
03/09/2005Retrospect: Perspectives (including program slicing) and AOPμABC: A Minimal Aspect Calculus
03/01/2005Linearly Used ContinuationsLinearly Used Continuations
03/01/2005Representing Control in the Presence of One-Shot ContinuationsLinearly Used Continuations
02/24/2005Missing linkNick Benton: Simple Relational Correctness Proofs for Static Analyses and Program Transformations
02/25/2005Translation?Journals and papers?
02/22/2005Special characters' input methodsSpecial characters' input methods
02/23/2005I meant a browser-side gimmick :)Special characters' input methods
02/22/2005I am not a number: I am a free variableI am not a number: I am a free variable
02/24/2005Have to find outI 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/2005Names for computers or humans?What are The Atoms of Programming Languages?
02/23/2005Types, names, and scopes = telescopesWhat are The Atoms of Programming Languages?
02/21/2005Static internal names vs. dynamic published namesWhat are The Atoms of Programming Languages?
02/22/2005Both kinds of namesWhat are The Atoms of Programming Languages?
02/14/2005The Kell CalculusThe Kell Calculus
02/10/2005A strawman for others to beat uponStupid Question.
02/10/2005A framework?Stupid Question.
02/11/2005Wow...Stupid Question.
02/24/2005Equational calculi vs. algebrasStupid Question.
02/21/2005Cocalculi wantedStupid Question.
02/12/2005Formality by necessityACM Queue: A Conversation with Alan Kay
02/09/2005The HM system does not have principal typings for all termsThe HM system does not have principal typings for all terms
02/09/2005See alsoThe 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/2005A Polar Type SystemThe HM system does not have principal typings for all terms
02/09/2005Polar type inference with intersection types and omegaThe HM system does not have principal typings for all terms
02/09/2005All of them?The HM system does not have principal typings for all terms
02/21/2005The HM system does not have principal typings for all termsThe HM system does not have principal typings for all terms
02/21/2005ConfusedThe HM system does not have principal typings for all terms
02/22/2005Will need to search laterThe HM system does not have principal typings for all terms
02/23/2005Comparing System S to HM∀The HM system does not have principal typings for all terms
02/23/2005Jim provided some examples as wellThe HM system does not have principal typings for all terms
02/08/2005The Church ProjectThe Church Project
02/06/2005Pi-ple rights oppressedPi-ple rights oppressed
02/06/2005Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculusComparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus
02/07/2005A follow-upComparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus
02/04/2005Domains?A question for the theory guys
02/04/2005Why it was forgotten?Avoiding worst case GC with large amounts of data?
01/31/2005A Type System Equivalent to Flow AnalysisA Type System Equivalent to Flow Analysis
01/31/2005FC sees them as orthogonal not as equivalentA Type System Equivalent to Flow Analysis
02/08/2005A calculus with polymorphic and polyvariant flow typesA Type System Equivalent to Flow Analysis
01/29/2005The pi-Calculus in Direct StyleThe pi-Calculus in Direct Style
01/29/2005And even more "direct"The pi-Calculus in Direct Style
02/21/2005ReviewThe pi-Calculus in Direct Style
01/29/2005Coalgebraic types?BitC, a new OS implementation language
02/01/2005Per clock cycles, not per wall clockLangauges and Hardware...
02/02/2005Looks interestingLangauges and Hardware...
02/02/2005Langauges and Hardware...Langauges and Hardware...
01/30/2005Thou shalt not burnLangauges and Hardware...
01/31/2005That was a pleasure!Langauges and Hardware...
01/24/2005TCO for free?Implicit parallel functional programming
01/24/2005APL link is brokenAPL link is broken
01/22/2005O'Haskell - a functional object-oriented concurrent PLO'Haskell - a functional object-oriented concurrent PL
01/21/2005ReadSchemeGetting Started
01/21/2005Don't forget interactive programsOOP Is Much Better in Theory Than in Practice
01/21/2005Single user?OOP Is Much Better in Theory Than in Practice
01/22/2005Marry OOP to FPOOP Is Much Better in Theory Than in Practice
01/22/2005Computers are more than calculators of functionsOOP Is Much Better in Theory Than in Practice
01/22/2005TM has no select(2)OOP Is Much Better in Theory Than in Practice
01/13/2005Where are the joins?Introducing Comega
01/11/2005Are you sure?Ian Bicking: The challenge of metaprogramming
01/16/2005GOTO in Pre-SchemeIan Bicking: The challenge of metaprogramming
01/14/2005Joins and securityIan Bicking: The challenge of metaprogramming
01/14/2005Java 2 Security ArchitectureIan Bicking: The challenge of metaprogramming
01/14/2005History-based securityIan Bicking: The challenge of metaprogramming
01/06/2005JoCamlJoCaml
01/07/2005Small worldJoCaml
01/06/2005Typing Injury FAQSpeech-to-text friendly programming languages
01/07/2005Are we talking just entering the source?Speech-to-text friendly programming languages
01/06/2005Non-Deterministic Interaction NetsNon-Deterministic Interaction Nets
01/06/2005Expressiveness: sometimes subjective?Non-Deterministic Interaction Nets
01/07/2005Another observationNon-Deterministic Interaction Nets
01/06/2005I considered thatNon-Deterministic Interaction Nets
01/06/2005Am I producing that much content? :-)Non-Deterministic Interaction Nets
01/11/2005Is there a chance someone wilNon-Deterministic Interaction Nets
01/06/2005It's a great organizational opportunityLinks (Wadler)
01/09/2005Or check his CV :)Links (Wadler)
01/09/2005Inadequate?Links (Wadler)
02/21/2006Reference to Polyphonic C#Composable memory transactions
02/06/2005Trying to turn the safety offThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
02/06/2005Neither dynamic nor static enoughThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
02/06/2005Java threads might be expensiveThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
02/06/2005Unit tests for asynchronous codeThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
02/07/2005Transients in JavaThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
02/13/2005Pi => message-passing?The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
12/30/2004PL for interactive simulationPL for interactive simulation
12/30/2004Massive concurrency?PL for interactive simulation
12/30/2004Naturality, not performancePL for interactive simulation
12/30/2004The squeaky onePL for interactive simulation
12/31/2004Thanks!PL for interactive simulation
01/05/2005CAOS is a DSL, Creatures are RT+appPL for interactive simulation
01/06/2005Nice Toy!PL for interactive simulation
01/05/2005And, of course, JoCamlPL for interactive simulation
10/20/2005Survey?the Chinese natual language
12/13/2004Algebraic SemioticsAlgebraic Semiotics
12/14/2004GC guaranteesTim Bray: Sun & Dynamic Java
12/13/2004Compared to your average FPTim Bray: Sun & Dynamic Java
12/10/2004Type inference as wellPyPy wins a funding contract with the EU
12/10/2004VLISP PreSchemePyPy wins a funding contract with the EU
12/14/2004...therefore we created AI :-)Lazy evaulation and combining user streams
12/14/2004Brains are not really needed for thatLazy evaulation and combining user streams
12/14/2004It's an interactive problemLazy evaulation and combining user streams
12/09/2004Enumerable answers?Logix: Multi-Language Programming
12/06/2004How about this?Definition of Type
12/07/2004It dependsDefinition of Type
12/07/2004Another amendmentDefinition of Type
12/07/2004Factoring it along denotationsDefinition of Type
12/07/2004Is this constructive?Definition of Type
12/03/2004Binary RelationsRDF Elevator Pitch
11/28/2004Agree, visuals can be your friendsThe IDE Divide
11/29/2004Design the UI after the backend?The IDE Divide
11/28/2004Is "error" a natural number?Denotational Semantics: A Methodology for Language Development
11/24/2004BacklinkLL4 Program and Abstracts
12/02/2004Stop dominating your computer :-)LL4 Program and Abstracts
11/22/2004Code cannot lieLanguage Oriented Programming
11/22/2004Failure is only an opportunity to begin again more intelligentlyLanguage Oriented Programming
11/17/2004Useful indeedMulti-Return Function Call
11/17/2004Divide and proveSwitch statement design
11/17/2004Stories are convergingSwitch statement design
11/15/2004Call Processing LanguageCall Processing Language
11/11/2004Casting as empirical toolPredicate Dispatch in the news
11/08/2004Planetary Aspects?Where is everyone?
11/11/2004Plenty!Where is everyone?
10/30/2004They use hyphen in other titlesEnd Users to Shape Effective Software
10/28/2004Differentiation?Programming challenge
10/27/2004AutomationGMail accounts
10/23/2004Curry-Howard?What's a definition of "type" that beginners can understand?
10/25/2004Quite logicallyWhat's a definition of "type" that beginners can understand?
10/19/2004WhitespaceWhitespace
10/19/2004Bleached and smirched PerlWhitespace
10/19/2004Two turtles at a timeProgramming for non-programmers
10/19/2004It takes two to be parallelProgramming for non-programmers
10/19/2004MisunderstandingProgramming for non-programmers
10/09/2004Continuations subtype contravariantly?Templates vs. Generics
10/08/2004Dynamic scoping of catchesKen Shan: Shift to Control
10/08/2004Unchecked exceptionsKen Shan: Shift to Control
10/04/2005As opposed to throw?Ken Shan: Shift to Control
10/04/2005No future?Ken Shan: Shift to Control
10/22/2004Not a compiler but...Shoot-out: most annoying compiler error message
10/03/2004Will Kodak kill Java?Will Kodak kill Java?
09/29/2004Decompiling n-stage metaprogramsJava and coolness, a discussion
09/20/2004What has first-class status in Turing machine?"... because common people think like so-and-so..."
09/13/2004Some cynics are disillusioned cynicsMore from Udell on typing
09/10/2004Reflection in logic, functional and object-oriented programming: a Short Comparative StudyReflection in logic, functional and object-oriented programming: a Short Comparative Study
09/10/2004A Debugging Environment for Lazy Functional LanguagesA Debugging Environment for Lazy Functional Languages
09/10/2004'cause I am quick to postA Debugging Environment for Lazy Functional Languages
09/08/2004Securing reflective towersSecuring reflective towers
09/08/2004Reflecting on namesSecuring reflective towers
09/09/2004Reflective capabilities calculus wanted aliveSecuring reflective towers
09/02/2004No ADT in FP?Higher order versus Object order
09/12/2004Modulo modApple Flunks First Grade Math
08/31/2004Reflection '96What's up guys?
09/02/2004Continuous slidersWhy type systems are interesting - part III: latent types
08/30/2004Chapter 16"Types and Reflection" by Lauri Emil Alanko
09/02/2004Pademelons can be distinguished from wallabies."Types and Reflection" by Lauri Emil Alanko
08/26/2004Yet another impedance mismatch?Grid Computing & the Linda Programming Model
08/23/2004Counts for free?New result re "linguistic determinism"
08/20/2004Introduction to computability logicIntroduction to computability logic
08/20/2004Postfunctionalism: Computability is WinnabilityIntroduction to computability logic
08/22/2004Proofs as programsIntroduction to computability logic
08/22/2004"Is Game Semantics Necessary?"Introduction to computability logic
08/24/2004Classical quantifiers are blindIntroduction to computability logic
08/24/2004Planner, schemer, shooterIntroduction to computability logic
09/06/2004Turing machines as their essential, ideal archetypeIntroduction to computability logic
10/13/2004Bump - a swelling of tissue usually resulting from a blowIntroduction to computability logic
04/25/2005Depends which linear logicIntroduction to computability logic
10/15/2004Home workIntroduction to computability logic
10/15/2004Substitution preserves finiteness of runsIntroduction to computability logic
10/19/2004Can content subsume structure?Introduction to computability logic
10/20/2004Halting metaproblemIntroduction to computability logic
10/21/2004Welcome to the game :)Introduction to computability logic
10/21/2004Adding typesIntroduction to computability logic
08/20/2004The Origins of the Turing Thesis MythThe Origins of the Turing Thesis Myth
08/20/2004Is Haskell program equivalent to TM?The Origins of the Turing Thesis Myth
08/25/2004Turing-complete is not Turing-limitedThe Origins of the Turing Thesis Myth
08/26/2004Yes, we could, but...The Origins of the Turing Thesis Myth
08/26/2004Or categoricallyThe Origins of the Turing Thesis Myth
08/30/2004Is Epigram a bottomless TM?The Origins of the Turing Thesis Myth
08/26/2004It dependsThe Origins of the Turing Thesis Myth
08/17/2004Just one tool from the boxWell, that's one way of doing it...
08/19/2004FAQ update?Hierarchy destruction in Ada
08/16/2004Side-note on stateThe right default: concurrent components with message passing
08/16/2004ADT is simpler than stateThe right default: concurrent components with message passing
08/13/2004Type Theoretical Foundations for Data Structures, Classes, and ObjectsType Theoretical Foundations for Data Structures, Classes, and Objects
08/13/2004On the other handType Theoretical Foundations for Data Structures, Classes, and Objects
08/18/2004Cookbooks do differNew Paul Graham thing...
08/22/2004Unwanted lazinessNew Paul Graham thing...
08/11/2004Let's keep it secretScrap more boilerplate
08/11/2004Call-by-what?Call-by-what?
08/12/2004AbstractionsCall-by-what?
08/13/2004More values can be obtained as a result of CBV than CBN?Call-by-what?
08/13/2004Trying to think duallyCall-by-what?
02/02/2005Call-by-sendCall-by-what?
02/02/2005ExactlyCall-by-what?
02/18/2005Ever since Milner introduced the pi-calculus...Call-by-what?
02/21/2005Quick review - corrections welcomeCall-by-what?
08/09/2004Constraint-Based Type Inference for Guarded Algebraic Data TypesConstraint-Based Type Inference for Guarded Algebraic Data Types
08/10/2004ThanksConstraint-Based Type Inference for Guarded Algebraic Data Types
08/10/2004TCP/IP is not a protocolUdell: A strategic vision for dynamic languages
08/11/2004Half-agreeUdell: A strategic vision for dynamic languages
08/11/2004Any enumerable then?Why type systems are interesting - part II
08/12/2004Are GADT more general than dependent types?Why type systems are interesting - part II
08/12/2004While generally sharing theWhy type systems are interesting - part II
08/12/2004Hopefully on topic, tooWhy type systems are interesting - part II
08/12/2004Theorems for free!Why type systems are interesting - part II
08/13/2004Is Epigram too short?Why type systems are interesting - part II
08/18/2004Final classesMorrow & First-class Labels
08/19/2004Given typeMorrow & First-class Labels
08/17/2004Is {l :: a} a closed type?Morrow & First-class Labels
08/19/2004absent : EmptyTypeMorrow & First-class Labels
08/07/2004GLUTBreve: a 3D simulation environment
08/06/2004There is plenty of room within decidable kingdomEliminating Array Bound Checking through Non-dependent types
08/06/2004You're kidding?!Eliminating Array Bound Checking through Non-dependent types
08/06/2004Great!Eliminating Array Bound Checking through Non-dependent types
08/10/2004It may be worth to use Haskell, after all :)Eliminating Array Bound Checking through Non-dependent types
08/06/2004Dependent Types and Explicit SubstitutionsA Visual Environment for Developing Context-Sensitive Term Rewriting Systems
03/29/2006Alternative linkTyPiCal: Type-based static analyzer for the Pi-Calculus
08/03/2004Tail of Nil and Its TypeTail of Nil and Its Type
08/03/2004MaybeTail of Nil and Its Type
08/03/2004Thanks, but...Tail of Nil and Its Type
08/03/2004It may return Nothing :-(Tail of Nil and Its Type
08/04/2004Excuse me for not being clear enoughTail 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/2004I say - Haskell is not "static" enoughTail of Nil and Its Type
08/04/2004Dependent 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/2004Dependently Typed > (Independently?) TypedTail of Nil and Its Type
08/03/2004General recursion in EpigramTail of Nil and Its Type
08/04/2004Anyone interested in some lectures?Tail of Nil and Its Type
08/04/2004Is it Haskell98?Tail of Nil and Its Type
08/05/2004I love it, tooTail of Nil and Its Type
08/08/2004Tail of tail of...Tail of Nil and Its Type
08/08/2004Is this fathful enough?Tail of Nil and Its Type
08/02/2004HTML guidelinesHTML guidelines
08/06/2004Just to be pedanticPartial Continuations
07/30/2004Effects for DNA experts?Francis Crick (1916-2004)
07/27/2004A Functional Semantics of Attribute GrammarsA Functional Semantics of Attribute Grammars
07/27/2004Use futures...?A Functional Semantics of Attribute Grammars
07/27/2004I said it hurts :-)A Functional Semantics of Attribute Grammars
07/27/2004Job security?Icon Language Implementation and Unicon News
07/27/2004A New Implementation of the Icon LanguageIcon Language Implementation and Unicon News
07/27/2004...and Icon via List monadIcon Language Implementation and Unicon News
07/28/2004No Chinese Room?Derrida's Machines
07/25/2004Missing unquote characterHTML editors
07/25/2004IT doomed?Grady Booch on software archeology
07/25/2004Another in the worksGrady Booch on software archeology
07/23/2004Keywords per post?Keywords per post?
07/23/2004Multi-set keysKeywords per post?
07/23/2004Does not look smallMila
07/30/2004Specification not implementationMila
07/23/2004Prolog?Database Theory and Type systems/Programming Languages.
07/23/2004Does "relational" imply "DB"?Database Theory and Type systems/Programming Languages.
07/22/2004It's fun after allThe C++ Source Journal
07/20/2004Not top schools?Info needed
07/20/2004Is Oz declarative?Cw
07/20/2004Dependent types...Cw
07/19/2004Papers' repositoriesPapers' repositories
07/19/2004MetaseparationPapers' repositories
07/17/2004Fantazies on "final"Fantazies on "final"
07/17/2004Not a problem for AOPFantazies on "final"
07/17/2004Some classes are more final than othersFantazies on "final"
07/17/2004Universal Equalizer?Fantazies on "final"
07/18/2004What angered you?Fantazies on "final"
08/02/2004Dynamically-typed values => Untyped namesWhy type systems are interesting
08/02/2004Yes, it is notWhy type systems are interesting
08/05/2004...what would otherwise have been a type error...Why type systems are interesting
05/26/2006Javan wrong waysWhy type systems are interesting
05/26/2006Java might be fuzzyWhy type systems are interesting
07/28/2004Better than AOP :o)Why type systems are interesting
07/31/2004Inductive types in constructive languagesWhy type systems are interesting
08/09/2004Stages, strata, types.Why type systems are interesting
08/08/2004Maps are crucial for finding a path...Why type systems are interesting
08/07/2004Paths. Speed. Immortality.Why type systems are interesting
08/19/2005Safety before securityWhy type systems are interesting
07/17/2004Secret language?Summary of techniques / approaches / models / languages for parallel computation
07/17/2004Is industry...Summary of techniques / approaches / models / languages for parallel computation
07/18/2004Wild guessOld computer science and technical books worth searching for
07/20/2004A bit of calculusOld computer science and technical books worth searching for
02/18/2005Not too non-theoretical papersUnderstanding continuations
03/31/2005On Evaluation Contexts, Continuations, and the Rest of theUnderstanding continuations
07/12/2004Definition?What's up guys?
07/10/2004RDBMS lost to marketing?Database Abstraction Layers and Programming Languages
01/23/2005Another retrospective seems to disagreeRetrospective: The Essence of Compiling with Continuations
07/07/2004A distinct syntax for RTL string literalsInternational Components for Unicode 3.0 Released
06/29/2004Nets: Petri vs LafontNets: Petri vs Lafont
06/29/2004Introduction to Interaction NetsNets: Petri vs Lafont
06/30/2004Graph rewriting on top of SQLNets: Petri vs Lafont
06/30/2004It pays to learnNets: Petri vs Lafont
02/11/2005Thanks!Nets: Petri vs Lafont
02/04/2005Uh, why not?The DSL, MDA, UML thing again...
06/22/2004Intentional ProgrammingAbstractionless programming
06/28/2004Premature sharing considered harmful :-)Abstractionless programming
08/08/2004Managing Duplicated Code with Linked EditingAbstractionless programming
06/22/2004Citing LtU1The site discussions forum
06/22/2004Google the archivesThe site discussions forum
07/22/2004Session?The site discussions forum
07/27/2004Editing the head?The site discussions forum
06/14/2004Re: Extensible Code Generation with JavaExtensible Code Generation with Java
06/15/2004Re: Extensible Code Generation with JavaExtensible Code Generation with Java
05/29/2004Re: Nullable TypesNullable Types
05/26/2004Re: Continuations in Java and Java-based Web FrameworksContinuations in Java and Java-based Web Frameworks
05/28/2004Re: Continuations in Java and Java-based Web FrameworksContinuations in Java and Java-based Web Frameworks
05/25/2004Turing completeness is not?Turing completeness is not?
05/25/2004Re: Turing completeness is not?Turing completeness is not?
05/24/2004Re: AFP 2004AFP 2004
05/24/2004Re: AFP 2004AFP 2004
05/23/2004Re: Case Study in Practical Language UseCase Study in Practical Language Use
05/24/2004Re: Case Study in Practical Language UseCase Study in Practical Language Use
05/24/2004Re: Case Study in Practical Language UseCase Study in Practical Language Use
05/22/2004The First Report on Scheme RevisitedThe First Report on Scheme Revisited
05/19/2004Re: The SkyNet Virus: Why it is Unstoppable; How to Stop itThe SkyNet Virus: Why it is Unstoppable; How to Stop it
05/20/2004Re: The SkyNet Virus: Why it is Unstoppable; How to Stop itThe SkyNet Virus: Why it is Unstoppable; How to Stop it
05/17/2004Haskell-Coloured Petri NetsHaskell-Coloured Petri Nets
05/18/2004Re: Haskell-Coloured Petri NetsHaskell-Coloured Petri Nets
05/18/2004Re: Haskell-Coloured Petri NetsHaskell-Coloured Petri Nets
05/17/2004Re: pbookpbook
05/20/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/20/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/20/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/21/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/22/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/22/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/22/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/24/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/24/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/13/2004Re: late binding and self referencelate binding and self reference
05/13/2004Re: Selective Open Recursion: A Solution to the Fragile Base Class ProblemSelective Open Recursion: A Solution to the Fragile Base Class Problem
05/13/2004Re: A Type Theory for Memory Allocation and Data LayoutA Type Theory for Memory Allocation and Data Layout
05/13/2004Re: lambda-calculus and typeslambda-calculus and types
05/13/2004Re: lambda-calculus and typeslambda-calculus and types
05/11/2004Re: Why Learning Assembly Language is Still a Good IdeaWhy Learning Assembly Language is Still a Good Idea
05/11/2004Re: Why Learning Assembly Language is Still a Good IdeaWhy Learning Assembly Language is Still a Good Idea
05/08/2004Re: Spreadsheet structure discoverySpreadsheet structure discovery
05/09/2004Re: Object-Oriented Programming Enhancements in Ada200YObject-Oriented Programming Enhancements in Ada200Y
05/03/2004A Generic Component Framework for System ModelingA Generic Component Framework for System Modeling
05/03/2004Re: A Generic Component Framework for System ModelingA Generic Component Framework for System Modeling
05/06/2004Re: A Generic Component Framework for System ModelingA Generic Component Framework for System Modeling
05/06/2004Re: A Generic Component Framework for System ModelingA Generic Component Framework for System Modeling
05/07/2004Re: A Generic Component Framework for System ModelingA Generic Component Framework for System Modeling
04/29/2004Re: A Practical Theory of ProgrammingA Practical Theory of Programming
04/28/2004Re: Udell: Radical software customizationUdell: Radical software customization
04/28/2004Re: Udell: Radical software customizationUdell: Radical software customization
04/28/2004Re: Udell: Radical software customizationUdell: Radical software customization
04/29/2004Re: Udell: Radical software customizationUdell: Radical software customization
04/29/2004Re: Udell: Radical software customizationUdell: Radical software customization
04/29/2004Re: Udell: Radical software customizationUdell: Radical software customization
04/29/2004Re: Udell: Radical software customizationUdell: Radical software customization
04/26/2004Re: Refal programming languageRefal programming language
04/26/2004Re: Refal programming languageRefal programming language
04/26/2004Re: Excel examplesExcel examples
04/30/2004Re: Wolfram's Future MathWolfram's Future Math
04/26/2004Re: Growing a LanguageGrowing a Language
04/27/2004Re: Growing a LanguageGrowing a Language
04/27/2004Re: Growing a LanguageGrowing a Language
04/23/2004Re: UML and DSLsUML and DSLs
04/25/2004Re: UML and DSLsUML and DSLs
04/26/2004Re: UML and DSLsUML and DSLs
03/05/2004Re: Categories for EverybodyCategories for Everybody
03/03/2004Re: Proof Theory of Martin-Lof Type Thoery - And OverviewProof Theory of Martin-Lof Type Thoery - And Overview
02/23/2004Re: CLR HostingCLR Hosting
02/26/2004Re: CLR HostingCLR Hosting
02/21/2004Re: Finalization (CLR)Finalization (CLR)
02/21/2004Re: Finalization (CLR)Finalization (CLR)
02/20/2004Re: NemerleNemerle
02/16/2004Re: Elements of Basic Category TheoryElements of Basic Category Theory
02/16/2004Re: Elements of Basic Category TheoryElements of Basic Category Theory
02/16/2004Re: Elements of Basic Category TheoryElements of Basic Category Theory
02/17/2004Re: Elements of Basic Category TheoryElements of Basic Category Theory
02/20/2004Re: Elements of Basic Category TheoryElements of Basic Category Theory
02/21/2004Re: Elements of Basic Category TheoryElements of Basic Category Theory
02/15/2004Elements of Basic Category TheoryElements of Basic Category Theory
02/14/2004Re: The Next Move in Programming (Livschitz interview)The Next Move in Programming (Livschitz interview)
02/14/2004Re: The Next Move in Programming (Livschitz interview)The Next Move in Programming (Livschitz interview)
02/15/2004Re: The Next Move in Programming (Livschitz interview)The Next Move in Programming (Livschitz interview)
02/15/2004Re: The Next Move in Programming (Livschitz interview)The Next Move in Programming (Livschitz interview)
02/15/2004Re: The Next Move in Programming (Livschitz interview)The Next Move in Programming (Livschitz interview)
02/15/2004Re: The Next Move in Programming (Livschitz interview)The Next Move in Programming (Livschitz interview)
02/15/2004Re: The Next Move in Programming (Livschitz interview)The Next Move in Programming (Livschitz interview)
02/15/2004Re: The Next Move in Programming (Livschitz interview)The Next Move in Programming (Livschitz interview)
02/15/2004Re: The Next Move in Programming (Livschitz interview)The Next Move in Programming (Livschitz interview)
02/14/2004Re: Packrat ParsingPackrat Parsing
02/14/2004Re: Packrat ParsingPackrat Parsing
02/14/2004Re: Packrat ParsingPackrat Parsing
02/11/2004Collaborations+CrosscuttingConcernsCollaborations+CrosscuttingConcerns
02/10/2004Re: LtU FAQ UpdateLtU FAQ Update
02/03/2004Re: Sina Language and Composition FiltersSina Language and Composition Filters
02/03/2004Re: Sina Language and Composition FiltersSina Language and Composition Filters
02/04/2004Re: Sina Language and Composition FiltersSina Language and Composition Filters
02/04/2004Re: Sina Language and Composition FiltersSina Language and Composition Filters
02/04/2004Re: Sina Language and Composition FiltersSina Language and Composition Filters
02/05/2004Re: Sina Language and Composition FiltersSina Language and Composition Filters
01/29/2004Re: Implicit params in HaskellImplicit params in Haskell
01/16/2004Re: DSL for financial contractsDSL for financial contracts
12/09/2003The Java specs in a formal wayThe Java specs in a formal way
12/11/2003Re: The Java specs in a formal wayThe Java specs in a formal way
12/09/2003Re: Language ConstructionLanguage Construction
12/08/2003Re: DSL in Software Development and Releation to Partial EvaluationDSL in Software Development and Releation to Partial Evaluation
12/08/2003Re: DSL in Software Development and Releation to Partial EvaluationDSL in Software Development and Releation to Partial Evaluation
12/07/2003Re: A Clockwork Orange: NadsatA Clockwork Orange: Nadsat
12/07/2003Re: A Clockwork Orange: NadsatA Clockwork Orange: Nadsat
12/01/2003Events and ContinuationsEvents and Continuations
12/01/2003Re: Events and ContinuationsEvents and Continuations
12/01/2003Re: Events and ContinuationsEvents and Continuations
12/01/2003Re: Events and ContinuationsEvents and Continuations
12/02/2003Re: Events and ContinuationsEvents and Continuations
12/02/2003Re: Events and ContinuationsEvents and Continuations
12/03/2003Re: Events and ContinuationsEvents and Continuations
12/03/2003Re: Events and ContinuationsEvents and Continuations
12/03/2003Re: Events and ContinuationsEvents and Continuations
12/03/2003Re: Events and ContinuationsEvents and Continuations
12/04/2003Re: Events and ContinuationsEvents and Continuations
12/10/2003Re: Events and ContinuationsEvents and Continuations
12/10/2003Re: Events and ContinuationsEvents and Continuations
12/11/2003Re: Events and ContinuationsEvents and Continuations
11/29/2003A Logic for Shared Mutable Data StructuresA Logic for Shared Mutable Data Structures
11/29/2003Re: A Logic for Shared Mutable Data StructuresA Logic for Shared Mutable Data Structures
11/28/2003Re: Lambda CalculusLambda Calculus
11/26/2003Re: Is it time for another guest blogger?Is it time for another guest blogger?
11/22/2003Re: Another milestoneAnother milestone
11/22/2003Re: Another milestoneAnother milestone
11/20/2003Control handling primitivesControl handling primitives
11/21/2003Re: Control handling primitivesControl handling primitives
11/21/2003Re: Control handling primitivesControl handling primitives
11/21/2003Re: Control handling primitivesControl handling primitives
11/22/2003Re: Control handling primitivesControl handling primitives
11/23/2003Re: Control handling primitivesControl handling primitives
05/31/2004Re: Control handling primitivesControl handling primitives
11/21/2003Re: Towards the best collection APITowards the best collection API
11/22/2003Re: Towards the best collection APITowards the best collection API
11/22/2003Re: Towards the best collection APITowards the best collection API
11/23/2003Re: Towards the best collection APITowards the best collection API
11/23/2003Re: Towards the best collection APITowards the best collection API
11/16/2003Re: A Survey of Object-Oriented ConceptsA Survey of Object-Oriented Concepts
11/17/2003Re: A Survey of Object-Oriented ConceptsA Survey of Object-Oriented Concepts
11/17/2003Re: A Survey of Object-Oriented ConceptsA Survey of Object-Oriented Concepts
11/18/2003Re: Viewing code - how much is just right?Viewing code - how much is just right?
11/16/2003Re: Introducing ContinuationsIntroducing Continuations
11/16/2003Re: Introducing ContinuationsIntroducing Continuations
09/18/2003Re: JScript is a Functional LanguageJScript is a Functional Language
09/04/2003No "theory of types" in legal systemsNo "theory of types" in legal systems
08/28/2003Re: XQuery 1.0 and XPath 2.0 Formal SemanticsXQuery 1.0 and XPath 2.0 Formal Semantics
08/29/2003Re: XQuery 1.0 and XPath 2.0 Formal SemanticsXQuery 1.0 and XPath 2.0 Formal Semantics
08/31/2003Re: XQuery 1.0 and XPath 2.0 Formal SemanticsXQuery 1.0 and XPath 2.0 Formal Semantics
08/27/2003Let C = Q in OCLLet C = Q in OCL
07/15/2003Invocations as objectsInvocations as objects
07/17/2003Re: Invocations as objectsInvocations as objects
07/13/2003Re: The PILER Decompilation SystemThe PILER Decompilation System
07/12/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/14/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
07/22/2003Re: Jef Raskin: The Woes of IDEsJef Raskin: The Woes of IDEs
02/21/2004Re: Destructors, Finalizers, and SynchronizationDestructors, Finalizers, and Synchronization

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


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