Posts By: cas
| Date | Post | Topic |
| 04/17/2005 | On the Unusual Effectiveness of Logic in Computer Science | On the Unusual Effectiveness of Logic in Computer Science |
| 04/17/2005 | Models-of-computation-centrism versus language-centrism | On the Unusual Effectiveness of Logic in Computer Science |
| 04/17/2005 | I wonder... | On the Unusual Effectiveness of Logic in Computer Science |
| 04/17/2005 | Some links | On the Unusual Effectiveness of Logic in Computer Science |
| 04/11/2005 | Dominus talks about HO Perl | Dominus talks about HO Perl |
| 04/14/2005 | HO Perl links | Higher-Order Perl |
| 03/22/2005 | Print.google.com | Print.google.com |
| 03/22/2005 | Right | Print.google.com |
| 03/22/2005 | Policy | Print.google.com |
| 03/22/2005 | Books available in full | Print.google.com |
| 03/22/2005 | Are you sure? | Print.google.com |
| 03/22/2005 | I wonder... | Script Vs Java |
| 03/22/2005 | scripting vs. shell | Script Vs Java |
| 03/22/2005 | My classification | Script Vs Java |
| 03/21/2005 | Old links | A Tutorial on Proof Theoretic Foundations of Logic Programming |
| 03/22/2005 | *deleted* | Best Common Lisp IDE? |
| 03/21/2005 | Formal science + engineering science + ... | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/21/2005 | Philosophy of vs. philosophical computer science | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/22/2005 | Lowering the tone | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/22/2005 | UNIX, C and runtimelessness | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/17/2005 | 2nd CfP: Structures and Deductions | 2nd CfP: Structures and Deductions |
| 03/21/2005 | Mismatch | 2nd CfP: Structures and Deductions |
| 04/15/2005 | Deadline extension | 2nd CfP: Structures and Deductions |
| 03/18/2005 | Linking to Quines and polyglots | Embedding one language in another |
| 03/15/2005 | Quite actively competing religions | Interview with Donald Knuth |
| 03/15/2005 | And my antihero... | Interview with Donald Knuth |
| 03/15/2005 | Yes, indeed | Interview with Donald Knuth |
| 03/15/2005 | This paper is excellent, read it! | A New Approach to Abstract Syntax with Variable Binding |
| 03/16/2005 | I think what I said was right.... | A New Approach to Abstract Syntax with Variable Binding |
| 03/16/2005 | ...and NF too | A New Approach to Abstract Syntax with Variable Binding |
| 03/09/2005 | About open problems | Open problems in category theory and computing science |
| 02/25/2005 | A gift for understatement | Proof and Counterexample |
| 02/26/2005 | SD05 | Proof and Counterexample |
| 02/28/2005 | Child care | Proof and Counterexample |
| 02/24/2005 | Grumble, grumble... | Journals and papers? |
| 02/25/2005 | Right | Journals and papers? |
| 03/20/2005 | The Scott journal | Journals and papers? |
| 03/16/2005 | Who is this question addressed to? | Journals and papers? |
| 03/20/2005 | Technical reports and more | Journals and papers? |
| 03/22/2005 | Node of the week | Journals and papers? |
| 02/22/2005 | PROLOG | Don Box: Teaching my kids to program |
| 02/22/2005 | Prolog / Oz | Don Box: Teaching my kids to program |
| 02/24/2005 | Texts matter... | Don Box: Teaching my kids to program |
| 02/28/2005 | Well... | Don Box: Teaching my kids to program |
| 02/25/2005 | Cousineau and Mauny | Functional Geometry |
| 02/15/2005 | About Partee | Barbara Partee: Reflections of a Formal Semanticist as of Feb 2005 |
| 02/13/2005 | Some context | The Little JavaScripter |
| 02/09/2005 | Yes, this is an important result | The HM system does not have principal typings for all terms |
| 02/09/2005 | This one, I think | The HM system does not have principal typings for all terms |
| 02/08/2005 | Wikicities | Wikicities |
| 02/09/2005 | Life's like that | The Church Project |
| 02/09/2005 | Dynamic temporal logic | Protocol languages |
| 02/01/2005 | Very good start | GCC Wiki |
| 01/16/2005 | Process algebra needs proof methodology | Process algebra needs proof methodology |
| 01/17/2005 | BEATCS concurrency column & process algebra diary | Process algebra needs proof methodology |
| 01/18/2005 | Flexibility | Introducing Comega |
| 01/14/2005 | Full A vs. full C. | Incompleteness in semantics and parallel-or |
| 12/07/2004 | Poor rich type systems | Definition of Type |
| 12/07/2004 | Moodle | Phenomenology of Languages and Language Design |
| 11/23/2004 | jacl | Little language for use within Java, suited for users to define "rules" |
| 11/20/2004 | Lambda the Ultimate Security Kernel | Skribe 1.2b released |
| 10/28/2004 | Xavier's non-APL/J challenge | Programming challenge |
| 10/27/2004 | Modules vs. SYNTAX-CASE | Scheme Language Standardization Process: R6RS Progress Report |
| 10/27/2004 | What's the report to be called? | Scheme Language Standardization Process: R6RS Progress Report |
| 10/28/2004 | Module system needed | Scheme Language Standardization Process: R6RS Progress Report |
| 10/26/2004 | English and partial english courses | Grad School [Master's Programs] |
| 10/25/2004 | Intensionality | What's a definition of "type" that beginners can understand? |
| 10/27/2004 | Sense and denotation | What's a definition of "type" that beginners can understand? |
| 10/27/2004 | Less is more | What's a definition of "type" that beginners can understand? |
| 10/28/2004 | Oops, I meant intensional, not intentional | What's a definition of "type" that beginners can understand? |
| 10/22/2004 | It started longer ago than that... | Dr. Kenneth Iverson Passes Away |
| 10/24/2004 | Wikipedia | Dr. Kenneth Iverson Passes Away |
| 10/22/2004 | Seems unaware of Yves Lafont's work... | Ralf Hinze: An algebra of scans |
| 10/28/2004 | A point about UML definitions | Programming for non-programmers |
| 10/28/2004 | Ehud wrote: Now this calls fo | Programming for non-programmers |
| 10/08/2004 | Proceedings available | Proceedings of Scheme Workshop 2004 |
| 10/06/2004 | Oh dear! | Research ethics |
| 10/06/2004 | CLRFIs | CLRFIs |
| 10/06/2004 | CLRFI process | CLRFIs |
| 09/23/2004 | What an idiotic name | Sh |
| 09/21/2004 | A tutorial on graph transformation | A tutorial on graph transformation |
| 09/22/2004 | Simple? | A tutorial on graph transformation |
| 09/15/2004 | CL vs scheme | CL vs scheme |
| 09/15/2004 | Why not? | CL vs scheme |
| 02/02/2005 | What's needed | Call-by-what? |
| 07/12/2004 | No, no, no! to no, no, no! | Understanding continuations |
| 07/12/2004 | So what's involved? | What's up guys? |
| 07/12/2004 | Simplicity itself | What's up guys? |
| 06/29/2004 | Port Graph Grammars | Nets: Petri vs Lafont |
| 02/11/2005 | Why didn't I think of this when the topic came up first? | Nets: Petri vs Lafont |
| 06/24/2004 | Answer to Q2 | Some stupid questions on denotational semantics |
| 06/29/2004 | Published | Abstractionless programming |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |