Posts By: Peter Van Roy
| Date | Post | Topic |
| 03/14/2012 | Use of formalism in the design of Oz | References about the importance of formalism in programming language design |
| 12/05/2011 | Where angels fear to tread... | General purpose as a special case? |
| 12/05/2011 | Oz is a dataflow language | General purpose as a special case? |
| 12/05/2011 | Limiting yourself to a single paradigm is completely wrong | General purpose as a special case? |
| 12/10/2011 | I agree with Jules too | General purpose as a special case? |
| 12/10/2011 | Crafted syntax does not scale | General purpose as a special case? |
| 12/05/2011 | Programming paradigms for dummies | General purpose as a special case? |
| 10/25/2011 | The Great Ones are Leaving Us | John McCarthy has passed |
| 09/23/2011 | Redesigning the Mozart virtual machine | Redesigning the Mozart virtual machine |
| 09/25/2011 | Oz has both unification and demand-driven evaluation | Redesigning the Mozart virtual machine |
| 09/25/2011 | Untagged pointers, tagged pointers, or JVM? | Redesigning the Mozart virtual machine |
| 09/25/2011 | Going to the JVM? | Redesigning the Mozart virtual machine |
| 06/26/2011 | Announcing Ozma: extending Scala with Oz concurrency | Announcing Ozma: extending Scala with Oz concurrency |
| 04/25/2011 | And what about concurrency? | Patterns in Functional Programming |
| 09/20/2010 | What is the best system for experimenting with and visualizing complex algorithms? | What is the best system for experimenting with and visualizing complex algorithms? |
| 06/27/2010 | A minor success | Why Undergraduates Should Learn the Principles of Programming Languages |
| 03/25/2010 | Will data-intensive computing revolutionize programming languages? | Will data-intensive computing revolutionize programming languages? |
| 03/29/2010 | 1970s languages for the 2010s? | Will data-intensive computing revolutionize programming languages? |
| 03/01/2010 | Building large-scale robust systems | large-scale programming systems inspired by ecological and market systems |
| 06/11/2010 | Is P=NP? | plt vs. something else for programming in the large? |
| 06/11/2010 | Laws of software – they do exist | plt vs. something else for programming in the large? |
| 01/15/2010 | Don't make trade-offs, solve the problem instead | Rapid Prototyping tools & environments from academia |
| 01/16/2010 | Reference for TRIZ | Rapid Prototyping tools & environments from academia |
| 08/05/2009 | The Great Game? | Simplicity |
| 05/29/2009 | New PLT goodness | Questions Five Ways |
| 05/29/2009 | Extensions to the kernel language | Questions Five Ways |
| 06/02/2009 | Direction of layers | Questions Five Ways |
| 05/13/2009 | Computer music: a bastion of interactive visual dataflow languages | Computer music: a bastion of interactive visual dataflow languages |
| 05/13/2009 | What is a general tool? | Computer music: a bastion of interactive visual dataflow languages |
| 05/13/2009 | Dataflow is just one paradigm | Computer music: a bastion of interactive visual dataflow languages |
| 05/14/2009 | Max/MSP does not enforce determinism | Computer music: a bastion of interactive visual dataflow languages |
| 05/14/2009 | Ptolemy II misrepresentation of Esterel model? | Computer music: a bastion of interactive visual dataflow languages |
| 05/14/2009 | Max position conventions | Computer music: a bastion of interactive visual dataflow languages |
| 05/12/2009 | First and second year programming courses | Why Did M.I.T. Switch from Scheme to Python? |
| 05/15/2009 | Nine and sixty ways to make tribal lays ... | Why Did M.I.T. Switch from Scheme to Python? |
| 06/05/2010 | Objects all the way down | A Brief, Incomplete ... History of Programming Languages |
| 04/01/2009 | Pros and cons in CTM | Seeking succnict thoughts on pros/cons of hl language styles |
| 03/25/2009 | Where is the constraint community? | The Art of the Propagator |
| 03/25/2009 | Constraint Propagation: Models, Techniques, Implementation | The Art of the Propagator |
| 03/05/2009 | Minor comment on waiting for multiple futures | C++ Futures |
| 12/09/2008 | Don't forget concurrency! | RFC on an online book |
| 11/28/2008 | Functional building blocks as concurrency patterns | Functional building blocks as concurrency patterns |
| 12/02/2008 | Race conditions between actors | Functional building blocks as concurrency patterns |
| 12/03/2008 | Message passing and race conditions | Functional building blocks as concurrency patterns |
| 12/01/2008 | Does Kamaelia have a declarative concurrent subset? | Functional building blocks as concurrency patterns |
| 12/02/2008 | CTM draft for free | Functional building blocks as concurrency patterns |
| 11/30/2008 | Implementing the multi-agent dataflow paradigm efficiently | Functional building blocks as concurrency patterns |
| 09/17/2008 | Concurrent agent using dataflow and fold | Irresistible programs |
| 09/17/2008 | A more cryptic example: contract net protocol | Irresistible programs |
| 09/10/2008 | Constraint programming and finance | Logic programming and finance |
| 06/26/2008 | Why Multi-Core is Easy and Internet is Hard | Why Multi-Core is Easy and Internet is Hard |
| 06/27/2008 | REST? | Why Multi-Core is Easy and Internet is Hard |
| 06/27/2008 | Making a bigger distinction | Why Multi-Core is Easy and Internet is Hard |
| 06/27/2008 | Dataflow programming | Why Multi-Core is Easy and Internet is Hard |
| 06/30/2008 | Monotonic dataflow (deterministic concurrency) | Why Multi-Core is Easy and Internet is Hard |
| 07/01/2008 | Kinds of dataflow | Why Multi-Core is Easy and Internet is Hard |
| 07/03/2008 | New versions of CTM | Why Multi-Core is Easy and Internet is Hard |
| 06/27/2008 | Impossibility results in distributed computing | Why Multi-Core is Easy and Internet is Hard |
| 06/30/2008 | Aloof gurus | Why Multi-Core is Easy and Internet is Hard |
| 06/23/2008 | Guidelines for language design | Writing a new language - ideas? |
| 06/23/2008 | Writing short code | Writing a new language - ideas? |
| 06/23/2008 | Handling network failures | Writing a new language - ideas? |
| 06/12/2008 | Ghent University at our antipode | Functional Programming in the ACM CS Curriculum |
| 06/18/2008 | Occam and Erlang | Functional Programming in the ACM CS Curriculum |
| 06/17/2008 | Smalltalk and C++ | Functional Programming in the ACM CS Curriculum |
| 06/14/2008 | The real reason: FP is the foundation for all other paradigms | Functional Programming in the ACM CS Curriculum |
| 06/15/2008 | Importance of dataflow variables | Functional Programming in the ACM CS Curriculum |
| 06/16/2008 | Laziness and dataflow | Functional Programming in the ACM CS Curriculum |
| 06/18/2008 | Transparent single assignment | Functional Programming in the ACM CS Curriculum |
| 05/09/2008 | Prolog has sent out its sons and daughters... | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 05/09/2008 | The future of logic programming | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 03/07/2008 | Excel's programming paradigm | Excel as a different programming paradigm |
| 03/10/2008 | Excel's execution model | Excel as a different programming paradigm |
| 03/11/2008 | Excel's cells are streams | Excel as a different programming paradigm |
| 03/07/2008 | Capability security and referential transparency | Confused Deputies in Programming Languages |
| 03/07/2008 | RT is sufficient for capability security? | Confused Deputies in Programming Languages |
| 03/07/2008 | Capability = designation + authority | Confused Deputies in Programming Languages |
| 03/07/2008 | RT is not an unqualified good | Confused Deputies in Programming Languages |
| 03/10/2008 | State and modularity (again) | Confused Deputies in Programming Languages |
| 03/07/2008 | Monads can not implement true mutable state | Confused Deputies in Programming Languages |
| 03/07/2008 | Denotational semantics? | Confused Deputies in Programming Languages |
| 03/07/2008 | No overstatement | Confused Deputies in Programming Languages |
| 03/10/2008 | How can effects be both invisible and visible? | Confused Deputies in Programming Languages |
| 03/13/2008 | Invisibility + reasoning: it's possible to have both | Confused Deputies in Programming Languages |
| 02/15/2008 | Simplicity graph is bogus | Lisaac: The power of simplicity at work for operating systems |
| 02/15/2008 | The power of laziness | 10 Years of Purely Functional Data Structures |
| 10/17/2007 | Multi-agent programming in a first course | Learning Programming with Erlang |
| 10/06/2007 | More books on computing as natural science | Computing is a Natural Science |
| 10/07/2007 | Computing is the vanguard of systems science | Computing is a Natural Science |
| 10/09/2007 | Programming with feedback loops | Computing is a Natural Science |
| 10/09/2007 | Are we a simulation? | Computing is a Natural Science |
| 10/10/2007 | Please explain | Computing is a Natural Science |
| 10/10/2007 | Computing is not the same as mathematics | Computing is a Natural Science |
| 10/12/2007 | Science and engineering | Computing is a Natural Science |
| 10/11/2007 | Informatics | Computing is a Natural Science |
| 09/03/2007 | Search and Prolog | Escape from Zurg: An Exercise in Logic Programming |
| 09/06/2007 | Heavyweight? | Escape from Zurg: An Exercise in Logic Programming |
| 09/06/2007 | Defining distribution strategies | Escape from Zurg: An Exercise in Logic Programming |
| 08/19/2007 | Diagram showing all programming paradigms and their relationships | Diagram showing all programming paradigms and their relationships |
| 08/20/2007 | E and threads | Diagram showing all programming paradigms and their relationships |
| 08/20/2007 | Scheduling inside a vat | Diagram showing all programming paradigms and their relationships |
| 08/20/2007 | Some explanations of what is being captured | Diagram showing all programming paradigms and their relationships |
| 08/20/2007 | Paradigms, typing, and aspects | Diagram showing all programming paradigms and their relationships |
| 08/22/2007 | Definition of 'analytic' and 'synthetic'? | Diagram showing all programming paradigms and their relationships |
| 08/23/2007 | State in the diagram | Diagram showing all programming paradigms and their relationships |
| 08/22/2007 | Good comments | Diagram showing all programming paradigms and their relationships |
| 08/23/2007 | Updated diagram | Diagram showing all programming paradigms and their relationships |
| 08/23/2007 | SQL fix | Diagram showing all programming paradigms and their relationships |
| 08/23/2007 | A new updated diagram | Diagram showing all programming paradigms and their relationships |
| 06/09/2008 | Updated diagram showing programming paradigms | Diagram showing all programming paradigms and their relationships |
| 06/09/2008 | Explanation of state in the diagram | Diagram showing all programming paradigms and their relationships |
| 06/09/2008 | The word "monad" | Diagram showing all programming paradigms and their relationships |
| 06/11/2008 | Monads are a programming technique that provides an interface | Diagram showing all programming paradigms and their relationships |
| 06/12/2008 | Two languages are involved | Diagram showing all programming paradigms and their relationships |
| 06/12/2008 | It makes no difference where ST is put | Diagram showing all programming paradigms and their relationships |
| 02/14/2008 | Lazy quicksort example: using laziness to invent new algorithms | "Practical" advantages of lazy evaluation |
| 02/19/2008 | Tail-recursive map and declarative agents | "Practical" advantages of lazy evaluation |
| 03/11/2008 | Kernel language for Map | "Practical" advantages of lazy evaluation |
| 02/12/2007 | Almost everything happened in the Golden Age, right? | Almost everything happened in the Golden Age, right? |
| 02/12/2007 | Another good idea | Almost everything happened in the Golden Age, right? |
| 03/01/2007 | Popularity | Why people don't use functional programming? |
| 01/02/2007 | Delay constructs in Oz | Survey of delay constructs in logic/constraint PLs? |
| 10/28/2006 | Future of software design? | Future of software design? |
| 10/30/2006 | Form and representation | Future of software design? |
| 10/30/2006 | Language and paradigm | Future of software design? |
| 10/31/2006 | Understanding programming | Future of software design? |
| 11/02/2006 | Convergence? | Future of software design? |
| 11/03/2006 | Rationale | Future of software design? |
| 11/03/2006 | Stimulating discussion | Future of software design? |
| 09/16/2006 | SCOLLAR | SecPAL: Design and Semantics of a Decentralized Authorization Language |
| 01/07/2010 | Read-only variables in Oz | Oracles |
| 07/18/2006 | No Oz paper in HOPL III | HOPL III and the History of Haskell |
| 07/18/2006 | The future of Oz | HOPL III and the History of Haskell |
| 07/18/2006 | Projects with a vision should interact only occasionally | HOPL III and the History of Haskell |
| 06/30/2006 | Questions on FRP | Introduction to Concurrent Programming with Stackless Python |
| 06/26/2006 | Comparing FP and OO | What are the real benefits of FP? |
| 06/16/2006 | Asynchronous higher-order dataflow programming | The OO barrier |
| 06/16/2006 | Io language | The OO barrier |
| 06/17/2006 | Objects and ADTs | The OO barrier |
| 06/17/2006 | Definition of objects and ADTs | The OO barrier |
| 06/20/2006 | Contamination by state | The OO barrier |
| 06/21/2006 | Changing things | The OO barrier |
| 06/20/2006 | Integers are immutable in Smalltalk | The OO barrier |
| 06/09/2006 | Threads in computation spaces | SuperGlue |
| 06/16/2006 | Scheduling constraints and computation spaces | SuperGlue |
| 06/03/2006 | Using logic to model control | Continuations for Parallel Logic Programming |
| 05/31/2006 | Price of CTM | yet another noob via "little lisper" and scheme |
| 05/29/2006 | The importance of static typing is exaggerated | Buried Treasure - No Fluff Just Stuff |
| 05/15/2006 | Some clarifications | The Problem With Threads |
| 05/05/2006 | The Operational Semantics of Oz | Typed Concurrent Programming with Logic Variables |
| 05/02/2006 | Definitive languages | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/03/2006 | Purity is useful but it should not be global | Purity in PLT |
| 04/03/2006 | Oz as a disruptive technology and some reflections on the future | Disruptive PLT, 4 years later |
| 04/03/2006 | Mozart releases, mailing lists, and roadmap | Disruptive PLT, 4 years later |
| 04/02/2006 | Why logic programming is not more widespread | Uniform Proofs as a Foundation for Logic Programming |
| 03/28/2006 | Introduction to logic/constraint/relational programming | logic/constraint/relational programming? |
| 03/29/2006 | Cloning a space vs. creating a continuation | logic/constraint/relational programming? |
| 03/28/2006 | Prolog might also be a good choice | help from language people |
| 03/28/2006 | The "grandmother cell" theory is correct | Google Magic |
| 03/20/2006 | Enforcing declarativeness | sublanguages of CTM's Oz |
| 03/18/2006 | QTk and MVC | ACM Queue: On Usability of Programming Languages |
| 03/10/2006 | Language design tips | Language Design Tips |
| 02/24/2006 | Declarative (deterministic) concurrency | Norman Ramsey: CS257 - Programming with Concurrency |
| 02/05/2006 | "Smart Contracts" | Combinators for contracts |
| 02/06/2006 | Next mainstream language | Combinators for contracts |
| 02/07/2006 | Ten years for security | Combinators for contracts |
| 01/07/2006 | Tiny Basic | Classic CS Texts |
| 01/03/2006 | Flow-Based Programming, etc. | The new old or The "Return" to Concurrency |
| 01/03/2006 | Concurrency support in Mozart | The new old or The "Return" to Concurrency |
| 12/26/2005 | Solving sudoku with constraints | Can anyone help me solve this Sudoku? |
| 12/22/2005 | Insights on teaching computer programming | Insights on teaching computer programming |
| 12/22/2005 | Two stories | Insights on teaching computer programming |
| 12/23/2005 | First year | Insights on teaching computer programming |
| 12/25/2005 | Don't needlessly mathematize computer programming | Insights on teaching computer programming |
| 12/26/2005 | Mathematics as a scaffold for lax teaching? | Insights on teaching computer programming |
| 01/04/2006 | Semantics in the first year, etc. | Insights on teaching computer programming |
| 12/12/2005 | Message passing | Is this a new programming paradigm |
| 12/06/2005 | Kernel language approach | Formal Frustration... |
| 11/28/2005 | Network transparency can work if done wisely | Network Transparent languages |
| 11/29/2005 | Global versus local state | Network Transparent languages |
| 11/29/2005 | Correctness versus efficiency | Network Transparent languages |
| 10/12/2007 | Dependability? | An Overview of the Singularity Project |
| 09/05/2006 | Declarative objects | Object Oriented Programming + Referential Transparency |
| 09/05/2006 | Nondeterminism is a strange beast | Object Oriented Programming + Referential Transparency |
| 10/12/2005 | American lecture tour gets real | American lecture tour gets real |
| 10/19/2005 | Video recording | American lecture tour gets real |
| 01/17/2007 | Adding dataflow and laziness to a language | OO Language Engineering for the Post-Java Era |
| 01/18/2007 | Whitehead quote | OO Language Engineering for the Post-Java Era |
| 01/18/2007 | Where the power comes from | OO Language Engineering for the Post-Java Era |
| 08/02/2005 | Dataflow concurrency | The Simplicity of Concurrency |
| 07/29/2005 | FIDIL: Finite Difference Language | Language support for generating functions? |
| 07/28/2005 | CTM tour during the week of Nov. 7 | CTM tour during the week of Nov. 7 |
| 07/29/2005 | Reading CTM | CTM tour during the week of Nov. 7 |
| 07/29/2005 | Lobbying UTD | CTM tour during the week of Nov. 7 |
| 07/30/2005 | NUS made multimedia recordings | CTM tour during the week of Nov. 7 |
| 07/30/2005 | Talks in Latin America | CTM tour during the week of Nov. 7 |
| 07/30/2005 | Programming education in the US | CTM tour during the week of Nov. 7 |
| 08/02/2005 | European system | CTM tour during the week of Nov. 7 |
| 07/10/2005 | Prolog and Concurrent Prolog | Data is code |
| 07/09/2005 | Mozart platforms and ports | CTM |
| 07/10/2005 | First, see how far you can get with Oz | CTM |
| 06/24/2005 | More rules on how to write | How To Read a Paper |
| 06/16/2005 | Transactions and joins | Tim Bray: On Threads |
| 06/16/2005 | Erlang and global data | Tim Bray: On Threads |
| 06/16/2005 | Parallel transitive closure algorithm | Tim Bray: On Threads |
| 06/30/2006 | Sudoku as homework problem in Oz | Sudoku |
| 06/08/2005 | Functional languages as logic languages | A question I have been meaning to ask. |
| 06/08/2005 | Definitions | A question I have been meaning to ask. |
| 06/05/2005 | Tail-recursive convolution | Bidirectional fold and scan |
| 06/07/2005 | Aha, but there is a difference | Bidirectional fold and scan |
| 06/07/2005 | Constant factors sometimes make a difference | Bidirectional fold and scan |
| 06/12/2005 | Tail recursive but 2n recursive calls | Bidirectional fold and scan |
| 06/13/2005 | Tail-recursive append without helper functions | Bidirectional fold and scan |
| 05/30/2005 | Declarative algorithms and state | Short examples of complex use of state? |
| 05/30/2005 | Are applicative languages efficient? | Short examples of complex use of state? |
| 05/20/2005 | You're welcome | Two Thank Yous for Peter van Roy |
| 05/20/2005 | Laziness in Oz: WaitNeeded is the right primitive | Two Thank Yous for Peter van Roy |
| 05/21/2005 | Primitives for dataflow | Two Thank Yous for Peter van Roy |
| 05/23/2005 | Simplicity and expressiveness | Two Thank Yous for Peter van Roy |
| 05/11/2005 | Design Philosophy of Distributed Programming in Mozart | Design Philosophy of Distributed Programming in Mozart |
| 05/03/2005 | "Dynamic" language features | Call for Papers: ACM Symposium on Dynamic Languages |
| 07/01/2005 | PostScript code for fractal drawing | The long tail of programming languages |
| 05/08/2005 | OO and FP are paradigms in the Kuhn sense | From Perl Monks: "pissed off about functional programming" |
| 04/26/2005 | Hamming wrote a book on this topic | Richard Hamming - "You and Your Research" |
| 04/27/2005 | Big thoughts and project proposals | Richard Hamming - "You and Your Research" |
| 05/12/2005 | The Prolog version of Alan Perlis's quote | Why do they program in C++? |
| 04/09/2005 | Language "popularity" | Computerworld Development Survey |
| 04/10/2005 | Degrees of popularity | Computerworld Development Survey |
| 04/10/2005 | Becoming popular | Computerworld Development Survey |
| 04/06/2005 | Some random comments on language design | Mechanics of designing and implementing a language |
| 04/06/2005 | Languages below the radar | Mechanics of designing and implementing a language |
| 04/04/2005 | My thoughts | Starlog |
| 03/23/2005 | Calculating complexity | Speed and semantics in CTM Chap. 1 |
| 03/24/2005 | Chapter 1 of CTM | Speed and semantics in CTM Chap. 1 |
| 03/25/2005 | A recipe for immobility | Grady Booch: AOSD keynote |
| 03/04/2005 | The Mozart/Oz approach to GUI and the QTk tool | Adobe Releases Adam and Eve |
| 03/06/2005 | Using streams | Adobe Releases Adam and Eve |
| 03/06/2005 | The Prototyper | Adobe Releases Adam and Eve |
| 03/06/2005 | Dynamic HTML | Adobe Releases Adam and Eve |
| 03/06/2005 | Dynamic HTML - good enough yet? | Adobe Releases Adam and Eve |
| 03/08/2005 | Suffocating gerbils problem | Adobe Releases Adam and Eve |
| 03/06/2005 | Arcane and verbose | Adobe Releases Adam and Eve |
| 03/06/2005 | Constraints in GUIs | Adobe Releases Adam and Eve |
| 03/03/2005 | DBLP bibliography | Journals and papers? |
| 03/16/2005 | The old stuff is good stuff | Journals and papers? |
| 03/26/2005 | And Oz too | Transparent Persistence |
| 08/23/2006 | State is only bad if it contaminates everything | Transparent Persistence |
| 09/05/2006 | What should a type signature tell you? | Transparent Persistence |
| 08/23/2006 | Lazy declarative concurrency | Transparent Persistence |
| 01/28/2005 | Going for concurrency | Implicit parallel functional programming |
| 01/21/2005 | Formal techniques in CTM | Getting Started |
| 01/10/2005 | X. What are the programming concepts in the language? | The Four Questions |
| 01/14/2005 | Stephen Hawking needs Google Suggest | Speech-to-text friendly programming languages |
| 01/06/2005 | Related work | Links (Wadler) |
| 01/02/2005 | Declarative concurrency: the forgotten paradigm | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 01/03/2005 | Declarative concurrency in Java | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 01/05/2005 | Concurrency for performance in Mozart | The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software |
| 12/28/2004 | Prolog and Planner, Life and Oz | Non-English-Based Programming Languages |
| 12/13/2004 | Combining streams | Lazy evaulation and combining user streams |
| 12/14/2004 | It can't be done | Lazy evaulation and combining user streams |
| 12/07/2004 | Another Logix... | Logix: Multi-Language Programming |
| 10/26/2004 | Mutable state | Dr. Kenneth Iverson Passes Away |
| 10/21/2004 | It's not MS's fault of course | MapReduce - functional programming in the REAL World |
| 10/16/2004 | MOZ 2004 talks available | MOZ 2004 talks available |
| 10/16/2004 | Distributed functional programming | Distributed Functional Programming |
| 10/19/2004 | Stream objects | Distributed Functional Programming |
| 10/19/2004 | De gustibus non disputandem est | Distributed Functional Programming |
| 09/21/2004 | However, it's long been recog | Questions about Semantics. |
| 09/21/2004 | I should also point again to | Questions about Semantics. |
| 09/21/2004 | Dijkstra was convinced that p | Dijkstra on analogies and anthropomorphism |
| 08/18/2004 | Preliminary call for participation to MOZ 2004 | Preliminary call for participation to MOZ 2004 |
| 08/16/2004 | The right default: concurrent components with message passing | The right default: concurrent components with message passing |
| 12/16/2004 | Continuations and closures - definition in CTM | Understanding continuations |
| 12/17/2004 | Give the intuition, but don't sacrifice truth | Understanding continuations |
| 12/17/2004 | A little bit of formalism goes a long way | Understanding continuations |
| 12/17/2004 | Fuzzy explanations lead only to confusion | Understanding continuations |
| 12/21/2004 | "trivial" is in the eye of the beholder | Understanding continuations |
| 07/06/2004 | Source code trivia... | Early history of Fortran |
| 07/08/2004 | Prolog descendants and multiparadigm languages | An interactive historical roster of computer languages |
| 07/08/2004 | Where does Oz fit in the taxonomy? | An interactive historical roster of computer languages |
| 07/08/2004 | A partial answer... | An interactive historical roster of computer languages |
| 06/25/2004 | Mozart/Oz conference MOZ2004 - final CFP | Mozart/Oz conference MOZ2004 - final CFP |
| 06/11/2004 | Re: How an idea becomes a C# language feature? | How an idea becomes a C# language feature? |
| 06/10/2004 | Re: ToonTalk | ToonTalk |
| 05/19/2004 | The SkyNet Virus: Why it is Unstoppable; How to Stop it | The SkyNet Virus: Why it is Unstoppable; How to Stop it |
| 05/15/2004 | Aspect-Oriented Programming for Distributed Systems | Aspect-Oriented Programming for Distributed Systems |
| 05/19/2004 | Re: Aspect-Oriented Programming for Distributed Systems | Aspect-Oriented Programming for Distributed Systems |
| 04/28/2004 | Re: When and How to Develop Domain-Specific Languages | When and How to Develop Domain-Specific Languages |
| 04/30/2004 | Re: Growing a Language | Growing a Language |
| 04/21/2004 | Re: Tunneling Variables | Tunneling Variables |
| 04/21/2004 | Re: Poplog | Poplog |
| 04/21/2004 | Re: Poplog | Poplog |
| 04/21/2004 | Re: Poplog | Poplog |
| 03/27/2004 | Re: The Logic Programming Paradigm and Prolog | The Logic Programming Paradigm and Prolog |
| 03/29/2004 | Re: K.R. Apt: Principles of Constraint Programming | K.R. Apt: Principles of Constraint Programming |
| 03/30/2004 | Re: Parallel-Concurrent Programming Dept. | Parallel-Concurrent Programming Dept. |
| 04/01/2004 | Re: Parallel-Concurrent Programming Dept. | Parallel-Concurrent Programming Dept. |
| 04/04/2004 | Re: Parallel-Concurrent Programming Dept. | Parallel-Concurrent Programming Dept. |
| 03/17/2004 | 'Concepts, Techniques, and Models' is a real book | 'Concepts, Techniques, and Models' is a real book |
| 03/01/2004 | Re: A Prolog Introduction for Hackers | A Prolog Introduction for Hackers |
| 03/01/2004 | Re: A Prolog Introduction for Hackers | A Prolog Introduction for Hackers |
| 02/12/2004 | Re: Udell: Programs that write programs | Udell: Programs that write programs |
| 02/02/2004 | Re: Data as code | Data as code |
| 02/04/2004 | Re: Sina Language and Composition Filters | Sina Language and Composition Filters |
| 02/02/2004 | Re: New Scientist interview with Alexandra Aikhenvald | New Scientist interview with Alexandra Aikhenvald |
| 02/02/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/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 |
| 01/23/2004 | Re: Why Events Are a Bad Idea | Why Events Are a Bad Idea |
| 01/24/2004 | Re: Why Events Are a Bad Idea | Why Events Are a Bad Idea |
| 01/19/2004 | Re: Concept programming | Concept programming |
| 01/19/2004 | Re: Concept programming | Concept programming |
| 01/18/2004 | Re: teaching programming; any research or results? | teaching programming; any research or results? |
| 01/18/2004 | Re: teaching programming; any research or results? | teaching programming; any research or results? |
| 01/14/2004 | Re: Lisp Machines | Lisp Machines |
| 01/07/2004 | Re: Why Objects Have Failed | Why Objects Have Failed |
| 01/21/2004 | Re: Why Objects Have Failed | Why Objects Have Failed |
| 12/30/2003 | Re: Bach & Software Composition | Bach & Software Composition |
| 12/30/2003 | Re: Bach & Software Composition | Bach & Software Composition |
| 12/20/2003 | Re: Sun Invites IBM, Cray To Work On New Computer Language | Sun Invites IBM, Cray To Work On New Computer Language |
| 12/20/2003 | Re: StarLogo: Give the Gift of Learning | StarLogo: Give the Gift of Learning |
| 12/20/2003 | Re: Twisted Matrix Networking for Python | Twisted Matrix Networking for Python |
| 12/14/2003 | Re: 100 prisoners and a light bulb | 100 prisoners and a light bulb |
| 12/12/2003 | Re: Erlang/OTP User Conference (euc'2003) Proceedings | Erlang/OTP User Conference (euc'2003) Proceedings |
| 12/14/2003 | Re: Erlang/OTP User Conference (euc'2003) Proceedings | Erlang/OTP User Conference (euc'2003) Proceedings |
| 12/07/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
| 12/07/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
| 12/07/2003 | Re: A Clockwork Orange: Nadsat | A Clockwork Orange: Nadsat |
| 12/06/2003 | Re: 50 Questions for a Language Designer | 50 Questions for a Language Designer |
| 12/03/2003 | Re: Dynamic Properties | Dynamic Properties |
| 11/27/2003 | Re: Is it time for another guest blogger? | Is it time for another guest blogger? |
| 11/27/2003 | Re: 50 Questions for a Language Designer | 50 Questions for a Language Designer |
| 11/16/2003 | Re: Making reliable distributed systems in the presence of software errors | Making reliable distributed systems in the presence of software errors |
| 11/17/2003 | Re: Making reliable distributed systems in the presence of software errors | Making reliable distributed systems in the presence of software errors |
| 11/18/2003 | Re: Making reliable distributed systems in the presence of software errors | Making reliable distributed systems in the presence of software errors |
| 11/18/2003 | Re: Making reliable distributed systems in the presence of software errors | Making reliable distributed systems in the presence of software errors |
| 11/18/2003 | Re: Making reliable distributed systems in the presence of software errors | Making reliable distributed systems in the presence of software errors |
| 11/19/2003 | Re: Making reliable distributed systems in the presence of software errors | Making reliable distributed systems in the presence of software errors |
| 11/19/2003 | Re: Making reliable distributed systems in the presence of software errors | Making reliable distributed systems in the presence of software errors |
| 11/01/2003 | Nonalgorithmic programming | Nonalgorithmic programming |
| 11/02/2003 | Re: Nonalgorithmic programming | Nonalgorithmic programming |
| 11/03/2003 | Re: Nonalgorithmic programming | Nonalgorithmic programming |
| 11/04/2003 | Re: Nonalgorithmic programming | Nonalgorithmic programming |
| 11/04/2003 | Re: Nonalgorithmic programming | Nonalgorithmic programming |
| 11/01/2003 | Re: A big thank you to Peter Van Roy | A big thank you to Peter Van Roy |
| 10/28/2003 | Re: XAML the future of UI programming? | XAML the future of UI programming? |
| 10/27/2003 | Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 10/27/2003 | Re: Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 10/28/2003 | Re: Macros vs. Higher-order Programming | Macros vs. Higher-order Programming |
| 10/25/2003 | Re: 1983-1993: The Wonder Years of Sequential Prolog Implementation | 1983-1993: The Wonder Years of Sequential Prolog Implementation |
| 10/24/2003 | Re: Conceptual Integrity in Erlang | Conceptual Integrity in Erlang |
| 10/25/2003 | Re: Conceptual Integrity in Erlang | Conceptual Integrity in Erlang |
| 10/22/2003 | State and modularity | State and modularity |
| 10/22/2003 | Re: State and modularity | State and modularity |
| 10/22/2003 | Re: State and modularity | State and modularity |
| 10/22/2003 | Re: State and modularity | State and modularity |
| 10/23/2003 | Re: State and modularity | State and modularity |
| 10/23/2003 | Re: State and modularity | State and modularity |
| 10/25/2003 | Re: State and modularity | State and modularity |
| 10/27/2003 | Re: State and modularity | State and modularity |
| 10/28/2003 | Re: State and modularity | State and modularity |
| 10/21/2003 | Expressiveness versus execution speed | Expressiveness versus execution speed |
| 10/23/2003 | Re: Expressiveness versus execution speed | Expressiveness versus execution speed |
| 10/23/2003 | Re: Expressiveness versus execution speed | Expressiveness versus execution speed |
| 10/23/2003 | Re: Expressiveness versus execution speed | Expressiveness versus execution speed |
| 10/23/2003 | Re: Expressiveness versus execution speed | Expressiveness versus execution speed |
| 10/24/2003 | Re: Expressiveness versus execution speed | Expressiveness versus execution speed |
| 10/24/2003 | Re: Expressiveness versus execution speed | Expressiveness versus execution speed |
| 10/25/2003 | Re: Expressiveness versus execution speed | Expressiveness versus execution speed |
| 10/25/2003 | Re: Expressiveness versus execution speed | Expressiveness versus execution speed |
| 10/21/2003 | Distributed programming made easy | Distributed programming made easy |
| 10/21/2003 | Re: Distributed programming made easy | Distributed programming made easy |
| 10/23/2003 | Re: Distributed programming made easy | Distributed programming made easy |
| 10/21/2003 | Concurrency-oriented programming | Concurrency-oriented programming |
| 10/21/2003 | Re: Concurrency-oriented programming | Concurrency-oriented programming |
| 10/21/2003 | Re: Concurrency-oriented programming | Concurrency-oriented programming |
| 10/21/2003 | Re: Concurrency-oriented programming | Concurrency-oriented programming |
| 10/23/2003 | Re: Concurrency-oriented programming | Concurrency-oriented programming |
| 10/21/2003 | Teaching programming | Teaching programming |
| 10/21/2003 | Re: Teaching programming | Teaching programming |
| 10/21/2003 | Re: Teaching programming | Teaching programming |
| 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/22/2003 | Re: Teaching programming | Teaching programming |
| 10/22/2003 | Re: Teaching programming | Teaching programming |
| 10/21/2003 | Re: Peter Van Roy here on LtU | Peter Van Roy here on LtU |
| 10/21/2003 | Re: Peter Van Roy here on LtU | Peter Van Roy here on LtU |
| 10/21/2003 | Re: Peter Van Roy here on LtU | Peter Van Roy here on LtU |
| 07/02/2003 | Re: OO Weed Languages | OO Weed Languages |
| 02/09/2004 | Re: Warren's Abstract Machine | Warren's Abstract Machine |
| 02/18/2004 | Re: Warren's Abstract Machine | Warren's Abstract Machine |
| 02/18/2004 | Re: Warren's Abstract Machine | Warren's Abstract Machine |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |