Posts By: Frank Atanassow
| Date | Post | Topic |
| 07/01/2010 | Representation /= semantics | Evocative metaphor |
| 06/29/2010 | Phase distinction | Evocative metaphor |
| 06/26/2010 | Disappointed | Xtext: An IDE on the cheap |
| 06/26/2010 | Plug-in framework, not Xtext | Xtext: An IDE on the cheap |
| 06/27/2010 | So TMs /= untyped LC...? | SF-calculus |
| 06/29/2010 | You don't need to appeal to a different evaluation order. | SF-calculus |
| 06/29/2010 | Unconvinced, but grateful | SF-calculus |
| 06/30/2010 | OK, but... | SF-calculus |
| 06/26/2010 | Coq, Agda, etc.? | A lambda calculus with arbitrary set primitives |
| 06/26/2010 | Well, not quite. | A lambda calculus with arbitrary set primitives |
| 06/26/2010 | Conservative extension | A lambda calculus with arbitrary set primitives |
| 06/29/2010 | I still don't think that is | A lambda calculus with arbitrary set primitives |
| 06/29/2010 | Uncountables unavailable. | A lambda calculus with arbitrary set primitives |
| 07/01/2010 | Neat. | A lambda calculus with arbitrary set primitives |
| 06/25/2010 | Established canon | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/26/2010 | Lambda-calculi with mutable state, etc. | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/26/2010 | Stepping stones | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/26/2010 | I'm with Dijkstra. | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/27/2010 | Leadership = humility? | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/30/2010 | Dichotomy | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/30/2010 | Why Undergraduates Should Learn the Principles of Programming Languages | Why Undergraduates Should Learn the Principles of Programming Languages |
| 07/01/2010 | Various replies | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/20/2010 | Conference paper | A Theory of Typed Hygienic Macros |
| 06/20/2010 | Maybe it's time for a facelift. | happy rebirth day, LtU NG! |
| 06/21/2010 | It's just a stock Drupal | happy rebirth day, LtU NG! |
| 06/19/2010 | CBV diverges strictly more often. | Looking for a proof that eager reduction is as strong as lazy reduction |
| 06/14/2010 | Neat. | C-Machine |
| 06/07/2010 | Look at Wadler's papers on | Data schema languages |
| 06/11/2010 | Well | Data schema languages |
| 06/11/2010 | List monoid | Algebraic |
| 06/11/2010 | Some sketchy definitions | Algebraic |
| 06/10/2010 | Transparent logging | Seeking thoughtful criticisms of functional programming and languages |
| 06/11/2010 | Who hurt you? | Seeking thoughtful criticisms of functional programming and languages |
| 06/15/2010 | Atanassowism | seL4: Formal Verification of an Operating-System Kernel |
| 06/22/2010 | I know you are joking, but... | seL4: Formal Verification of an Operating-System Kernel |
| 06/22/2010 | Context-rot | seL4: Formal Verification of an Operating-System Kernel |
| 06/22/2010 | Blah blah blah bit rot blah blah blah | seL4: Formal Verification of an Operating-System Kernel |
| 06/24/2010 | Last remark | seL4: Formal Verification of an Operating-System Kernel |
| 06/22/2010 | Alternative solution | seL4: Formal Verification of an Operating-System Kernel |
| 06/22/2010 | Hold yourself to the same standard. | seL4: Formal Verification of an Operating-System Kernel |
| 06/19/2010 | Down with Reflection! * | On the (Alleged) Value of Proof for Assurance |
| 06/10/2010 | Tracing JIT reference? | Have tracing JIT compilers won? |
| 06/11/2010 | Some remarks | plt vs. something else for programming in the large? |
| 06/15/2010 | The Dream of Leibniz | plt vs. something else for programming in the large? |
| 11/28/2007 | Filinski's dissertation | A survey and discussion of taming effects |
| 11/21/2007 | Re: Wolfram | What are the properties of "Functional Programming Languages"? |
| 11/18/2007 | Huh? | Well-typed programs can't be blamed |
| 11/02/2007 | I commented on this... | The simplest mechanism with Turing-equivalent power to date ... |
| 11/03/2007 | Thank you, kindly. | The simplest mechanism with Turing-equivalent power to date ... |
| 03/23/2007 | 2-categories and catastrophe theory | A Topos Foundation for Theories of Physics |
| 03/21/2007 | Dumbass! | Order of the Science Scouts Badges |
| 11/20/2006 | That is not dead, which can eternal lie... | if Records - Labels = Tuples then Rows - Labels = what? |
| 07/09/2006 | For the record: Marc and | Community enforcement discussion |
| 07/09/2006 | Normal "order" | Programming Languages and Lambda Calculi |
| 07/05/2006 | Look before you leap. | Lexical structure of scripting languages |
| 07/01/2006 | Bite your tongue! | Amusing question |
| 07/02/2006 | Science not philosophy | Amusing question |
| 07/02/2006 | Science versus philosophy | Amusing question |
| 07/01/2006 | HDA3 | Amusing question |
| 07/01/2006 | Links: passing the buck | LtU: Policies document |
| 06/16/2006 | Philippa's right. | Why only 'minimal' languages |
| 06/14/2006 | Dynamism, Legacy of the Visigoths | HLVM - High Level Virtual Machine toolkit for dynamic languages |
| 06/10/2006 | Inform 7: A relational DSL for interactive fiction with natural language syntax | Inform 7: A relational DSL for interactive fiction with natural language syntax |
| 06/10/2006 | Ah, my error. | Inform 7: A relational DSL for interactive fiction with natural language syntax |
| 06/10/2006 | A few comments | Inform 7: A relational DSL for interactive fiction with natural language syntax |
| 06/11/2006 | Impressions | Inform 7: A relational DSL for interactive fiction with natural language syntax |
| 06/11/2006 | Freedom of speech => duty to accept criticism | LtU: blog not forum! |
| 06/10/2006 | Harrumph. | Joshua Bloch: "Nearly All Binary Searches Broken" |
| 06/09/2006 | Personally I think there are | Joshua Bloch: "Nearly All Binary Searches Broken" |
| 06/08/2006 | blah blah blah dependency injection blah blah blah | Relevance of Curry-Howard |
| 06/09/2006 | Coalgebraic models | Relevance of Curry-Howard |
| 06/09/2006 | Bialgebras | Relevance of Curry-Howard |
| 06/04/2006 | From my point of view, CH is | Relevance of Curry-Howard |
| 06/05/2006 | That old saw... | Relevance of Curry-Howard |
| 06/06/2006 | Let's assume there is a type | Relevance of Curry-Howard |
| 06/06/2006 | Hank: | Relevance of Curry-Howard |
| 06/09/2006 | Martin Hofmann | Relevance of Curry-Howard |
| 06/09/2006 | Andris: | Relevance of Curry-Howard |
| 06/16/2006 | Your deepest desires: on screwing | First Class Values, Types as values within a Programming Language |
| 05/26/2006 | Authors | Syntax, Semantics and all that Stuff |
| 06/09/2006 | Bug? | Editing posts |
| 05/09/2006 | Thanks. This is of interest | The three dimensions of proofs |
| 05/05/2006 | Re: Isos, etc. | What do you believe about Programming Languages (that you can't prove (yet))? |
| 02/02/2006 | Monads in classical mathematics | What is a monad, why should I use it, and when is it appropriate? |
| 01/14/2006 | Partial function application | New for Python 2.5 |
| 01/14/2006 | Source Code | What is considered source code? |
| 01/17/2006 | Geekisms | What is considered source code? |
| 01/02/2006 | By-products (not biproducts) | Joel Spolsky views on CS education |
| 12/22/2005 | "Type wars" | Beyond "Beyond Java" etc. |
| 12/13/2005 | Lists | Top N Papers 2005 |
| 12/13/2005 | My mistake | Top N Papers 2005 |
| 12/09/2005 | Reflective OCaml | Types and reflection |
| 12/06/2005 | Interpreter | Formal Frustration... |
| 11/30/2005 | Categorial grammar | Do we talk types over the phone? |
| 11/29/2005 | Concurrency and state | Network Transparent languages |
| 11/04/2005 | I find friendly people suspicious. | A + b * c in Brian Meek's "The static semantics file" |
| 11/03/2005 | An answer | Elegant Method of binding a function variable |
| 10/28/2005 | Different advantages | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 10/27/2005 | Why lists? Five reasons. | Why Lists? |
| 10/20/2005 | Mitchell | Selfish reference begging |
| 09/27/2005 | Natural recursion? Recursion in nature! | What is Intuitive? |
| 09/28/2005 | My neighbors suck. | What is Intuitive? |
| 09/28/2005 | Gedankenexperiment | What is Intuitive? |
| 12/07/2005 | The Answer | What is Intuitive? |
| 09/27/2005 | Calculational category theory | Category theory |
| 09/01/2005 | PLT Online | A section on Books |
| 08/23/2005 | My carpets are known the world over. | Ivory Towers and Gelfand's Principle |
| 08/13/2005 | 'Information and Computation' Open Access | 'Information and Computation' Open Access |
| 08/13/2005 | More online journals | 'Information and Computation' Open Access |
| 08/11/2005 | PLT Online books | Concrete Abstractions on the web |
| 08/13/2005 | OK. | Concrete Abstractions on the web |
| 08/14/2005 | LtU links | Concrete Abstractions on the web |
| 08/02/2005 | A Case for Formal Specification | A Case for Formal Specification |
| 07/05/2005 | Graphical languages are better for small programs. | Martin Fowler on Language Workbenches and DSLs |
| 07/07/2005 | Graphics versus text | Martin Fowler on Language Workbenches and DSLs |
| 07/10/2005 | Heresy | Martin Fowler on Language Workbenches and DSLs |
| 07/06/2005 | Infosets | "typed" files OR xml OR meta information for delim. files. |
| 06/30/2005 | My method | Organizing papers... |
| 07/07/2005 | JabRef | Organizing papers... |
| 05/22/2006 | RTFA | JavaScript 2.0: Evolving a Language for Evolving Systems |
| 06/12/2005 | Theorem proving with FP | A question I have been meaning to ask. |
| 05/19/2005 | SNAFU | Funny characters inference |
| 06/04/2006 | Some words of advice on language design | Let's make a programming language! |
| 06/05/2006 | Re: Arrow | Let's make a programming language! |
| 06/05/2006 | If syntax is unimportant | Let's make a programming language! |
| 05/03/2005 | Gag! | Call for Papers: ACM Symposium on Dynamic Languages |
| 04/12/2005 | Citation? | Dominus talks about HO Perl |
| 04/07/2005 | Myths and ideology in programming | expressivity of "idiomatic C++" |
| 03/22/2005 | And "reflective" | Script Vs Java |
| 03/19/2005 | Slashdot mentality | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/21/2005 | Specialization | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/22/2005 | Trainspotting | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/21/2005 | Commercialization | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/10/2005 | Notational abuse | Exploiting parser ambiguity |
| 03/11/2005 | foo | Exploiting parser ambiguity |
| 03/14/2005 | Gibblets | Exploiting parser ambiguity |
| 03/09/2005 | Feature interaction | μABC: A Minimal Aspect Calculus |
| 03/09/2005 | Researchers | Open problems in category theory and computing science |
| 02/10/2005 | Mumble, mumble, mumble | Stupid Question. |
| 02/03/2005 | "Damn your mighty word probe!" | A question for the theory guys |
| 02/01/2005 | Das Ende aller Dinge | Neologism |
| 12/14/2004 | Two cents | Lazy evaulation and combining user streams |
| 12/07/2004 | More light, less heat | Definition of Type |
| 12/08/2004 | On types and masturbation | Definition of Type |
| 12/02/2004 | Here among the rock and reel / Let us settle, steel to steel! | LL4 Program and Abstracts |
| 12/03/2004 | But the HAND...! | LL4 Program and Abstracts |
| 10/27/2004 | Utrecht | Grad School [Master's Programs] |
| 10/24/2004 | Thumbs up. | What's a definition of "type" that beginners can understand? |
| 10/16/2004 | Even his record doesn't match his record. | Language design: Escaping escapes |
| 10/19/2004 | Take my wife, please! | Language design: Escaping escapes |
| 10/07/2004 | It's hard work. | Research ethics |
| 10/07/2004 | Nanoo-nanoo. | Templates vs. Generics |
| 10/04/2004 | Ad majorem dei gloriam | Shoot-out: most annoying compiler error message |
| 10/04/2004 | Who's da man? | Shoot-out: most annoying compiler error message |
| 10/04/2004 | Ich bin kein Berliner. | Will Kodak kill Java? |
| 09/25/2004 | Just imagine the Hawaii Five-O theme. | Great Works in Programming Languages |
| 09/24/2004 | Amazon women, on the moon! | References for Beginners in PL Theory |
| 09/21/2004 | Left adjoints preserve colimits; right adjoints, limits. | A tutorial on graph transformation |
| 09/23/2004 | In vino veritas. | A tutorial on graph transformation |
| 09/21/2004 | You can't make an omelette without breaking some eggs. | Questions about Semantics. |
| 09/23/2004 | I am running out of titles... | Questions about Semantics. |
| 09/26/2004 | Algebraic Singularities, Finite Graphs & D-Brane Gauge Theories | Questions about Semantics. |
| 09/20/2004 | Dijkstra on analogies and anthropomorphism | Dijkstra on analogies and anthropomorphism |
| 09/20/2004 | This sowng is not a rebel sowng. | Dijkstra on analogies and anthropomorphism |
| 09/21/2004 | Take-chan-man desu! | Dijkstra on analogies and anthropomorphism |
| 09/23/2004 | Komanechi! | Dijkstra on analogies and anthropomorphism |
| 09/24/2004 | Masque of the Read Death | Dijkstra on analogies and anthropomorphism |
| 09/25/2004 | Thank you for your manuscript; I'll waste no time reading it. | Dijkstra on analogies and anthropomorphism |
| 09/21/2004 | A foolish consistency is the hobgoblin of small minds. | Dijkstra on analogies and anthropomorphism |
| 09/17/2004 | I stubbed my little toe. | "... because common people think like so-and-so..." |
| 09/18/2004 | Might I suggest the salad, sir? | "... because common people think like so-and-so..." |
| 09/19/2004 | Shuh-wing! | "... because common people think like so-and-so..." |
| 09/19/2004 | I am Lothar of the Hill People! | "... because common people think like so-and-so..." |
| 09/17/2004 | What's the color of a two-cent piece? Copper, copper... | Looking for Classic Types Thread |
| 09/23/2004 | Academia: City of Saints and Madmen | Looking for Classic Types Thread |
| 09/16/2004 | Jeremiah was a bullfrog. | newLisp: A better Lisp/Scheme Fusion... |
| 09/12/2004 | All cynics are disillusioned romantics. | More from Udell on typing |
| 09/15/2004 | SERVICE UNAVAILABLE | More from Udell on typing |
| 09/12/2004 | Two more | A Functional Quantum Programming Language |
| 09/01/2004 | Verbing weirds language. | In Search of the Ideal Programming Language |
| 09/19/2004 | I am not a crook! | In Search of the Ideal Programming Language |
| 09/01/2004 | A Fantasy, A Musical, A Place Where Dreams Come True. | Ted Nelson's ZigZag |
| 09/01/2004 | The purpose of a ninja is to flip out and kill people. | Higher order versus Object order |
| 09/03/2004 | They were making a mockery of my horror! | PLaneT |
| 09/08/2004 | Es geht kein Weg zurück | PLaneT |
| 09/09/2004 | Geben Sie mir wieder meine Schwarzen Puppen! | PLaneT |
| 08/31/2004 | Apple Flunks First Grade Math | Apple Flunks First Grade Math |
| 09/19/2004 | I am receiving mental commands from Altair IV. | Multidimensional arrays |
| 08/30/2004 | Difference Between a Testis and an Ovary | Why type systems are interesting - part III: latent types |
| 08/30/2004 | A wallaby is any macropod smaller than a kangaroo. | "Types and Reflection" by Lauri Emil Alanko |
| 08/24/2004 | Me too. | Problem with posting |
| 08/21/2004 | I'm a little teapot | New result re "linguistic determinism" |
| 08/22/2004 | False analogy? | New result re "linguistic determinism" |
| 08/24/2004 | What has it got in its pocketses? | New result re "linguistic determinism" |
| 08/22/2004 | Idempotent monads | New result re "linguistic determinism" |
| 09/12/2004 | Du veränderst nicht den Teufel... | Introduction to computability logic |
| 08/22/2004 | More links | Grad School advice |
| 08/21/2004 | Ugh | Erlang the Movie |
| 08/21/2004 | Why? | Erlang the Movie |
| 08/22/2004 | Ah. | Erlang the Movie |
| 08/17/2004 | Lengthy URL | The right default: concurrent components with message passing |
| 08/14/2004 | New Recent posts | New Recent posts |
| 08/14/2004 | Oops. | New Recent posts |
| 08/18/2004 | Perl/Python vs. Haskell for biology | New Paul Graham thing... |
| 08/18/2004 | Bah, humbug! | New Paul Graham thing... |
| 08/19/2004 | Roly-poly fish eyes | New Paul Graham thing... |
| 08/22/2004 | Turtles all the way down | New Paul Graham thing... |
| 08/24/2004 | Esther | New Paul Graham thing... |
| 08/24/2004 | Hugs | New Paul Graham thing... |
| 08/26/2004 | I say we shall have no mo' "latent types"... | Why type systems are interesting - part II |
| 08/11/2004 | Integer \cong Even | Why type systems are interesting - part II |
| 08/11/2004 | FWIW | Why type systems are interesting - part II |
| 08/13/2004 | Many translations | Why type systems are interesting - part II |
| 08/14/2004 | How to know what you know | Why type systems are interesting - part II |
| 08/13/2004 | Not universal | Why type systems are interesting - part II |
| 08/17/2004 | Prolog | Why type systems are interesting - part II |
| 08/09/2004 | Morrow & First-class Labels | Morrow & First-class Labels |
| 08/13/2004 | No comments? | Morrow & First-class Labels |
| 08/08/2004 | First-class labels for extensible rows (draft) | First-class labels for extensible rows (draft) |
| 08/08/2004 | Folding Recent Posts | Folding Recent Posts |
| 08/08/2004 | CleverCS | More content |
| 08/09/2004 | OK. | More content |
| 08/07/2004 | Breve: a 3D simulation environment | Breve: a 3D simulation environment |
| 08/07/2004 | Whimsy | Breve: a 3D simulation environment |
| 08/07/2004 | Fixed. | Breve: a 3D simulation environment |
| 08/06/2004 | The Cult of Conor | Eliminating Array Bound Checking through Non-dependent types |
| 08/06/2004 | No, I'm serious! | Eliminating Array Bound Checking through Non-dependent types |
| 08/06/2004 | Another solution | No asterisks, please |
| 08/08/2004 | OCaml wiki | No asterisks, please |
| 08/06/2004 | Bookmarking vs. saving | Partial Continuations |
| 08/01/2004 | Re: Slide 15 | Category Theory for Dummies - slides available |
| 07/30/2004 | GAP | Mind the Gap |
| 08/01/2004 | Low-level requirements | Udell at OSCON: IronPython news |
| 07/24/2004 | Re: Tayssir's Release post | Type systems and software evolution |
| 07/24/2004 | Ill-defined? | Having trouble with 'purity' |
| 07/24/2004 | XMLized syntax | Introducing o:XML |
| 07/21/2004 | J'accuse! | The C++ Source Journal |
| 07/22/2004 | Counter-question | The C++ Source Journal |
| 07/23/2004 | The C++ Source Journal | The C++ Source Journal |
| 07/21/2004 | Has appeared, actually. | Streaming Representation-Changers |
| 07/20/2004 | Cornell | Info needed |
| 07/20/2004 | SICP | Info needed |
| 07/18/2004 | Embedding Prolog in Haskell | Embedding Prolog in Haskell |
| 07/17/2004 | No, man. | Fantazies on "final" |
| 07/17/2004 | Category | Fantazies on "final" |
| 07/18/2004 | Huh? | Fantazies on "final" |
| 07/20/2004 | FWIW | Cω Preview Available |
| 07/16/2004 | No contraints | Why type systems are interesting |
| 07/16/2004 | Type examples | Why type systems are interesting |
| 07/18/2004 | Re: Speaking of tools... | Why type systems are interesting |
| 08/09/2004 | Right. | Why type systems are interesting |
| 07/20/2004 | Rebuttal | Why type systems are interesting |
| 07/20/2004 | I still don't get it. | Why type systems are interesting |
| 07/31/2004 | Untyped < Typed | Why type systems are interesting |
| 08/01/2004 | This week on Oprah: convenient programming languages | Why type systems are interesting |
| 08/02/2004 | Once more around the track | Why type systems are interesting |
| 08/02/2004 | DT = untyped | Why type systems are interesting |
| 08/05/2004 | Why type systems are interesting | Why type systems are interesting |
| 07/21/2004 | Software development as a static activity | Why type systems are interesting |
| 07/23/2004 | A "product" is the limit of a converging development process. :) | Why type systems are interesting |
| 07/16/2004 | Motes and beams | Why type systems are interesting |
| 07/16/2004 | Encapsulation by convention | Why type systems are interesting |
| 07/17/2004 | It's your funeral. | Why type systems are interesting |
| 08/05/2004 | Replies, citations, etc. | Why type systems are interesting |
| 08/05/2004 | Inconsistency | Why type systems are interesting |
| 08/08/2004 | Broken example? | Why type systems are interesting |
| 08/08/2004 | Ours is not to reason why | Why type systems are interesting |
| 08/08/2004 | Not a question of lifting idioms | Why type systems are interesting |
| 08/09/2004 | Nevermind. | Why type systems are interesting |
| 08/09/2004 | "relax" vs. "constrain" | Why type systems are interesting |
| 08/11/2004 | Back to square one | Why type systems are interesting |
| 08/09/2004 | Essentially enough. | Why type systems are interesting |
| 07/17/2004 | Formatting | Functional programming in Java |
| 07/18/2004 | I think the stuff on generati | Old computer science and technical books worth searching for |
| 07/18/2004 | (b) | Old computer science and technical books worth searching for |
| 07/23/2004 | Long division | Old computer science and technical books worth searching for |
| 07/23/2004 | Non-correspondence | Old computer science and technical books worth searching for |
| 07/23/2004 | Old and new computer science | Old computer science and technical books worth searching for |
| 09/24/2004 | fustigate (v.) 1. to beat with a stick; 2. to criticize severely | Explaining monads |
| 09/26/2004 | "The source of all type errors are type systems." | Explaining monads |
| 09/28/2004 | Cogito ergo sum. | Explaining monads |
| 09/28/2004 | Remember way back when? | Explaining monads |
| 09/28/2004 | Better example | Explaining monads |
| 07/10/2004 | Very funny. | Sun R&D efforts |
| 07/09/2004 | User profiles | User profiles |
| 07/10/2004 | I'm a goth, not a vigilante. | User profiles |
| 07/09/2004 | Products? | Slashdot: "Favourite Programming Language Features?" |
| 07/04/2004 | Favorites | An interactive historical roster of computer languages |
| 07/07/2004 | Not a syntax issue | International Components for Unicode 3.0 Released |
| 07/07/2004 | The problem | International Components for Unicode 3.0 Released |
| 07/02/2004 | How does it work? | Types in CMUCL |
| 06/29/2004 | Syntax vs. semantics | The DSL, MDA, UML thing again... |
| 06/29/2004 | Derivative drivel | Pragmatic Programmers Interview |
| 06/30/2004 | Sorry | Pragmatic Programmers Interview |
| 07/01/2004 | Type Tool for Erlang | Pragmatic Programmers Interview |
| 06/27/2004 | Moot | Elementary Category Theory |
| 06/26/2004 | Shocking! | Fabian Pascal on XQuery |
| 06/26/2004 | Relations and graphs | Fabian Pascal on XQuery |
| 07/04/2004 | Zip archive | Whiteboard with Anders Hejlsberg |
| 06/26/2004 | Incomplete, not `wrong' | Is "type" a fundamental intrinsic property of values? |
| 06/27/2004 | From a purely pragmatic persp | Is "type" a fundamental intrinsic property of values? |
| 06/27/2004 | Units vs. quantities | Is "type" a fundamental intrinsic property of values? |
| 06/30/2004 | Dimensions and units | Is "type" a fundamental intrinsic property of values? |
| 06/30/2004 | It's a runtime error | Debugging Functional Programs |
| 06/30/2004 | Non-exhaustive patterns | Debugging Functional Programs |
| 06/26/2004 | Generic Persistence for CLP | Binary relations |
| 06/22/2004 | Animal book | Languages Poster |
| 06/22/2004 | What is `abstraction'? | Abstractionless programming |
| 06/28/2004 | P = NP, up to sharing | Abstractionless programming |
| 06/29/2004 | Same paper? | Abstractionless programming |
| 06/21/2004 | "Dynamic implementation", not "dynamic language" | Interactive Programming |
| 06/22/2004 | Implementation choices | Interactive Programming |
| 06/30/2004 | Block elements and formatting | The site discussions forum |
| 07/21/2004 | Ambiguity | The site discussions forum |
| 07/22/2004 | I've seen that. | The site discussions forum |
| 06/27/2004 | Complaint | Welcome to the New, Improved LtU! |
| 06/27/2004 | Update Google directory | Welcome to the New, Improved LtU! |
| 06/08/2004 | ToonTalk | ToonTalk |
| 06/03/2004 | Re: The view from the left | The view from the left |
| 06/14/2004 | Re: The view from the left | The view from the left |
| 06/03/2004 | Re: Nullable Types | Nullable Types |
| 05/25/2004 | Re: Turing completeness is not? | Turing completeness is not? |
| 05/26/2004 | Re: Turing completeness is not? | Turing completeness is not? |
| 05/20/2004 | SPARK and high integrity software | SPARK and high integrity software |
| 05/20/2004 | Re: SPARK and high integrity software | SPARK and high integrity software |
| 05/14/2004 | Composing Monads using Coproducts | Composing Monads using Coproducts |
| 05/14/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 05/16/2004 | Why Introspection Breaks Encapsulation | The Case for First Class Messages |
| 05/16/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 05/17/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 05/17/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 05/19/2004 | A Double Standard | The Case for First Class Messages |
| 05/19/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/21/2004 | Questions for Peter | The Case for First Class Messages |
| 05/24/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 05/25/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 05/25/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 06/03/2004 | Last Exit For The Lost | The Case for First Class Messages |
| 06/10/2004 | Curry vs. Church | The Case for First Class Messages |
| 06/10/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 06/10/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 06/10/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 06/15/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 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: Object-Oriented Programming Enhancements in Ada200Y | Object-Oriented Programming Enhancements in Ada200Y |
| 05/06/2004 | Re: Pike 7.6 Released | Pike 7.6 Released |
| 05/05/2004 | Re: Programming as if Performance Mattered | Programming as if Performance Mattered |
| 05/05/2004 | Re: Tim Bray: Jython | Tim Bray: Jython |
| 05/12/2004 | Re: Tim Bray: Jython | Tim Bray: Jython |
| 04/30/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
| 04/26/2004 | Re: Growing a Language | Growing a Language |
| 04/27/2004 | Re: Growing a Language | Growing a Language |
| 04/20/2004 | Re: Tunneling Variables | Tunneling Variables |
| 04/12/2004 | Re: Circular references | Circular references |
| 04/20/2004 | Re: Circular references | Circular references |
| 04/11/2004 | Re: The Sound of Mathematics | The Sound of Mathematics |
| 04/11/2004 | Re: Dating Design Patterns | Dating Design Patterns |
| 04/11/2004 | Re: Dating Design Patterns | Dating Design Patterns |
| 04/12/2004 | Re: Dating Design Patterns | Dating Design Patterns |
| 04/13/2004 | Re: Dating Design Patterns | Dating Design Patterns |
| 04/14/2004 | Re: Dating Design Patterns | Dating Design Patterns |
| 04/09/2004 | Re: Impedance mismatch: RDBMS and PLs | Impedance mismatch: RDBMS and PLs |
| 04/07/2004 | Re: Simple scripting language | Simple scripting language |
| 03/29/2004 | Re: The Logic Programming Paradigm and Prolog | The Logic Programming Paradigm and Prolog |
| 03/30/2004 | Re: Dying Tongues | Dying Tongues |
| 03/30/2004 | Re: Dying Tongues | Dying Tongues |
| 03/31/2004 | Re: Dying Tongues | Dying Tongues |
| 04/01/2004 | Re: Dying Tongues | Dying Tongues |
| 04/01/2004 | Re: Dying Tongues | Dying Tongues |
| 04/02/2004 | Re: Dying Tongues | Dying Tongues |
| 03/17/2004 | Re: Min-Maxing languages | Min-Maxing languages |
| 03/17/2004 | Re: Introduction to (Formal) Type Systems | Introduction to (Formal) Type Systems |
| 03/03/2004 | Re: Book Review: Purely Functional Data Structures | Book Review: Purely Functional Data Structures |
| 03/02/2004 | Re: Eidola Language | Eidola Language |
| 03/02/2004 | Re: Berkeley Visionaries Prognosticate About the Future | Berkeley Visionaries Prognosticate About the Future |
| 02/29/2004 | Re: Every Language War Ever | Every Language War Ever |
| 03/02/2004 | Re: Every Language War Ever | Every Language War Ever |
| 03/03/2004 | Re: Every Language War Ever | Every Language War Ever |
| 03/03/2004 | Re: Every Language War Ever | Every Language War Ever |
| 03/08/2004 | Re: Every Language War Ever | Every Language War Ever |
| 02/29/2004 | Re: A Prolog Introduction for Hackers | A Prolog Introduction for Hackers |
| 03/02/2004 | Re: Waldo on | Waldo on "Types" |
| 02/27/2004 | Re: Monads in Scheme | Monads in Scheme |
| 02/29/2004 | Re: Monads in Scheme | Monads in Scheme |
| 02/19/2004 | Re: Environment Classifiers | Environment Classifiers |
| 02/19/2004 | Re: Why's (Poignant) Guide to Ruby | Why's (Poignant) Guide to Ruby |
| 02/19/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/23/2004 | Re: The Next Move in Programming (Livschitz interview) | The Next Move in Programming (Livschitz interview) |
| 02/12/2004 | Re: Udell: Programs that write programs | Udell: Programs that write programs |
| 02/13/2004 | Re: Software Fault Prevention by Language Choice | Software Fault Prevention by Language Choice |
| 02/10/2004 | Re: LtU FAQ Update | LtU FAQ Update |
| 02/10/2004 | OO = untyped = good and other cynical remarks | CLR Design Choices |
| 02/04/2004 | Re: Data as code | Data as code |
| 02/04/2004 | Re: New Scientist interview with Alexandra Aikhenvald | New Scientist interview with Alexandra Aikhenvald |
| 02/04/2004 | Re: New Scientist interview with Alexandra Aikhenvald | New Scientist interview with Alexandra Aikhenvald |
| 02/06/2004 | Re: New Scientist interview with Alexandra Aikhenvald | New Scientist interview with Alexandra Aikhenvald |
| 01/27/2004 | Re: Reading Styles ( Idiomatic Lisp and Idiomatic Scheme ) | Reading Styles ( Idiomatic Lisp and Idiomatic Scheme ) |
| 01/28/2004 | Re: Reading Styles ( Idiomatic Lisp and Idiomatic Scheme ) | Reading Styles ( Idiomatic Lisp and Idiomatic Scheme ) |
| 01/28/2004 | Re: Reading Styles ( Idiomatic Lisp and Idiomatic Scheme ) | Reading Styles ( Idiomatic Lisp and Idiomatic Scheme ) |
| 01/19/2004 | Re: Concept programming | Concept programming |
| 01/19/2004 | Re: Concept programming | Concept programming |
| 01/19/2004 | Re: Concept programming | Concept programming |
| 01/19/2004 | Re: Concept programming | Concept programming |
| 01/22/2004 | Re: Concept programming | Concept programming |
| 01/23/2004 | Re: Concept programming | Concept programming |
| 01/19/2004 | Re: The Lambda ethos | The Lambda ethos |
| 01/22/2004 | Re: The Lambda ethos | The Lambda ethos |
| 01/27/2004 | Re: The Lambda ethos | The Lambda ethos |
| 01/27/2004 | Re: The Lambda ethos | The Lambda ethos |
| 01/27/2004 | Re: The Lambda ethos | The Lambda ethos |
| 12/19/2003 | Re: Twisted Matrix Networking for Python | Twisted Matrix Networking for Python |
| 12/19/2003 | Re: Reading, Writing, and Code | Reading, Writing, and Code |
| 12/15/2003 | Re: XML for End Users | XML for End Users |
| 12/18/2003 | Re: The Java™ specs in a formal way | The Java™ specs in a formal way |
| 12/12/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
| 12/05/2003 | Re: Python Scripting Everywhere | Python Scripting Everywhere |
| 12/04/2003 | Re: Transparent Language Implementation and Design | Transparent Language Implementation and Design |
| 12/01/2003 | Re: Dynamic Properties | Dynamic Properties |
| 12/04/2003 | Re: Dynamic Properties | Dynamic Properties |
| 12/05/2003 | Re: Dynamic Properties | Dynamic Properties |
| 12/08/2003 | Re: Dynamic Properties | Dynamic Properties |
| 12/01/2003 | Re: Why Functional Programming Matters | Why Functional Programming Matters |
| 11/24/2003 | Re: Antipathy to Type Systems | Antipathy to Type Systems |
| 11/25/2003 | Re: Antipathy to Type Systems | Antipathy to Type Systems |
| 11/27/2003 | Re: Antipathy to Type Systems | Antipathy to Type Systems |
| 12/01/2003 | Re: Antipathy to Type Systems | Antipathy to Type Systems |
| 11/17/2003 | Re: Notes on Programming in C | Notes on Programming in C |
| 11/24/2003 | Re: Notes on Programming in C | Notes on Programming in C |
| 11/04/2003 | Re: Algebraic Specification: some old history, and new thoughts | Algebraic Specification: some old history, and new thoughts |
| 10/29/2003 | Re: Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 11/01/2003 | Re: Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 11/02/2003 | Re: Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 11/03/2003 | Re: Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 10/28/2003 | Re: X2EE Revamps J2EE | X2EE Revamps J2EE |
| 10/22/2003 | Re: State and modularity | State and modularity |
| 10/23/2003 | Re: Expressiveness versus execution speed | Expressiveness versus execution speed |
| 10/21/2003 | Re: Teaching programming | Teaching programming |
| 10/21/2003 | Re: Teaching programming | Teaching programming |
| 10/22/2003 | Re: Teaching programming | Teaching programming |
| 10/22/2003 | Re: Teaching programming | Teaching programming |
| 10/22/2003 | Re: Teaching programming | Teaching programming |
| 10/22/2003 | Re: Teaching programming | Teaching programming |
| 10/23/2003 | Re: Teaching programming | Teaching programming |
| 10/20/2003 | Re: Dynamically scoped functions vs. AOP | Dynamically scoped functions vs. AOP |
| 10/20/2003 | Re: B. Stroustrup: Serving the C++ Community | B. Stroustrup: Serving the C++ Community |
| 10/20/2003 | Re: B. Stroustrup: Serving the C++ Community | B. Stroustrup: Serving the C++ Community |
| 10/21/2003 | Re: B. Stroustrup: Serving the C++ Community | B. Stroustrup: Serving the C++ Community |
| 10/22/2003 | Re: B. Stroustrup: Serving the C++ Community | B. Stroustrup: Serving the C++ Community |
| 10/16/2003 | Re: Stroustrup's C++ Style Sweet Spot | Stroustrup's C++ Style Sweet Spot |
| 10/14/2003 | Re: A Revolution in Logic? | A Revolution in Logic? |
| 10/16/2003 | Re: A gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination | A gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination |
| 10/14/2003 | Re: Alice | Alice |
| 10/10/2003 | Re: Spreadsheet Languages | Spreadsheet Languages |
| 10/12/2003 | Re: Spreadsheet Languages | Spreadsheet Languages |
| 10/09/2003 | Re: Proofs and Types | Proofs and Types |
| 10/05/2003 | "Proofs and Types" available online | "Proofs and Types" available online |
| 10/05/2003 | Re: Tuples + Objects + Infosets =Too Much Stuff! | Tuples + Objects + Infosets =Too Much Stuff! |
| 10/05/2003 | Re: Tuples + Objects + Infosets =Too Much Stuff! | Tuples + Objects + Infosets =Too Much Stuff! |
| 10/06/2003 | Re: Tuples + Objects + Infosets =Too Much Stuff! | Tuples + Objects + Infosets =Too Much Stuff! |
| 10/05/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/06/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/07/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/07/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/07/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/08/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/08/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/10/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 10/05/2003 | Re: Glossary page on Lambda? | Glossary page on Lambda? |
| 09/29/2003 | Re: Iota and Jot: the simplest languages? | Iota and Jot: the simplest languages? |
| 09/25/2003 | Re: Philip Greenspun: Lisp diehards = Holocaust deniers | Philip Greenspun: Lisp diehards = Holocaust deniers |
| 09/30/2003 | Re: Philip Greenspun: Lisp diehards = Holocaust deniers | Philip Greenspun: Lisp diehards = Holocaust deniers |
| 10/05/2003 | Re: Philip Greenspun: Lisp diehards = Holocaust deniers | Philip Greenspun: Lisp diehards = Holocaust deniers |
| 09/23/2003 | Re: Moving Away From XSLT | Moving Away From XSLT |
| 09/20/2003 | Re: JScript is a Functional Language | JScript is a Functional Language |
| 09/21/2003 | Re: JScript is a Functional Language | JScript is a Functional Language |
| 09/22/2003 | Re: JScript is a Functional Language | JScript is a Functional Language |
| 09/23/2003 | Re: JScript is a Functional Language | JScript is a Functional Language |
| 09/23/2003 | Re: JScript is a Functional Language | JScript is a Functional Language |
| 09/24/2003 | Re: JScript is a Functional Language | JScript is a Functional Language |
| 09/24/2003 | Re: JScript is a Functional Language | JScript is a Functional Language |
| 09/19/2003 | Re: Continuations Reading Group | Continuations Reading Group |
| 09/15/2003 | Best PL tutorial/intro? | Best PL tutorial/intro? |
| 09/14/2003 | Re: Wither Self | Whither Self |
| 09/16/2003 | Re: Whither Self | Whither Self |
| 09/17/2003 | Re: Whither Self | Whither Self |
| 09/18/2003 | Re: Whither Self | Whither Self |
| 09/20/2003 | Re: Whither Self | Whither Self |
| 09/21/2003 | Re: Whither Self | Whither Self |
| 09/11/2003 | Re: Metaclass programming in Python, Part 2 | Metaclass programming in Python, Part 2 |
| 09/11/2003 | Re: Inside every API is a programming language struggling to get out | Inside every API is a programming language struggling to get out |
| 09/09/2003 | Re: Trivia: Programming Language Naming Patterns | Trivia: Programming Language Naming Patterns |
| 09/09/2003 | Re: Trivia: Programming Language Naming Patterns | Trivia: Programming Language Naming Patterns |
| 09/09/2003 | Topologist's joke | Trivia: Programming Language Naming Patterns |
| 09/09/2003 | Re: Trivia: Programming Language Naming Patterns | Trivia: Programming Language Naming Patterns |
| 09/07/2003 | Re: Implementing Business Rules in the BC4J Framework | Implementing Business Rules in the BC4J Framework |
| 09/08/2003 | Re: Implementing Business Rules in the BC4J Framework | Implementing Business Rules in the BC4J Framework |
| 09/05/2003 | Re: No | No "theory of types" in legal systems |
| 09/04/2003 | Re: Why don't more people use Prolog? | Why don't more people use Prolog? |
| 09/04/2003 | Re: Why don't more people use Prolog? | Why don't more people use Prolog? |
| 08/29/2003 | Re: The Little Haskellist (once again) | The Little Haskellist (once again) |
| 09/01/2003 | Re: The Little Haskellist (once again) | The Little Haskellist (once again) |
| 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/29/2003 | Re: Translating human language to database query language | Translating human language to database query language |
| 08/21/2003 | Re: The Trouble with Checked Exceptions | The Trouble with Checked Exceptions |
| 08/22/2003 | Re: The Trouble with Checked Exceptions | The Trouble with Checked Exceptions |
| 08/11/2003 | Re: The Design of Parallel Programming Languages | The Design of Parallel Programming Languages |
| 08/08/2003 | Re: Seven Paradoxes of Object-Oriented Programming Languages | Seven Paradoxes of Object-Oriented Programming Languages |
| 08/07/2003 | Re: How to make a FPL successful | How to make a FPL successful |
| 08/08/2003 | Re: How to make a FPL successful | How to make a FPL successful |
| 08/10/2003 | Re: How to make a FPL successful | How to make a FPL successful |
| 08/11/2003 | Re: How to make a FPL successful | How to make a FPL successful |
| 08/06/2003 | Re: Udell: Test before you leap into development | Udell: Test before you leap into development |
| 08/07/2003 | Re: Udell: Test before you leap into development | Udell: Test before you leap into development |
| 08/10/2003 | Re: Udell: Test before you leap into development | Udell: Test before you leap into development |
| 08/01/2003 | Re: Theorems for free! | Theorems for free! |
| 08/02/2003 | Re: Theorems for free! | Theorems for free! |
| 08/04/2003 | Re: Theorems for free! | Theorems for free! |
| 08/04/2003 | Re: The Pragmatic Language | The Pragmatic Language |
| 08/04/2003 | Re: The Pragmatic Language | The Pragmatic Language |
| 08/03/2003 | Re: Exegesis 6 | Exegesis 6 |
| 07/29/2003 | Re: The Little MLer | The Little MLer |
| 07/30/2003 | Re: The Little MLer | The Little MLer |
| 08/01/2003 | Re: The Little MLer | The Little MLer |
| 07/20/2003 | Re: Windows security flaw - buffer-overflow | Windows security flaw - buffer-overflow |
| 07/20/2003 | Re: Windows security flaw - buffer-overflow | Windows security flaw - buffer-overflow |
| 07/18/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/18/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/20/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/20/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/20/2003 | Re: The Power and Philosophy of Ruby | The Power and Philosophy of Ruby |
| 07/18/2003 | Re: Godiva - a Very High Level Dialect of Java | Godiva - a Very High Level Dialect of Java |
| 07/16/2003 | Re: Invocations as objects | Invocations as objects |
| 07/16/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/17/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/18/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/19/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/19/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/20/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/20/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/20/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/20/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/20/2003 | Re: Are Higher-Order Type Systems Too Hard? | Are Higher-Order Type Systems Too Hard? |
| 07/16/2003 | Re: Programming Linguistics | Programming Linguistics |
| 07/16/2003 | Re: Programming Linguistics | Programming Linguistics |
| 07/17/2003 | Re: Programming Linguistics | Programming Linguistics |
| 07/16/2003 | Re: Category Theory for Beginners (slides) | Category Theory for Beginners* (slides) |
| 07/16/2003 | Re: Category Theory for Beginners (slides) | Category Theory for Beginners* (slides) |
| 07/15/2003 | Re: Neal Stephenson's USENIX keynote | Neal Stephenson's USENIX keynote |
| 07/15/2003 | Re: Neal Stephenson's USENIX keynote | Neal Stephenson's USENIX keynote |
| 07/13/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/14/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/15/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/16/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/08/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/09/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/11/2003 | Re: Linguistic Universals and Particulars | Linguistic Universals and Particulars |
| 07/02/2003 | Re: OO Weed Languages | OO Weed Languages |
| 06/23/2003 | Re: Charming Python: Using combinatorial functions in the itertools module | Charming Python: Using combinatorial functions in the itertools module |
| 06/24/2003 | Re: Charming Python: Using combinatorial functions in the itertools module | Charming Python: Using combinatorial functions in the itertools module |
| 06/25/2003 | Re: Charming Python: Using combinatorial functions in the itertools module | Charming Python: Using combinatorial functions in the itertools module |
| 06/19/2003 | Re: Point Free Style | Point Free Style |
| 07/02/2003 | Re: ICFP 2003 | ICFP 2003 |
| 06/24/2003 | Re: Concepts, Techniques and Models of Computer Programming | Concepts, Techniques and Models of Computer Programming |
| 06/25/2003 | Re: Concepts, Techniques and Models of Computer Programming | Concepts, Techniques and Models of Computer Programming |
| 06/26/2003 | Re: Concepts, Techniques and Models of Computer Programming | Concepts, Techniques and Models of Computer Programming |
| 07/02/2003 | Re: Concepts, Techniques and Models of Computer Programming | Concepts, Techniques and Models of Computer Programming |
| 06/17/2003 | Re: Modern Static Typing: Less Code, Better Code | Modern Static Typing: Less Code, Better Code |
| 06/19/2003 | Re: Modern Static Typing: Less Code, Better Code | Modern Static Typing: Less Code, Better Code |
| 06/15/2003 | Re: With | With |
| 06/15/2003 | Re: C.A.R. Hoare 1980 ACM Turing Award Lecture | C.A.R. Hoare 1980 ACM Turing Award Lecture |
| 06/12/2003 | Re: TPK Algorithm in Different Programming Languages | TPK Algorithm in Different Programming Languages |
| 06/13/2003 | Re: TPK Algorithm in Different Programming Languages | TPK Algorithm in Different Programming Languages |
| 06/15/2003 | Re: TPK Algorithm in Different Programming Languages | TPK Algorithm in Different Programming Languages |
| 06/15/2003 | Re: TPK Algorithm in Different Programming Languages | TPK Algorithm in Different Programming Languages |
| 06/15/2003 | Re: TPK Algorithm in Different Programming Languages | TPK Algorithm in Different Programming Languages |
| 05/31/2003 | Re: Evolving a programming language | Evolving a programming language |
| 05/31/2003 | Re: Evolving a programming language | Evolving a programming language |
| 06/01/2003 | Re: Evolving a programming language | Evolving a programming language |
| 06/01/2003 | Re: Evolving a programming language | Evolving a programming language |
| 05/23/2003 | Re: Article on F# | Article on F# |
| 05/26/2003 | Re: Article on F# | Article on F# |
| 05/23/2003 | Re: Identity crisis | Identity crisis |
| 05/23/2003 | Re: Identity crisis | Identity crisis |
| 05/15/2003 | Re: Language Once Was Key-Now It's Design | Language Once Was Key-Now It's Design |
| 05/15/2003 | Re: Language Once Was Key-Now It's Design | Language Once Was Key-Now It's Design |
| 05/15/2003 | Re: Language Once Was Key-Now It's Design | Language Once Was Key-Now It's Design |
| 05/16/2003 | Re: Language Once Was Key-Now It's Design | Language Once Was Key-Now It's Design |
| 05/15/2003 | Re: What I Hate About Your Programming Language | What I Hate About Your Programming Language |
| 05/16/2003 | Re: What I Hate About Your Programming Language | What I Hate About Your Programming Language |
| 05/15/2003 | Re: Mother Tongues of Computer Languages | Mother Tongues of Computer Languages |
| 05/14/2003 | Re: Language Myths Again | Language Myths Again |
| 05/14/2003 | Re: Language Myths Again | Language Myths Again |
| 05/15/2003 | Re: Language Myths Again | Language Myths Again |
| 05/14/2003 | Re: Don Box on C# generics vs. C++ generics | Don Box on C# generics vs. C++ generics |
| 05/14/2003 | Re: Don Box on C# generics vs. C++ generics | Don Box on C# generics vs. C++ generics |
| 05/14/2003 | Re: Don Box on C# generics vs. C++ generics | Don Box on C# generics vs. C++ generics |
| 05/12/2003 | Re: Joshua Bloch interview on new features in Java 1.5 | Joshua Bloch interview on new features in Java 1.5 |
| 05/08/2003 | Re: The New C++: Trip Report, October 2002 | The New C++: Trip Report, October 2002 |
| 05/09/2003 | Re: The New C++: Trip Report, October 2002 | The New C++: Trip Report, October 2002 |
| 05/09/2003 | Re: The New C++: Trip Report, October 2002 | The New C++: Trip Report, October 2002 |
| 05/06/2003 | Re: Yes, Bob, I too want to work in a dynamically typed lang | Yes, Bob, I too want to work in a dynamically typed language |
| 05/08/2003 | Re: Yes, Bob, I too want to work in a dynamically typed language | Yes, Bob, I too want to work in a dynamically typed language |
| 04/30/2003 | Re: Popular Math | Popular Math |
| 04/30/2003 | Re: Unifying Tables, Objects and Documents | Unifying Tables, Objects and Documents |
| 05/01/2003 | Re: Unifying Tables, Objects and Documents | Unifying Tables, Objects and Documents |
| 05/02/2003 | Re: Unifying Tables, Objects and Documents | Unifying Tables, Objects and Documents |
| 05/06/2003 | Re: Alan Kay's talk at O'Reilly Emerging Technology Conference 2003 | Alan Kay's talk at O'Reilly Emerging Technology Conference 2003 |
| 04/24/2003 | Re: Python Metaclass Programming | Python Metaclass Programming |
| 04/25/2003 | Re: Python Metaclass Programming | Python Metaclass Programming |
| 04/27/2003 | Re: Python Metaclass Programming | Python Metaclass Programming |
| 04/29/2003 | Re: Python Metaclass Programming | Python Metaclass Programming |
| 05/02/2003 | Re: Python Metaclass Programming | Python Metaclass Programming |
| 04/16/2003 | Re: Spam | Spam |
| 04/12/2003 | Re: Hundred Year Language | Hundred Year Language |
| 04/12/2003 | Re: Hundred Year Language | Hundred Year Language |
| 04/13/2003 | Re: Hundred Year Language | Hundred Year Language |
| 04/16/2003 | Re: Hundred Year Language | Hundred Year Language |
| 04/17/2003 | Re: Hundred Year Language | Hundred Year Language |
| 04/18/2003 | Re: Hundred Year Language | Hundred Year Language |
| 04/18/2003 | Re: Hundred Year Language | Hundred Year Language |
| 04/08/2003 | Re: Insecure Macho Love | Insecure Macho Love |
| 04/11/2003 | Re: Insecure Macho Love | Insecure Macho Love |
| 04/08/2003 | Re: Is the current crop of statically typed languages giving static typing a bad name? | Is the current crop of statically typed languages giving static typing a bad name? |
| 04/09/2003 | Re: Is the current crop of statically typed languages giving static typing a bad name? | Is the current crop of statically typed languages giving static typing a bad name? |
| 04/09/2003 | Re: Is the current crop of statically typed languages giving static typing a bad name? | Is the current crop of statically typed languages giving static typing a bad name? |
| 04/04/2003 | Re: J. McCarthy: Towards a Mathematical Science of Computation | J. McCarthy: Towards a Mathematical Science of Computation |
| 03/25/2003 | Re: Representing Monads | Representing Monads |
| 03/26/2003 | Re: Representing Monads | Representing Monads |
| 03/27/2003 | Re: Representing Monads | Representing Monads |
| 03/19/2003 | Re: XML Is Too Hard For Programmers | XML Is Too Hard For Programmers |
| 03/20/2003 | Re: XML Is Too Hard For Programmers | XML Is Too Hard For Programmers |
| 03/20/2003 | Re: XML Is Too Hard For Programmers | XML Is Too Hard For Programmers |
| 03/21/2003 | Re: XML Is Too Hard For Programmers | XML Is Too Hard For Programmers |
| 03/23/2003 | Re: XML Is Too Hard For Programmers | XML Is Too Hard For Programmers |
| 03/26/2003 | Re: XML Is Too Hard For Programmers | XML Is Too Hard For Programmers |
| 03/17/2003 | Re: Logic/Object Oriented Fusion | Logic/Object Oriented Fusion |
| 03/24/2003 | Re: Mixing paradigms (Python) | Mixing paradigms (Python) |
| 02/07/2003 | Re: Ed Felten: Programs vs. Data | Ed Felten: Programs vs. Data |
| 01/29/2003 | Re: Guido van Rossum: Programming at Python Speed | Guido van Rossum: Programming at Python Speed |
| 01/31/2003 | Re: Guido van Rossum: Programming at Python Speed | Guido van Rossum: Programming at Python Speed |
| 02/03/2003 | Re: Guido van Rossum: Programming at Python Speed | Guido van Rossum: Programming at Python Speed |
| 02/03/2003 | Re: Guido van Rossum: Programming at Python Speed | Guido van Rossum: Programming at Python Speed |
| 02/04/2003 | Re: Guido van Rossum: Programming at Python Speed | Guido van Rossum: Programming at Python Speed |
| 02/04/2003 | Re: Guido van Rossum: Programming at Python Speed | Guido van Rossum: Programming at Python Speed |
| 01/23/2003 | Re: Inhouse training | Inhouse training |
| 01/15/2003 | Re: Java and Pointers | Java and Pointers |
| 12/30/2002 | Re: Distel: Distributed Emacs Lisp (for Erlang) | Distel: Distributed Emacs Lisp (for Erlang) |
| 12/25/2002 | Re: Model Driven Architecture + Code Generation | Model Driven Architecture + Code Generation |
| 12/20/2002 | Re: Developing Reliable Software with Scripting Languages | Developing Reliable Software with Scripting Languages |
| 12/21/2002 | Re: Developing Reliable Software with Scripting Languages | Developing Reliable Software with Scripting Languages |
| 12/23/2002 | Re: Developing Reliable Software with Scripting Languages | Developing Reliable Software with Scripting Languages |
| 12/25/2002 | Re: Developing Reliable Software with Scripting Languages | Developing Reliable Software with Scripting Languages |
| 12/19/2002 | Re: Generalising Monads to Arrows | Generalising Monads to Arrows |
| 12/20/2002 | Re: Generalising Monads to Arrows | Generalising Monads to Arrows |
| 12/18/2002 | Typing Dynamic Typing | Typing Dynamic Typing |
| 12/09/2002 | Re: The Needle Programming Language | The Needle Programming Language |
| 12/09/2002 | Re: The Needle Programming Language | The Needle Programming Language |
| 12/05/2002 | Re: Just wondering (strings) | Just wondering (strings) |
| 11/29/2002 | Re: ll1-discuss on macros | ll1-discuss on macros |
| 11/20/2002 | Re: What's Wrong With RDF? | What's Wrong With RDF? |
| 11/22/2002 | Re: What's Wrong With RDF? | What's Wrong With RDF? |
| 11/24/2002 | Re: What's Wrong With RDF? | What's Wrong With RDF? |
| 11/24/2002 | Re: What's Wrong With RDF? | What's Wrong With RDF? |
| 11/24/2002 | Re: What's Wrong With RDF? | What's Wrong With RDF? |
| 11/15/2002 | Re: Needle, An OO FP Language | Needle, An OO FP Language |
| 11/17/2002 | Re: Needle, An OO FP Language | Needle, An OO FP Language |
| 11/14/2002 | Re: Whitepaper on new C# Features | Whitepaper on new C# Features |
| 11/06/2002 | Re: Where to learn programming-related math? | Where to learn programming-related math? |
| 10/28/2002 | Re: Type-Directed Natural Language Parsing | Type-Directed Natural Language Parsing |
| 10/29/2002 | Re: Type-Directed Natural Language Parsing | Type-Directed Natural Language Parsing |
| 10/18/2002 | Re: Type Safety anecdote | Type Safety anecdote |
| 10/18/2002 | Re: Type Safety anecdote | Type Safety anecdote |
| 10/16/2002 | Re: Robert Harper: Types and Programming Languages | Robert Harper: Types and Programming Languages |
| 10/16/2002 | Re: Robert Harper: Types and Programming Languages | Robert Harper: Types and Programming Languages |
| 10/16/2002 | Re: Robert Harper: Types and Programming Languages | Robert Harper: Types and Programming Languages |
| 10/17/2002 | Re: Robert Harper: Types and Programming Languages | Robert Harper: Types and Programming Languages |
| 10/16/2002 | Re: Currying | Currying |
| 10/16/2002 | Re: Currying | Currying |
| 10/16/2002 | Re: Currying | Currying |
| 10/16/2002 | Re: Currying | Currying |
| 10/17/2002 | Re: Currying | Currying |
| 10/17/2002 | Re: Most amazing designer? | Most amazing designer? |
| 10/17/2002 | Re: Theory of Concatenative Combinators | Theory of Concatenative Combinators |
| 10/07/2002 | VM-targetting FP implementations | Contributing (?) Editors |
| 10/04/2002 | Re: Additions to the research papers page | Additions to the research papers page |
| 10/03/2002 | Re: The Foundations of Two-Dimensional Semantics | The Foundations of Two-Dimensional Semantics |
| 09/25/2002 | Re: Programming languages textbook online | Programming languages textbook online |
| 09/24/2002 | Re: Exploring NLP in Oz/Mozart | Exploring NLP in Oz/Mozart |
| 06/12/2003 | Re: Michael Vanier: LFM's and LFSP's | Michael Vanier: LFM's and LFSP's |
| 09/03/2002 | Re: SchemeUnit and SchemeQL: Two Little Languages | SchemeUnit and SchemeQL: Two Little Languages |
| 09/08/2002 | Re: SchemeUnit and SchemeQL: Two Little Languages | SchemeUnit and SchemeQL: Two Little Languages |
| 09/08/2002 | Re: SchemeUnit and SchemeQL: Two Little Languages | SchemeUnit and SchemeQL: Two Little Languages |
| 09/01/2002 | Domino on Acid | Domino on Acid |
| 08/30/2002 | Distel: Distributed Emacs Lisp | Distel: Distributed Emacs Lisp |
| 08/27/2002 | Re: Backus Turing Award Lecture | Backus Turing Award Lecture |
| 08/22/2002 | Re: Whither Sather ? | Whither Sather ? |
| 08/23/2002 | Re: Whither Sather ? | Whither Sather ? |
| 08/26/2002 | Re: Whither Sather ? | Whither Sather ? |
| 09/02/2002 | Re: Whither Sather ? | Whither Sather ? |
| 08/20/2002 | Re: Disruptive Programming Language Technologies | Disruptive Programming Language Technologies |
| 08/16/2002 | Re: Semantics of Programming Languages: A Tool-Oriented Approach | Semantics of Programming Languages: A Tool-Oriented Approach |
| 08/20/2002 | Re: I Was a Smalltalk Gunslinger | I Was a Smalltalk Gunslinger |
| 08/11/2002 | Re: On Understanding Types, Data Abstraction, and Polymorphism | On Understanding Types, Data Abstraction, and Polymorphism |
| 08/12/2002 | Re: On Understanding Types, Data Abstraction, and Polymorphism | On Understanding Types, Data Abstraction, and Polymorphism |
| 08/12/2002 | Re: On Understanding Types, Data Abstraction, and Polymorphism | On Understanding Types, Data Abstraction, and Polymorphism |
| 08/11/2002 | Re: Dijkstra and the Ada language | Dijkstra and the Ada language |
| 08/11/2002 | Re: Template metaprogramming for Haskell | Template metaprogramming for Haskell |
| 08/11/2002 | Re: Template metaprogramming for Haskell | Template metaprogramming for Haskell |
| 08/05/2002 | Re: Richard Hamming: You and Your Research | Richard Hamming: You and Your Research |
| 08/07/2002 | Re: Richard Hamming: You and Your Research | Richard Hamming: You and Your Research |
| 08/07/2002 | Re: Richard Hamming: You and Your Research | Richard Hamming: You and Your Research |
| 08/08/2002 | Re: Richard Hamming: You and Your Research | Richard Hamming: You and Your Research |
| 07/19/2002 | Re: XLANG and WSFL: Syntactic Arsenic | XLANG and WSFL: Syntactic Arsenic |
| 07/13/2002 | Re: XSH - An XML Editing Shell | XSH - An XML Editing Shell |
| 06/21/2002 | Expressiveness of Ace | Project Ace |
| 06/23/2002 | Re: Project Ace | Project Ace |
| 06/13/2002 | Re: Two New Microsoft Languages - AsmL and Pan | Two New Microsoft Languages - AsmL and Pan |
| 06/03/2002 | Re: Another RSS idea | Another RSS idea |
| 05/01/2002 | Re: Downsides to the C++ STL? | Downsides to the C++ STL? |
| 04/26/2002 | Re: Language Myths | Language Myths |
| 03/25/2002 | Re: Strong Typing, Dynamic Languages, What to do? | Strong Typing, Dynamic Languages, What to do? |
| 03/06/2002 | Re: Linus Torvalds on Coding style | Linus Torvalds on Coding style |
| 03/06/2002 | Re: Linus Torvalds on Coding style | Linus Torvalds on Coding style |
| 03/07/2002 | Re: Linus Torvalds on Coding style | Linus Torvalds on Coding style |
| 03/06/2002 | Re: Java's new Considered Harmful | Java's new Considered Harmful |
| 03/01/2002 | Re: The developer's dilemma | The developer's dilemma |
| 02/15/2002 | Re: Misc | Misc |
| 02/15/2002 | Re: Misc | Misc |
| 02/16/2002 | Re: Misc | Misc |
| 02/13/2002 | Re: Slashdot looks for the perfect language | Slashdot looks for the perfect language |
| 02/09/2002 | LL1 on technetcast | LL1 on technetcast |
| 02/09/2002 | Backhouse on Mathematics and Programming | Backhouse on Mathematics and Programming |
| 02/07/2002 | Re: Reading list on XML and Web Programming | Reading list on XML and Web Programming |
| 02/07/2002 | Type checking is useful | Don Box on the Importance of Being WSDL |
| 02/09/2002 | Re: Type checking is useful | Don Box on the Importance of Being WSDL |
| 02/09/2002 | Re: Type checking is useful | Don Box on the Importance of Being WSDL |
| 02/11/2002 | Re: Type checking is useful | Don Box on the Importance of Being WSDL |
| 02/11/2002 | Re: Type checking is useful | Don Box on the Importance of Being WSDL |
| 02/12/2002 | Re: Type checking is useful | Don Box on the Importance of Being WSDL |
| 02/13/2002 | Re: Type checking is useful | Don Box on the Importance of Being WSDL |
| 02/13/2002 | Re: Type checking is useful | Don Box on the Importance of Being WSDL |
| 02/13/2002 | Re: Don Box on the Importance of Being WSDL | Don Box on the Importance of Being WSDL |
| 02/15/2002 | Re: Type checking is useful | Don Box on the Importance of Being WSDL |
| 02/05/2002 | Re: Functional programming in XSLT | Functional programming in XSLT |
| 02/05/2002 | Re: Functional programming in XSLT | Functional programming in XSLT |
| 02/07/2002 | Re: Functional programming in XSLT | Functional programming in XSLT |
| 02/07/2002 | Re: Functional programming in XSLT | Functional programming in XSLT |
| 02/07/2002 | DSSSL | Functional programming in XSLT |
| 02/05/2002 | Re: Summer schools: generic & functional programming | Summer schools: generic & functional programming |
| 05/19/2003 | Re: Revisiting an old thread: choosing a foundation language | Revisiting an old thread: choosing a foundation language |
| 01/25/2002 | Re: SLAM (at POPL) | SLAM (at POPL) |
| 01/26/2002 | Re: Mining specifications | SLAM (at POPL) |
| 01/24/2002 | Re: Book: Python How to Program | Book: Python How to Program |
| 01/25/2002 | Re: Web services: Winer on WSDL | Web services: Winer on WSDL |
| 01/15/2002 | Re: XSLT, Perl, Haskell, & a word on language design - A link from kur5hin | XSLT, Perl, Haskell, & a word on language design - A link from kur5hin |
| 01/15/2002 | Re: Functional programming in Perl | Functional programming in Perl |
| 01/10/2002 | Language of the Year: Haskell | Language of the Year: Haskell |
| 01/10/2002 | Re: Language of the Year: Haskell | Language of the Year: Haskell |
| 01/15/2002 | Re: Language of the Year: Haskell | Language of the Year: Haskell |
| 01/10/2002 | Re: Design Paradigms | Design Paradigms |
| 01/09/2002 | Re: SE/Algebra course | SE/Algebra course |
| 01/10/2002 | Re: SE/Algebra course | SE/Algebra course |
| 01/10/2002 | Re: SE/Algebra course | SE/Algebra course |
| 01/10/2002 | Re: SE/Algebra course | SE/Algebra course |
| 01/05/2002 | Re: Mondrian for .NET | Mondrian for .NET |
| 01/04/2002 | Re: The Roots of Lisp | The Roots of Lisp |
| 01/04/2002 | Re: Tomorrow and Tomorrow and Tomorrow | Tomorrow and Tomorrow and Tomorrow |
| 01/04/2002 | Re: Tomorrow and Tomorrow and Tomorrow | Tomorrow and Tomorrow and Tomorrow |
| 01/04/2002 | Re: Tomorrow and Tomorrow and Tomorrow | Tomorrow and Tomorrow and Tomorrow |
| 01/03/2002 | Re: E - secure,distributed, pure OOP and p2p scripting language | E - secure,distributed, pure OOP and p2p scripting language |
| 01/04/2002 | Re: E - secure,distributed, pure OOP and p2p scripting language | E - secure,distributed, pure OOP and p2p scripting language |
| 01/02/2002 | Re: New year resolutions | New year resolutions |
| 01/04/2002 | Re: Why Lisp? | Why Lisp? |
| 01/04/2002 | Re: Why Lisp? | Why Lisp? |
| 01/02/2002 | Re: Abramsky powerdomain | Abramsky powerdomain |
| 12/21/2001 | Re: The Charity Language | The Charity Language |
| 12/21/2001 | Re: The Charity Language | The Charity Language |
| 08/17/2003 | Re: The Charity Language | The Charity Language |
| 08/18/2003 | Re: The Charity Language | The Charity Language |
| 12/21/2001 | Re: Anton's last msg. on History of T | Practical Theory (was: T) |
| 01/02/2002 | Re: Practical Theory (was: T) | Practical Theory (was: T) |
| 01/04/2002 | Re: Practical Theory (was: T) | Practical Theory (was: T) |
| 01/04/2002 | dlof | Practical Theory (was: T) |
| 01/05/2002 | Monadic folds | Practical Theory (was: T) |
| 12/21/2001 | Re: Re-writing abstractions | Re-writing abstractions |
| 12/21/2001 | Re: Re-writing abstractions | Re-writing abstractions |
| 12/19/2001 | Re: Generic Java type inference is unsound | Generic Java type inference is unsound |
| 12/17/2001 | Re: Real Programmers Don't Use Pascal | Real Programmers Don't Use Pascal |
| 12/19/2001 | Re: Real Programmers Don't Use Pascal | Real Programmers Don't Use Pascal |
| 12/16/2001 | Re: J and K: One User's View | J and K: One User's View |
| 12/16/2001 | Regular expressions and FP | J and K: One User's View |
| 12/17/2001 | Re: J and K: One User's View | J and K: One User's View |
| 12/12/2001 | Re: The History of T | The History of T |
| 12/13/2001 | Re: The History of T | The History of T |
| 12/14/2001 | Re: The History of T | The History of T |
| 12/14/2001 | Re: The History of T | The History of T |
| 12/14/2001 | Re: The History of T | The History of T |
| 12/15/2001 | Re: The History of T | The History of T |
| 12/15/2001 | Re: The History of T | The History of T |
| 12/15/2001 | Re: The History of T | The History of T |
| 12/15/2001 | Re: The History of T | The History of T |
| 12/16/2001 | Daily programming and syntax composition | The History of T |
| 12/16/2001 | Embedding Perl regexps | The History of T |
| 12/16/2001 | Inalienable rights? | The History of T |
| 12/16/2001 | Re: The History of T | The History of T |
| 12/16/2001 | Re: The History of T | The History of T |
| 12/16/2001 | Politics | The History of T |
| 12/16/2001 | Re: The History of T | The History of T |
| 12/16/2001 | Re: The History of T | The History of T |
| 12/16/2001 | Re: The History of T | The History of T |
| 12/16/2001 | Smalltalk, learnability, two communities | The History of T |
| 12/17/2001 | Re: The History of T | The History of T |
| 12/17/2001 | Re: The History of T | The History of T |
| 12/18/2001 | Re: The History of T | The History of T |
| 12/18/2001 | Re: The History of T | The History of T |
| 12/18/2001 | Re: The History of T | The History of T |
| 12/19/2001 | Re: The History of T | The History of T |
| 12/19/2001 | Re: The History of T | The History of T |
| 12/19/2001 | Anchors, coalgebras, zlotys | The History of T |
| 12/19/2001 | Hacking around Perl | The History of T |
| 12/15/2001 | Re: The Future of Compilers | The Future of Compilers |
| 12/01/2001 | Re: C++ FAQ LITE | C++ FAQ LITE |
| 11/22/2001 | Re: Psyco, the Python Specializing Compiler | Psyco, the Python Specializing Compiler |
| 11/20/2001 | Re: History of the biohazard symbol | History of the biohazard symbol |
| 11/20/2001 | Re: Wirth: On the Design of Programming Languages | Wirth: On the Design of Programming Languages |
| 11/20/2001 | Re: Wirth: On the Design of Programming Languages | Wirth: On the Design of Programming Languages |
| 11/12/2001 | Re: Readership skills and graphical programming | Readership skills and graphical programming |
| 11/12/2001 | Re: Readership skills and graphical programming | Readership skills and graphical programming |
| 11/12/2001 | Re: Why learn FP? | Why learn FP? |
| 10/31/2001 | Re: Semantics with Applications | Semantics with Applications |
| 11/02/2001 | Re: Semantics with Applications | Semantics with Applications |
| 10/19/2001 | Re: FP in Scheme: A WWW-oriented approach | FP in Scheme: A WWW-oriented approach |
| 10/11/2001 | Re: Squeak ECOOP 2001 tutorial | Squeak ECOOP 2001 tutorial |
| 10/11/2001 | Re: How To Steal Code or Inventing The Wheel Only Once | How To Steal Code or Inventing The Wheel Only Once |
| 10/02/2001 | Re: Lambda: the ultimate | Lambda: the ultimate "little language" |
| 10/02/2001 | Re: Lambda: the ultimate | Lambda: the ultimate "little language" |
| 10/01/2001 | Re: Object-Oriented Scripting in Ruby | Object-Oriented Scripting in Ruby |
| 10/01/2001 | Re: Object-Oriented Scripting in Ruby | Object-Oriented Scripting in Ruby |
| 10/01/2001 | Re: Object-Oriented Scripting in Ruby | Object-Oriented Scripting in Ruby |
| 10/01/2001 | Re: Python Compared to Other Languages | Python Compared to Other Languages |
| 09/28/2001 | Re: Charming Python : Iterators and simple generators | Charming Python : Iterators and simple generators |
| 09/28/2001 | Re: Charming Python : Iterators and simple generators | Charming Python : Iterators and simple generators |
| 09/28/2001 | Re: Charming Python : Iterators and simple generators | Charming Python : Iterators and simple generators |
| 09/28/2001 | Re: Charming Python : Iterators and simple generators | Charming Python : Iterators and simple generators |
| 09/29/2001 | Re: Charming Python : Iterators and simple generators | Charming Python : Iterators and simple generators |
| 10/02/2001 | Re: Charming Python : Iterators and simple generators | Charming Python : Iterators and simple generators |
| 10/03/2001 | Re: Charming Python : Iterators and simple generators | Charming Python : Iterators and simple generators |
| 10/11/2001 | Re: Charming Python : Iterators and simple generators | Charming Python : Iterators and simple generators |
| 10/13/2001 | Re: Charming Python : Iterators and simple generators | Charming Python : Iterators and simple generators |
| 04/03/2001 | Re: Lambda Calculi : A Guide for Computer Scientists - Hankin | Lambda Calculi : A Guide for Computer Scientists - Hankin |
| 03/19/2001 | Re: Category Theory for the working computer scientist | Category Theory for the working computer scientist |
| 03/23/2001 | Re: Category Theory for the working computer scientist | Category Theory for the working computer scientist |
| 03/26/2001 | Re: Category Theory for the working computer scientist | Category Theory for the working computer scientist |
| 04/03/2001 | Re: Category Theory for the working computer scientist | Category Theory for the working computer scientist |
| 01/29/2002 | Proposition: Scheme is intimidating | If I were Dean |
| 01/10/2003 | Re: Advanced Programming Language Design (Finkel) | Advanced Programming Language Design (Finkel) |
| 01/11/2003 | Re: Advanced Programming Language Design (Finkel) | Advanced Programming Language Design (Finkel) |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |