Posts By: Hank Thediek
| Date | Post | Topic |
| 10/29/2011 | Classic | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 07/19/2011 | Inconsistency Robustness | Wittgenstein versus Turing on Inconsistency Robustness |
| 12/07/2010 | Pragmatics | Inconsistency Robustness 2011 at Stanford |
| 11/25/2010 | Unbounded Non-determinism | What is computation? Concurrency versus Turing's Model |
| 11/29/2010 | Constructive proof theory? | What is computation? Concurrency versus Turing's Model |
| 08/06/2010 | Direct Logic seems to | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 08/09/2010 | Is it logic or is it model theory? | Incompleteness Theorems: The Logical Necessity of Inconsistency |
| 07/12/2010 | Activity Theory | Evocative metaphor |
| 02/28/2010 | Computer Science under the Microscope | Can a Biologist Fix a Radio? |
| 08/02/2009 | Academic Commons | Academic Commons |
| 07/15/2009 | Analogy | In the Land of Invented Languages |
| 07/15/2009 | What is the agenda? | In the Land of Invented Languages |
| 07/16/2009 | Semantics | In the Land of Invented Languages |
| 07/07/2009 | Physicality is useful | Trade-offs with abstraction |
| 06/18/2009 | Old Fashioned? | Why a diagram is (sometimes) worth ten thousand words |
| 06/18/2009 | Separation? | Why a diagram is (sometimes) worth ten thousand words |
| 06/27/2009 | Calculus in Coinductive Form | Semantics: Logic vs. PL |
| 06/11/2009 | Herbrand Logic | Lectures on Jacques Herbrand as a Logician |
| 06/11/2009 | Herbrand's Logic? | Lectures on Jacques Herbrand as a Logician |
| 06/03/2009 | Agreed | Computing Needs Time |
| 04/26/2009 | Viable System Architecture | Viable System Architecture |
| 04/16/2009 | Challenges | Challenges |
| 03/05/2009 | Dynamic Logic | Dynamic Logic |
| 03/05/2009 | Thanks for the info. The | Dynamic Logic |
| 03/08/2009 | Slides | Dynamic Logic |
| 02/01/2009 | Cybernetics and AI | Cybernetics and AI |
| 01/25/2009 | Do you want to buy AI? | Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts |
| 01/26/2009 | To reduction, or not to reduce? | Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts |
| 12/11/2008 | LISP | Light(er) Reading Suggestions? |
| 11/25/2008 | The .pdf version of the | yet another oop formalization: class as abstract automata |
| 08/25/2008 | Do you know what your semantics is? | Is it a Programming Language? |
| 08/11/2008 | It is "folk lore" in | Programming Language Beauty: Look Closure |
| 06/28/2008 | Anthropomorphisms | Why Multi-Core is Easy and Internet is Hard |
| 06/21/2008 | An interesting related Ltu | Computation and the Periodic Table |
| 06/01/2008 | Unifying theory | Computational Thinking |
| 06/02/2008 | By all means! | Computational Thinking |
| 05/10/2008 | A much better rendition of | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 05/10/2008 | An interpretation | 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 |
| 05/17/2008 | I found this interesting | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 04/29/2008 | You might be interested in | A Cybernetics DSL? |
| 04/30/2008 | Rather than solve the | A Cybernetics DSL? |
| 04/24/2008 | ASMs | On Presenting Operational Semantics |
| 04/25/2008 | The method goes back a long | On Presenting Operational Semantics |
| 04/22/2008 | Semantic verification | program verification: the very idea |
| 04/25/2008 | I only just briefly read | program verification: the very idea |
| 04/25/2008 | Edit: And don't forget to | program verification: the very idea |
| 04/23/2008 | Point of view | program verification: the very idea |
| 04/24/2008 | Cultures, | program verification: the very idea |
| 04/27/2008 | Physical semantics | program verification: the very idea |
| 04/28/2008 | Research | program verification: the very idea |
| 04/29/2008 | Annotation systems | program verification: the very idea |
| 04/16/2008 | Parallels | The irreducible physicality of security properties |
| 04/17/2008 | Notes | The irreducible physicality of security properties |
| 04/14/2008 | Your second point is a | Career paths and concerns |
| 04/10/2008 | I am constantly amaized at | Safe and Secure Software in Ada |
| 04/10/2008 | Also, I would add that | Safe and Secure Software in Ada |
| 04/10/2008 | I don't get it. Your linked | Safe and Secure Software in Ada |
| 04/10/2008 | How can you hope to | Safe and Secure Software in Ada |
| 04/12/2008 | This is a interesting link | Safe and Secure Software in Ada |
| 04/07/2008 | Proving compositions | Proving compositions |
| 04/08/2008 | It is a confusing question. | Proving compositions |
| 04/09/2008 | Specification | Proving compositions |
| 04/08/2008 | Interesting paper. | Proving compositions |
| 04/08/2008 | abstraction | Proving compositions |
| 04/20/2008 | X-machines | Proving compositions |
| 03/31/2008 | An interesting spin on logic | future history of logic programming |
| 03/23/2008 | Proof of the Church-Turing(ASM) thesis | When Are Two Algorithms the Same? |
| 02/29/2008 | Structure or content | Programmers At Work |
| 02/26/2008 | Union types in Java? | Union types in Java? |
| 02/27/2008 | Thanks | Union types in Java? |
| 02/26/2008 | Monads for programming | Foundations for Structured Programming with GADTs |
| 01/23/2008 | Pointers anyone? | How useful is reflection, anyway? |
| 01/23/2008 | Dotted pairs require | How useful is reflection, anyway? |
| 01/23/2008 | Reflection in Java | How useful is reflection, anyway? |
| 01/24/2008 | Types | How useful is reflection, anyway? |
| 12/12/2007 | Getting to the point | CUFP write-up |
| 12/14/2007 | Language apps | CUFP write-up |
| 12/07/2007 | Thought | poll: syntax |
| 11/09/2007 | Activity representations | Squeaky Tales |
| 10/26/2007 | Coinduction | Gödel, Nagel, minds and machines |
| 10/26/2007 | OK. So what is a | Gödel, Nagel, minds and machines |
| 10/28/2007 | As another poster stated, | Gödel, Nagel, minds and machines |
| 11/01/2007 | Activity theory | Gödel, Nagel, minds and machines |
| 11/02/2007 | Synthesis | Gödel, Nagel, minds and machines |
| 11/03/2007 | Well, basically your agenda | Gödel, Nagel, minds and machines |
| 11/04/2007 | Information Theory | Gödel, Nagel, minds and machines |
| 11/04/2007 | Usefull or Intelligent | Gödel, Nagel, minds and machines |
| 11/04/2007 | Relationships | Gödel, Nagel, minds and machines |
| 10/26/2007 | Free Books | Gödel, Nagel, minds and machines |
| 10/28/2007 | Bourbaki set theory | Gödel, Nagel, minds and machines |
| 10/28/2007 | Identity | Gödel, Nagel, minds and machines |
| 10/30/2007 | Link | Gödel, Nagel, minds and machines |
| 10/26/2007 | Will we be talking about | Co-Logic Programming |
| 10/05/2007 | Computing is a Natural Science | Computing is a Natural Science |
| 10/06/2007 | Metaphors | Computing is a Natural Science |
| 10/07/2007 | The System | Computing is a Natural Science |
| 10/08/2007 | Science is reusable | Computing is a Natural Science |
| 10/09/2007 | Definitions | Computing is a Natural Science |
| 10/09/2007 | The terminology here is too | Computing is a Natural Science |
| 10/11/2007 | Domains | Computing is a Natural Science |
| 10/12/2007 | Theory or practice | Computing is a Natural Science |
| 10/12/2007 | Soft-ware | Computing is a Natural Science |
| 10/12/2007 | ????????? | Computing is a Natural Science |
| 10/14/2007 | A bit more "clarification". | Computing is a Natural Science |
| 10/02/2007 | This and nothing else | Witnessing Side-Effects |
| 10/03/2007 | Communicative acts semantics | Witnessing Side-Effects |
| 09/25/2007 | LAP | Tim Bray and Erlang |
| 09/28/2007 | Great Question | Tim Bray and Erlang |
| 09/20/2007 | Other tools | Binary Lambda Calculus and Combinatory Logic |
| 09/15/2007 | wiki says | Stutter Invariance |
| 09/04/2007 | An end to tragic melodrama | No Name: Just Notes on Software Reuse |
| 09/04/2007 | Synthetic and Analytic | No Name: Just Notes on Software Reuse |
| 09/05/2007 | Changes | No Name: Just Notes on Software Reuse |
| 08/27/2007 | What is a state? | What is a state? |
| 08/27/2007 | Why doesn't the line (N * | What is a state? |
| 08/27/2007 | Dangerous games | What is a state? |
| 08/27/2007 | A boundry between computer | What is a state? |
| 08/27/2007 | Attempting to impose | What is a state? |
| 08/28/2007 | Page 7, item 1: | What is a state? |
| 08/28/2007 | Analytic | What is a state? |
| 08/28/2007 | Context switches: | What is a state? |
| 08/27/2007 | "is there an argument for | What is a state? |
| 08/28/2007 | Apologies | What is a state? |
| 08/30/2007 | Sameness | What is a state? |
| 08/30/2007 | More | What is a state? |
| 08/30/2007 | OK, I am not sure what we | What is a state? |
| 08/30/2007 | Just Boxes | What is a state? |
| 09/01/2007 | Strikingly different | What is a state? |
| 08/21/2007 | Labels | Diagram showing all programming paradigms and their relationships |
| 08/22/2007 | I am thinking about the | Diagram showing all programming paradigms and their relationships |
| 08/23/2007 | The meaning isn't simple | Diagram showing all programming paradigms and their relationships |
| 08/23/2007 | Clarification | Diagram showing all programming paradigms and their relationships |
| 08/01/2007 | Spin | Monad Description For Imperative Programmer |
| 08/01/2007 | Is that an agreement or a | Monad Description For Imperative Programmer |
| 08/01/2007 | Yea! | Monad Description For Imperative Programmer |
| 08/04/2007 | ADT's | Monad Description For Imperative Programmer |
| 08/20/2007 | Formality with Types | Monad Description For Imperative Programmer |
| 08/18/2007 | Monads are: | Monad Description For Imperative Programmer |
| 08/03/2007 | Names | The Karmasphere DP language |
| 07/29/2007 | Semantic Barriers | Testing first year programming students |
| 07/30/2007 | What is a computer? | Testing first year programming students |
| 07/23/2007 | Question | Lambda: The Semantics Tool |
| 07/12/2007 | Foundations | A Natural Axiomatization of Church's Thesis |
| 07/16/2007 | Proof of what? | A Natural Axiomatization of Church's Thesis |
| 07/16/2007 | In knowledge representation | A Natural Axiomatization of Church's Thesis |
| 07/13/2007 | On Topic | A Natural Axiomatization of Church's Thesis |
| 07/19/2007 | Misquote | A Natural Axiomatization of Church's Thesis |
| 07/19/2007 | logic and knowledge | A Natural Axiomatization of Church's Thesis |
| 07/20/2007 | semantics | A Natural Axiomatization of Church's Thesis |
| 07/14/2007 | What is accepatble C-T | A Natural Axiomatization of Church's Thesis |
| 07/14/2007 | Agreed | A Natural Axiomatization of Church's Thesis |
| 07/16/2007 | Thesis or theorem? | A Natural Axiomatization of Church's Thesis |
| 06/28/2007 | In reading this story I was | Pirahã living-in-the-present language |
| 06/14/2007 | To get an idea of how | Distributed Objects vs. Messaging |
| 06/14/2007 | What kind of unreliability? | Distributed Objects vs. Messaging |
| 06/16/2007 | Not so difficult | Distributed Objects vs. Messaging |
| 06/23/2007 | More errors | Distributed Objects vs. Messaging |
| 04/16/2007 | Things | Thoughts about the Best Introductory Language |
| 04/07/2007 | Deliverable code? | Deliverable code? |
| 04/09/2007 | Still active! TenDRA | Deliverable code? |
| 04/10/2007 | Muddy waters | Deliverable code? |
| 04/10/2007 | More in the way of muddy | Deliverable code? |
| 04/12/2007 | one shot code; | Deliverable code? |
| 04/03/2007 | Ambiguous? | Interactivity considered harmful |
| 02/28/2007 | It has always seemed to me | Ed Felten: Why Understanding Programs is Hard |
| 02/24/2007 | Syntactic Pattern Recognition | Literature on recovering grammars? |
| 02/18/2007 | Automata-Based Programming | Automata-Based Programming |
| 02/18/2007 | Semantics of state | Automata-Based Programming |
| 02/19/2007 | Reinventing the Wheel | Automata-Based Programming |
| 02/20/2007 | Action Languages | Automata-Based Programming |
| 02/10/2007 | What is a "Dwarf" | The Landscape of Parallel Computing Research: A View from Berkeley |
| 02/03/2007 | Trouble with the link? | Separation Logic: A Logic for Shared Mutable Data Structures |
| 01/27/2007 | What goes around; comes around | Ralf Lammel: Stop dysfunctional programming |
| 01/12/2007 | A Pattern? | Call by push-value |
| 02/06/2007 | Lists. | Why people don't use functional programming? |
| 01/07/2007 | Trying to "get it" | Simon Peyton Jones: Beautiful concurrency |
| 12/24/2006 | Understanding State | Understanding State |
| 12/09/2006 | My example with the "disk | Exceptions |
| 12/10/2006 | The main thing you have to | Exceptions |
| 12/11/2006 | Forward or backward? | Exceptions |
| 12/12/2006 | Could writing a program that | Exceptions |
| 11/18/2006 | OOP language extension | OOP language extension |
| 11/19/2006 | Different Languages? | OOP language extension |
| 11/19/2006 | Monad Connection | OOP language extension |
| 11/19/2006 | Edit | OOP language extension |
| 11/19/2006 | Another example | OOP language extension |
| 11/20/2006 | Events | OOP language extension |
| 11/21/2006 | A related way of thinking. | OOP language extension |
| 11/17/2006 | What next? | Sun Open Sources Java Platform |
| 11/12/2006 | What about the transition system? | Functional programming and software engineering |
| 11/13/2006 | The point of a "transition system" | Functional programming and software engineering |
| 11/13/2006 | Example | Functional programming and software engineering |
| 11/13/2006 | See above | Functional programming and software engineering |
| 11/14/2006 | "Liberation from the state transition style" | Functional programming and software engineering |
| 11/14/2006 | However, nothing stops you | Functional programming and software engineering |
| 11/15/2006 | OK.. This is getting deep, | Functional programming and software engineering |
| 11/15/2006 | Hidden Loops | Functional programming and software engineering |
| 11/15/2006 | OK, this raises one last | Functional programming and software engineering |
| 11/15/2006 | Guess | Functional programming and software engineering |
| 11/17/2006 | After looking over Shriram | Functional programming and software engineering |
| 11/17/2006 | What? | Functional programming and software engineering |
| 11/02/2006 | A noteworthy special case of | A rationale for semantically enhanced library languages |
| 10/21/2006 | Regular expresions vs. Lisp/Prolog | Ralph Griswold died |
| 10/03/2006 | xBasic | Why Johnny can't code |
| 10/05/2006 | Getting Crazy? | Why Johnny can't code |
| 11/06/2006 | Let the language do its job: | Why Johnny can't code |
| 09/09/2006 | Bottom-up or Top-down? | Misc News |
| 08/29/2006 | Dynamic Semantics | Dynamic Semantics |
| 09/04/2006 | Hidden Algebra | Dynamic Semantics |
| 09/23/2006 | Paraconsistent | Dynamic Semantics |
| 08/26/2006 | Question | unchecked exceptions are like runtime type checking? |
| 08/23/2006 | Did you notice 3APL? | generating interpreters, IDEs, etc., from simple specifications? |
| 08/20/2006 | Escape sequence for XML | Escape sequence for XML |
| 08/18/2006 | 3APL | 3APL |
| 08/10/2006 | More characters | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 07/28/2006 | If I understood correctly | Gamma formalism |
| 07/16/2006 | Target domain semantics | OOP Parallel class hierarchies |
| 07/14/2006 | Cross Assembly | computerhistory's History of LISP |
| 07/09/2006 | A sense of humor | Community enforcement discussion |
| 07/09/2006 | I think I understand what | Community enforcement discussion |
| 07/12/2006 | "Community"? | Community enforcement discussion |
| 07/07/2006 | Non-termination | Failure-oblivious computing |
| 07/07/2006 | Oh; | Failure-oblivious computing |
| 07/03/2006 | For the sake of discussion | Amusing question |
| 07/04/2006 | Coabgebra is something | Amusing question |
| 07/05/2006 | The question this raises for | Amusing question |
| 07/06/2006 | The answer to the above OP | Amusing question |
| 06/29/2006 | Pythagorianism | Gottfried Wilhelm Leibniz |
| 06/21/2006 | Serial/parallel decomposition | What are the real benefits of FP? |
| 06/25/2006 | A Paradigm for a "new age" | What are the real benefits of FP? |
| 06/25/2006 | I don't mean to imply that | What are the real benefits of FP? |
| 06/25/2006 | The cybernetic approach | What are the real benefits of FP? |
| 06/25/2006 | But this approach just | What are the real benefits of FP? |
| 06/26/2006 | Hybrid systems | What are the real benefits of FP? |
| 06/28/2006 | Ashby's Introduction to Cybernetics | What are the real benefits of FP? |
| 06/13/2006 | Termination Analysis | Church-Turning is False? |
| 06/14/2006 | Computability Logic | Church-Turning is False? |
| 06/14/2006 | Programming as an art | Church-Turning is False? |
| 06/08/2006 | Things change the world | Why Are ALL Programming Languages So Low Level? |
| 01/15/2007 | "Thing-ness" | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | To me this sounds a lot like | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | Maybe there is an approach | Why Are ALL Programming Languages So Low Level? |
| 06/12/2006 | Signal flow computing is of | Why Are ALL Programming Languages So Low Level? |
| 06/06/2006 | Berkeley ROC | Common Lisp Exception Handling |
| 06/04/2006 | What is a computer? | The Origins and Nature of Computation |
| 06/02/2006 | The thing I like about logic | Continuations for Parallel Logic Programming |
| 06/05/2006 | The full quote | Relevance of Curry-Howard |
| 06/06/2006 | I need a little help | Relevance of Curry-Howard |
| 06/06/2006 | Soundness | Relevance of Curry-Howard |
| 06/06/2006 | You arn't geeting me in a | Relevance of Curry-Howard |
| 06/07/2006 | Deep expression | Relevance of Curry-Howard |
| 06/07/2006 | semantics and databases | Relevance of Curry-Howard |
| 06/05/2006 | Are rules expressive? | Relevance of Curry-Howard |
| 06/01/2006 | Crashes | Type checking and logical errors |
| 06/01/2006 | Granting all that does the | Type checking and logical errors |
| 06/01/2006 | Soundness | Type checking and logical errors |
| 06/01/2006 | Now that is exciting! Thanks. | Type checking and logical errors |
| 05/29/2006 | traction | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | Types as expression | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | Semantics | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | A dynamic language like | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | To compile or not to compile | Buried Treasure - No Fluff Just Stuff |
| 05/31/2006 | Program specialization | Buried Treasure - No Fluff Just Stuff |
| 05/25/2006 | Rules, rules, rules | Syntax, Semantics and all that Stuff |
| 05/21/2006 | Semantic levels | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
| 05/11/2006 | Language currents | The Nature of Lisp (a tutorial) |
| 05/11/2006 | bridging the gap | The Nature of Lisp (a tutorial) |
| 05/01/2006 | Functional and rule systems | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/01/2006 | Goal orientation | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/04/2006 | What is real? | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/29/2006 | Languages are different! | Rethinking Linguistic Relativity |
| 04/29/2006 | Language ambivalence | Rethinking Linguistic Relativity |
| 04/29/2006 | The tri-fold conundrum | Rethinking Linguistic Relativity |
| 04/25/2006 | Is isolation the only way? | Deconstructing Process Isolation |
| 04/04/2006 | Goals not mentioned. | Purity in PLT |
| 04/04/2006 | Propagation of constraints | Purity in PLT |
| 03/31/2006 | Take one | Uniform Proofs as a Foundation for Logic Programming |
| 03/28/2006 | Unexpected and Unintended | help from language people |
| 03/29/2006 | To me, one of the nice | help from language people |
| 03/29/2006 | No single solution | help from language people |
| 03/28/2006 | backward chaining languages | help from language people |
| 10/23/2006 | Forward Chaining | I "got" imperative programming throught data binding |
| 10/25/2006 | A simple answer | I "got" imperative programming throught data binding |
| 10/26/2006 | What does it mean in practice? | I "got" imperative programming throught data binding |
| 02/15/2006 | Musings | Chu Spaces |
| 02/16/2006 | Mathematical formality | Chu Spaces |
| 02/17/2006 | My point was the similarity | Chu Spaces |
| 02/11/2006 | What interface? | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | What to choose? | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | My point was that appeals to | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | A system for almost everybody? | Guido: Language Design Is Not Just Solving Puzzles |
| 02/13/2006 | I agree that coginition is | Guido: Language Design Is Not Just Solving Puzzles |
| 02/10/2006 | Whatever? | Sociology of a Language Construct |
| 02/10/2006 | The meaning of action | Sociology of a Language Construct |
| 02/10/2006 | logic programming | How are GADTs useful in practical programming? |
| 02/07/2006 | Automata Theory | Lambda the Ultimate Set Comprehension |
| 02/07/2006 | Don't skip class! | Lambda the Ultimate Set Comprehension |
| 02/08/2006 | The point that monadic logic | Lambda the Ultimate Set Comprehension |
| 01/21/2006 | I like to think of analytic l | What is a Proposition? |
| 01/27/2006 | Pragmatically speaking | What is a Proposition? |
| 01/19/2006 | Lisp doesn't represent lists | Lisp is sin |
| 01/19/2006 | People learning Lisp think th | Lisp is sin |
| 01/19/2006 | You understand it and it is O | Lisp is sin |
| 12/09/2005 | Why not? | Types and reflection |
| 12/07/2005 | Take one: | Envisioning a New Language: A Conversation With Victoria Livschitz |
| 11/17/2005 | "One to One" matching | What good is Strong Normalization in Programming Languages? |
| 11/13/2005 | Logic programming | Putting Curry-Howard to Work |
| 10/28/2005 | Perfection or perception | An Overview of the Singularity Project |
| 10/22/2005 | The question of semantics of | What do you mean by studying "programming languages"? |
| 08/17/2006 | Gather and thread? | Object Oriented Programming + Referential Transparency |
| 10/13/2005 | “Because a wide variety of | American lecture tour gets real |
| 10/13/2005 | "do you think that PLT commun | Formal methods for O/R mapping |
| 10/07/2005 | 2) A secondary issue, of cou | Scalability |
| 10/07/2005 | An interesting article appear | Scalability |
| 10/10/2005 | Complexity?? | Scalability |
| 10/06/2005 | Is this really about dynamic | Scoping based on control flow graph |
| 10/03/2005 | There are two ways to think a | Question: Graceful error recovery during parsing |
| 10/01/2005 | Debuging state. | Debuging state. |
| 10/03/2005 | Omniscient debugging sounds i | Debuging state. |
| 09/30/2005 | Greatly appreciate links like | Propositional Satisfiability and Constraint Programming: A comparative Survey |
| 09/29/2005 | Troll?? | LtU: Style and Focus |
| 09/22/2005 | The philosophy is interesting | Ruby: Language of the Programming Übermensch? |
| 09/21/2005 | The RPC problem is a perfect | RPC Under Fire |
| 09/18/2005 | In my opinion there is a hidd | Functional multi-method programming language |
| 09/18/2005 | My point is that in the 21' | Functional multi-method programming language |
| 09/19/2005 | What about Oz and/or Mercury | Functional multi-method programming language |
| 08/28/2005 | Abstraction doesn't add fuzzy | Does Abstraction add Fuzziness? |
| 08/29/2005 | In computer science everythin | Does Abstraction add Fuzziness? |
| 08/23/2005 | Knowledge based programming | Ivory Towers and Gelfand's Principle |
| 08/23/2005 | Another solution is to write | Ivory Towers and Gelfand's Principle |
| 08/08/2005 | There is a phylosophical side | Coupling of concepts - good or bad |
| 08/08/2005 | Think about a program to cont | Coupling of concepts - good or bad |
| 08/08/2005 | Well there is a difference be | Coupling of concepts - good or bad |
| 08/03/2005 | Mercury Vs Prolog | Mercury Vs Prolog |
| 08/05/2005 | For me Prolog has always been | Mercury Vs Prolog |
| 08/05/2005 | Instead of using resolution a | Mercury Vs Prolog |
| 08/06/2005 | Thanks. In a logical or mathe | Mercury Vs Prolog |
| 08/02/2005 | A similar mechanism exists in | The Simplicity of Concurrency |
| 07/27/2005 | In the MSDN library under WIN | A software engineering problem: how would functional programming solve it? |
| 07/27/2005 | I don't know if this helps, b | A software engineering problem: how would functional programming solve it? |
| 07/21/2005 | Does it help to say that the | On the Revival of Dynamic Languages |
| 07/23/2005 | Why should we (ie those of us | Economics of Programming Languages |
| 07/23/2005 | I like your analysis. Increm | Economics of Programming Languages |
| 07/24/2005 | I would argue that one does | Economics of Programming Languages |
| 07/24/2005 | We told you so: | Economics of Programming Languages |
| 07/25/2005 | Not enough? | Economics of Programming Languages |
| 07/25/2005 | What you have to say about th | Economics of Programming Languages |
| 07/19/2005 | What's so bad about rule programming? | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/06/2005 | Impossible languages | The design of C++0x |
| 07/06/2005 | Wah? | The design of C++0x |
| 07/02/2005 | There are also various kinds | A Typed, Compositional Logic for a Stack-Based Abstract Machine |
| 06/07/2005 | A question I have been meaning to ask. | A question I have been meaning to ask. |
| 06/07/2005 | Above where? | A question I have been meaning to ask. |
| 06/09/2005 | A question I have been meaning to ask. | A question I have been meaning to ask. |
| 06/09/2005 | Actually this is a button pus | A question I have been meaning to ask. |
| 06/10/2005 | Mixed modes | A question I have been meaning to ask. |
| 06/11/2005 | Hybrid Logic | A question I have been meaning to ask. |
| 06/08/2005 | Definitions | A question I have been meaning to ask. |
| 06/05/2005 | AFCS's | Avionics Control Systems DSL from 1994, by Doug Lea |
| 05/30/2005 | What is so bad about compiling? | What is so bad about compiling? |
| 05/30/2005 | Yes to all that. I could hav | What is so bad about compiling? |
| 05/30/2005 | Perhaps we can clear up one t | What is so bad about compiling? |
| 05/31/2005 | Yes but- - - | What is so bad about compiling? |
| 05/31/2005 | Relative performance? | What is so bad about compiling? |
| 05/31/2005 | Thanks | What is so bad about compiling? |
| 06/01/2005 | Definitely not! All backtrac | What is so bad about compiling? |
| 06/01/2005 | Perhaps what is needed in thi | What is so bad about compiling? |
| 06/02/2005 | definitions | What is so bad about compiling? |
| 06/02/2005 | Push the show assembly button | What is so bad about compiling? |
| 06/03/2005 | Time | What is so bad about compiling? |
| 06/05/2006 | Interior Decoration | Let's make a programming language! |
| 06/03/2005 | Think like an engineer | Language Design 101 |
| 02/12/2012 | Logical Metaphysics | Embedding Prolog in Haskell |
| 02/13/2012 | Neoclassical logic | Embedding Prolog in Haskell |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |