Posts By: Daniel Yokomizo
| Date | Post | Topic |
| 02/03/2012 | Don't delist me | The Algebra of Data, and the Calculus of Mutation |
| 09/10/2011 | Back to the basics | What needs to be done? |
| 02/05/2010 | Horizontal Layout | Alternatives to parentheses for grouping |
| 01/17/2009 | Morrow | Compilation/method resolution with structural subtyping |
| 01/09/2009 | Lambda the Ultimate Job List | Job board on LtU? |
| 12/02/2008 | The RiSE of Research in Software Engineering | The RiSE of Research in Software Engineering |
| 12/03/2008 | 4 of 10 is a nice proportion | The RiSE of Research in Software Engineering |
| 12/01/2008 | An Elephant Never Forgets | Remembering everything - a new(?) idea for a new PL |
| 11/22/2008 | Information Leakage and Confidentiality | Security in FP |
| 08/15/2008 | Proceedings of the 2008 LLVM Developers' Meeting | Proceedings of the 2008 LLVM Developers' Meeting |
| 06/26/2008 | REST | Why Multi-Core is Easy and Internet is Hard |
| 06/26/2008 | Not only URIs | Why Multi-Core is Easy and Internet is Hard |
| 06/26/2008 | cap-talk is an old friend | Why Multi-Core is Easy and Internet is Hard |
| 06/22/2008 | Gravity is everywhere | Writing a new language - ideas? |
| 06/23/2008 | Gravity: not only a good idea, it's the law | Writing a new language - ideas? |
| 06/21/2008 | Read vs write (vs review vs refactoring...) modes | Scaling Type Inference |
| 06/20/2008 | Lame type systems | Scaling Type Inference |
| 06/20/2008 | Computation and the Periodic Table | Computation and the Periodic Table |
| 06/21/2008 | Classic = surprising + age | Pure imperative programming |
| 06/11/2008 | Turing completeness is overrated | On the importance of Turing completeness |
| 06/11/2008 | A relevant quote | On the importance of Turing completeness |
| 06/12/2008 | Google is your friend | On the importance of Turing completeness |
| 06/11/2008 | folds and unfolds are trickier | On the importance of Turing completeness |
| 06/13/2008 | Purity and concurrency | Functional Programming in the ACM CS Curriculum |
| 06/18/2008 | Duh! | Functional Programming in the ACM CS Curriculum |
| 06/15/2008 | Purity != FP | Functional Programming in the ACM CS Curriculum |
| 06/17/2008 | ?!?! | Functional Programming in the ACM CS Curriculum |
| 06/17/2008 | #! | Functional Programming in the ACM CS Curriculum |
| 06/03/2008 | Supero perhaps | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 06/05/2008 | Irrefutable patterns | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 06/01/2008 | Continuations and IO | Continuation based I/O with referential trasparency (Hope+) ? |
| 06/02/2008 | Worse than dynamic type checking | Types Considered Harmful |
| 06/02/2008 | Type erasure is our friend | Types Considered Harmful |
| 06/03/2008 | Not parametric polymorphism | Types Considered Harmful |
| 06/03/2008 | Democratic type systems | Types Considered Harmful |
| 05/28/2008 | Code generation woes | Metadebugging (i.e. founding metabugs) methodology. |
| 05/28/2008 | Computational Thinking | Computational Thinking |
| 05/28/2008 | Language barriers do matter in the age of Web 2.0? | Computational Thinking |
| 05/28/2008 | Programming vs. Computational Thinking | Computational Thinking |
| 05/28/2008 | A sweet spot | Software complexity as means of professional advancement |
| 05/28/2008 | Timing is always the problem | Software complexity as means of professional advancement |
| 05/28/2008 | SYB | Software complexity as means of professional advancement |
| 05/28/2008 | Past vs. Present vs. Future | Software complexity as means of professional advancement |
| 05/29/2008 | It would've been worse | Software complexity as means of professional advancement |
| 04/09/2008 | Flow Caml | Safe and Secure Software in Ada |
| 04/08/2008 | Civility please | Proving compositions |
| 04/08/2008 | Fast and Loose Reasoning is | Proving compositions |
| 04/28/2008 | Apples to oranges | Static Analysis for Duck Typing |
| 04/03/2008 | Forgeability | Erasmus: A Modular Language for Concurrent Programming |
| 04/04/2008 | Can vs. Must | Erasmus: A Modular Language for Concurrent Programming |
| 04/05/2008 | STM is a language change | April 1st special: The War of the Worlds |
| 04/01/2008 | A couple of approaches | Overloading in a statically typed functional language |
| 03/30/2008 | There's no pressure | future history of logic programming |
| 03/26/2008 | Supero | Ongoing work on Supercompilation of Java code (or supercompilation in general)? |
| 03/20/2008 | The Disciplined Disciple Compiler | The Disciplined Disciple Compiler |
| 03/23/2008 | Talks about Disciple | The Disciplined Disciple Compiler |
| 03/25/2008 | No actual experience... | The Disciplined Disciple Compiler |
| 03/07/2008 | What poses problem when handled with care? | Confused Deputies in Programming Languages |
| 03/07/2008 | Nobody expects the RT inquisition! | Confused Deputies in Programming Languages |
| 03/07/2008 | *witty subject goes here* | Confused Deputies in Programming Languages |
| 03/07/2008 | doubleplusungood | Confused Deputies in Programming Languages |
| 03/08/2008 | 2 + 2 = _|_ | Confused Deputies in Programming Languages |
| 03/10/2008 | I propose we agree to disagree | Confused Deputies in Programming Languages |
| 03/10/2008 | exactly | Confused Deputies in Programming Languages |
| 03/13/2008 | Reasoning globally | Confused Deputies in Programming Languages |
| 03/14/2008 | . | Confused Deputies in Programming Languages |
| 03/15/2008 | . | Confused Deputies in Programming Languages |
| 03/13/2008 | World vs. world | Confused Deputies in Programming Languages |
| 03/04/2008 | My 2 cents | Help John Baez and Mike Stay! |
| 02/24/2008 | Software Craftsmanship: Apprentice to Journeyman | Software Craftsmanship: Apprentice to Journeyman |
| 02/19/2008 | The last one? | Gilad Bracha: Cutting out Static |
| 02/19/2008 | Lexical scope FTW! | Gilad Bracha: Cutting out Static |
| 02/20/2008 | Why fine grained packages are bad? | Gilad Bracha: Cutting out Static |
| 02/21/2008 | Reduce moving parts | Gilad Bracha: Cutting out Static |
| 02/21/2008 | Calculi rules | Gilad Bracha: Cutting out Static |
| 02/21/2008 | Not really | Gilad Bracha: Cutting out Static |
| 02/26/2008 | Phantom types can help | Gilad Bracha: Cutting out Static |
| 02/04/2008 | C++ folk indeed | A name for this form of variable capture? |
| 01/23/2008 | Much | How useful is reflection, anyway? |
| 01/08/2008 | Call-by-value Termination in the Untyped Lambda-calculus | Call-by-value Termination in the Untyped Lambda-calculus |
| 01/08/2008 | Not even then | (newbie question) Covariance and contravariance |
| 12/27/2007 | Missing link? | Theorem proving support in programming language semantics |
| 12/08/2007 | Not like math | poll: syntax |
| 12/08/2007 | Math is nice but not a goal | poll: syntax |
| 03/04/2007 | Bayesian filtering to the rescue? | "Recent Post" funkiness |
| 02/28/2007 | denotational semantics and bisimulation | Behaviour Diffing |
| 03/04/2007 | Better late than never | Behaviour Diffing |
| 02/08/2007 | Point, where art thou? | Patrick Logan on Software Transaction Memory |
| 02/08/2007 | How to fix a broken toolbox. | Patrick Logan on Software Transaction Memory |
| 02/10/2007 | GC works, programmers don't | Patrick Logan on Software Transaction Memory |
| 02/08/2007 | Region Inference | Compile time garbage collection |
| 02/07/2007 | Proving the correctness of reactive systems using sized types | Proving the correctness of reactive systems using sized types |
| 02/07/2007 | Now the stars are aligned | Proving the correctness of reactive systems using sized types |
| 02/07/2007 | Icon | Programming Shorthands |
| 02/06/2007 | . | Termination Checking with Types |
| 01/25/2007 | The third solution | Total Functional Programming |
| 01/14/2007 | For really additional points... | Ninety-nine Lisp Problems |
| 01/15/2007 | Kind of | Ninety-nine Lisp Problems |
| 01/15/2007 | The beauty is in the eye of the beholder | Ninety-nine Lisp Problems |
| 01/07/2007 | . | Matching Objects With Patterns |
| 01/05/2007 | Pretty and short in Haskell | Why numbering should start at 0 |
| 01/06/2007 | don't show, don't tell | Why numbering should start at 0 |
| 12/30/2006 | JavaGi is the bee's knees | More Haskell in Java 7 or 8? |
| 12/23/2006 | Not if the type system knows about it | Comparing Approaches to Generic Programming in Haskell |
| 12/17/2006 | Orthogonality is today's word | Why do we need finally in try? |
| 12/17/2006 | Hidden exceptions | Why do we need finally in try? |
| 12/13/2006 | Finalization to the (un)rescue | Java Open Review Project |
| 12/15/2006 | Your order is ready sir | Java Open Review Project |
| 12/14/2006 | Constructor should be a class method | Java Open Review Project |
| 12/09/2006 | Everything is an object but | Commercial Users of Functional Programming 2006 |
| 12/07/2006 | Qualified Types | Typing a function which includes its axioms? |
| 12/04/2006 | pointers for horses | C++ has indeed become too "expert friendly" |
| 12/04/2006 | LtU must not die | The Future of LtU |
| 11/18/2006 | SML | if Records - Labels = Tuples then Rows - Labels = what? |
| 11/19/2006 | And Now for Something Completely Different | if Records - Labels = Tuples then Rows - Labels = what? |
| 12/04/2006 | I was simply extending it | if Records - Labels = Tuples then Rows - Labels = what? |
| 11/18/2006 | Existing specification languages to the rescue | Abstractly typed languages |
| 11/18/2006 | If Satan can be Beaten... | Second Life Faces Threat to its Virtual Economy |
| 11/18/2006 | The best news for Java | Sun Open Sources Java Platform |
| 11/18/2006 | Morrow | Type Difference |
| 11/18/2006 | Buffy | Functional programming and software engineering |
| 11/20/2006 | Submergent design | Functional programming and software engineering |
| 11/20/2006 | From /dev/null, of course. | Functional programming and software engineering |
| 11/04/2006 | Code generation | Code generation vs. dynamic/introspective languages |
| 11/05/2006 | Lambda it is | Future of software design? |
| 12/05/2006 | Gradual Typing and Epigram | unchecked exceptions are like runtime type checking? |
| 12/05/2006 | Ruby is more dynamic than that | unchecked exceptions are like runtime type checking? |
| 12/09/2006 | State is hell | unchecked exceptions are like runtime type checking? |
| 12/10/2006 | doesNotUnderstand | unchecked exceptions are like runtime type checking? |
| 12/13/2006 | As you may know mine. | unchecked exceptions are like runtime type checking? |
| 08/26/2006 | The compiler is an interpreter is a compiler | unchecked exceptions are like runtime type checking? |
| 12/04/2006 | pot meets kettle | unchecked exceptions are like runtime type checking? |
| 12/05/2006 | 100% agreement | unchecked exceptions are like runtime type checking? |
| 08/19/2006 | Ruby too | Closures for Java or money back |
| 08/21/2006 | Real use cases for the anonymous inner syntax | Closures for Java or money back |
| 08/21/2006 | Java needs real closures but no anonymous functions | Closures for Java or money back |
| 09/08/2006 | Different purposes | Closures for Java or money back |
| 07/29/2006 | Theorems for free from the | Generics as a Library |
| 07/28/2006 | The context is dynamic | Advantages of Soft Typing |
| 07/15/2006 | Trust issues | OOP Parallel class hierarchies |
| 06/28/2006 | On weak references and finalization | R6RS Status Report |
| 06/21/2006 | . | The OO barrier |
| 06/11/2006 | +1 | LtU: blog not forum! |
| 06/08/2006 | They don't need to stop | Relevance of Curry-Howard |
| 06/09/2006 | Sized types | Relevance of Curry-Howard |
| 06/09/2006 | Turing completeness is overrated | Relevance of Curry-Howard |
| 05/27/2006 | LtU comes to the rescue | Stealing language features for fun and profit in Ruby |
| 05/27/2006 | Refactoring refactorings | Your favourite editor/IDE |
| 05/27/2006 | Automated refactorings vs Dynamic Languages | Your favourite editor/IDE |
| 05/01/2006 | I believe that the next best | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/07/2006 | Classes considered harmful | What do you believe about Programming Languages (that you can't prove (yet))? |
| 01/19/2007 | LtU Policies | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/24/2006 | Comprehending Queries | The fundamental difference between Sets and Lists? |
| 03/25/2006 | Artificial Minds will be smarter | Programming: 50, 100 years from now |
| 03/02/2006 | Are dictionaries mandatory? | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
| 02/24/2006 | In this case undefined is your friend | Gilad Is Right |
| 02/18/2006 | Gilad is Wrong | Gilad Is Right |
| 02/14/2006 | Javascript | Guido: Language Design Is Not Just Solving Puzzles |
| 02/09/2006 | Actually no | How are GADTs useful in practical programming? |
| 02/10/2006 | Concrete yet invented example | How are GADTs useful in practical programming? |
| 02/03/2006 | lenient = non-strict + eager | The Next Mainstream Programming Languages |
| 02/03/2006 | Full comparison | The Next Mainstream Programming Languages |
| 02/06/2006 | We, the people... | The Next Mainstream Programming Languages |
| 02/03/2006 | Futures are great... | The Next Mainstream Programming Languages |
| 02/06/2006 | Lazy evaluation vs. Streams | The Next Mainstream Programming Languages |
| 02/01/2006 | The Monad interface is only one way | What is a monad, why should I use it, and when is it appropriate? |
| 02/01/2006 | Typeable | Naked Objects |
| 01/31/2006 | Refinement Types meet Effect Systems | Weak vs. strong typing |
| 01/22/2006 | win2k | Choice of OS of LtU readers |
| 01/22/2006 | Some posts have content missing | Infrastructure Announcement |
| 01/22/2006 | Conspiracy | Infrastructure Announcement |
| 01/19/2006 | Prepare to be surprise | Lisp is sin |
| 01/06/2006 | google-fu | Effect Systems? |
| 01/07/2006 | Relation to monads? | The new old or The "Return" to Concurrency |
| 11/18/2005 | Sized Region Types | What good is Strong Normalization in Programming Languages? |
| 11/16/2005 | Morrow is great | Extensible Records With Scoped Labels |
| 11/11/2005 | There's always the IO monad | Battling Bugs: A Digital Quagmire |
| 11/16/2005 | Granma's Rules of POLA | Battling Bugs: A Digital Quagmire |
| 11/10/2005 | GC in everyday use. | Classification according to type vs function - An anecdote |
| 11/10/2005 | Bigger issues | Classification according to type vs function - An anecdote |
| 10/31/2005 | Type Specialization | The Type-System-Feature-Creep Death Spiral |
| 10/26/2005 | Quick and Dirty implementation | Why Lists? |
| 11/03/2005 | The library sucks, not the type system | Bruce Tate: Technologies that may challenge Java |
| 11/04/2005 | Duh | Bruce Tate: Technologies that may challenge Java |
| 10/26/2005 | Bruce Tate: Technologies that may challenge Java | Bruce Tate: Technologies that may challenge Java |
| 11/04/2005 | More likely ST vs DT | Bruce Tate: Technologies that may challenge Java |
| 11/07/2005 | LtU's tradition | Bruce Tate: Technologies that may challenge Java |
| 10/04/2005 | Related research | "The Anatomy of a Loop" |
| 09/22/2005 | HaRe -- The Haskell Refactorer | Visual Haskell |
| 09/22/2005 | John Hughes' "Generalising Mo | The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene |
| 09/22/2005 | Smalltalk | Good languages with simple grammar |
| 09/17/2005 | Scala isn't Nice | Most Productive FP Lang? |
| 01/17/2007 | Predicate dispatch | OO Language Engineering for the Post-Java Era |
| 09/17/2005 | Proving the correctness of reactive systems using sized types | System programming using FP |
| 08/28/2005 | Sather does it | Ivory Towers and Gelfand's Principle |
| 09/03/2005 | Nope! | Ivory Towers and Gelfand's Principle |
| 07/02/2005 | Transframe | Functions as Classes: Which languages? |
| 06/04/2005 | Haskell | Funny characters inference |
| 06/05/2006 | Wadler's Law | Let's make a programming language! |
| 04/19/2005 | Why Dependent Types Matter | Why Dependent Types Matter |
| 04/07/2005 | Two requests | Two requests |
| 09/26/2005 | Non-invasive transformations | expressivity of "idiomatic C++" |
| 03/23/2005 | Please do it | Post new comment vs. reply |
| 03/22/2005 | A couple of comments | Speed and semantics in CTM Chap. 1 |
| 03/22/2005 | It depends on your definition of better | Speed and semantics in CTM Chap. 1 |
| 03/22/2005 | Region inference | UCPy: Reverse Engineering Python |
| 03/23/2005 | Region Inference | UCPy: Reverse Engineering Python |
| 03/24/2005 | Real-time | UCPy: Reverse Engineering Python |
| 03/21/2005 | Strong agreement here | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/22/2005 | Goths and vampires | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/23/2005 | DbC + no-sharing? | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/22/2005 | Another example of OPDR | Journals and papers? |
| 02/10/2005 | Bliki perhaps | Wikicities |
| 03/28/2005 | Why RT matters | Transparent Persistence |
| 12/17/2006 | Not the same thing | Transparent Persistence |
| 12/18/2006 | I miss the point because I write in point-free style | Transparent Persistence |
| 12/18/2006 | Let's just agree to disagree | Transparent Persistence |
| 02/02/2005 | It's useful sometimes | Avoiding worst case GC with large amounts of data? |
| 02/01/2005 | Space annotations | Avoiding worst case GC with large amounts of data? |
| 01/31/2005 | Flow Caml | A Type System Equivalent to Flow Analysis |
| 01/28/2005 | Re: The secret to bug free programming | BitC, a new OS implementation language |
| 01/27/2005 | Occam | Langauges and Hardware... |
| 01/23/2005 | Folds and Unfolds | Getting Started |
| 01/20/2005 | What is OOP? | OOP Is Much Better in Theory Than in Practice |
| 01/20/2005 | OO Formalisms | OOP Is Much Better in Theory Than in Practice |
| 01/20/2005 | Software is written by people not tools. | OOP Is Much Better in Theory Than in Practice |
| 01/09/2005 | Laziness keeps you honest | The Four Questions |
| 01/13/2005 | TCO, Static Typing and Haskell: A Rant | Ian Bicking: The challenge of metaprogramming |
| 01/14/2005 | Re: TCO vs. Java security | Ian Bicking: The challenge of metaprogramming |
| 12/27/2004 | Originally my choice was Erla | New Year's Resolutions |
| 12/21/2004 | Modelica: Modeling of Complex Physical Systems | Modelica: Modeling of Complex Physical Systems |
| 12/18/2004 | This seems relevant | HM-style type inference with non-unique selectors? |
| 11/08/2004 | Re: Overloading and type inference | Ideas about a language. |
| 10/21/2004 | RT vs. FFI | Two Languages (high+low level) vs One Language |
| 10/20/2004 | Two questions | Two Languages (high+low level) vs One Language |
| 10/20/2004 | Re: Static vs. dynamic languages | Two Languages (high+low level) vs One Language |
| 10/01/2004 | Perhaps that helps | Looking for an old conversation on Clean |
| 09/24/2004 | Link to the papers | The Language of Biology |
| 09/24/2004 | I do hope you're trolling ;-) | Dijkstra on analogies and anthropomorphism |
| 09/21/2004 | Anthropomorphism and LISP | Dijkstra on analogies and anthropomorphism |
| 09/17/2004 | Probably one of these discussions | Looking for Classic Types Thread |
| 09/14/2004 | Re: There must be a better way | Generics for the masses |
| 09/16/2004 | Re: There must be a better way | Generics for the masses |
| 09/12/2004 | Won't work | Use real names |
| 09/01/2004 | Text Generators | Nonsense Generator |
| 08/27/2004 | Blitz++ | Multidimensional arrays |
| 08/27/2004 | Typed Assembly Language (TAL) | "Types and Reflection" by Lauri Emil Alanko |
| 08/22/2004 | Language evolution | New result re "linguistic determinism" |
| 08/22/2004 | Re: Let's return to PLs for a second | New result re "linguistic determinism" |
| 08/23/2004 | Abstraction and Naming | New result re "linguistic determinism" |
| 08/22/2004 | OT: Semiotics | New result re "linguistic determinism" |
| 08/22/2004 | Words vs. concepts | New result re "linguistic determinism" |
| 08/20/2004 | The URL is broken | Error handling strategies |
| 08/21/2004 | The FPL Manifesto | Erlang the Movie |
| 08/22/2004 | The result of such revolutions | Erlang the Movie |
| 08/23/2004 | There's "Cryptic Seduction" too | Erlang the Movie |
| 08/13/2004 | What do you mean by understand? ;-) | New Paul Graham thing... |
| 08/18/2004 | Re: Perl/Python vs. Haskell for biology | New Paul Graham thing... |
| 08/22/2004 | There's laziness and there's laziness | New Paul Graham thing... |
| 08/11/2004 | Why type systems are interesting - part II | Why type systems are interesting - part II |
| 08/11/2004 | re: Haskell and typing | Why type systems are interesting - part II |
| 08/12/2004 | I agree. I thought about doin | Why type systems are interesting - part II |
| 08/18/2004 | Re: Type systems and atheism: man's search for logic ;-) | Why type systems are interesting - part II |
| 08/18/2004 | Implications for (3) | Why type systems are interesting - part II |
| 08/12/2004 | I think that's a valid point, | Why type systems are interesting - part II |
| 08/08/2004 | Adding a parent link to posts | Adding a parent link to posts |
| 08/03/2004 | Total functions | Tail of Nil and Its Type |
| 08/04/2004 | Preach to the compiler | Tail of Nil and Its Type |
| 08/04/2004 | It should be some form of map | Tail of Nil and Its Type |
| 08/03/2004 | I'm not sure I understand what you're saying | Tail of Nil and Its Type |
| 08/04/2004 | My point is that Hindley-Miln | Tail of Nil and Its Type |
| 08/08/2004 | Static properties | Tail of Nil and Its Type |
| 08/02/2004 | Design by Comitee | Alan Kay: The Early History of Smalltalk |
| 08/01/2004 | Slide 15 | Category Theory for Dummies - slides available |
| 08/01/2004 | Thanks, now I see it. I was c | Category Theory for Dummies - slides available |
| 07/31/2004 | Cookie expiration | Cookie expiration |
| 07/31/2004 | A handful of links | Techniques for JIT (parallel?) compilation of straight line numerical code |
| 07/26/2004 | For me | JDeveloperAOP |
| 07/16/2004 | We mentioned this paper before | Crash-Only Software |
| 07/31/2004 | Java doesn't have type inference | Why type systems are interesting |
| 08/01/2004 | Even type inference won't neg | Why type systems are interesting |
| 08/01/2004 | The statements are unrelated | Why type systems are interesting |
| 08/02/2004 | That isn't a type error | Why type systems are interesting |
| 07/24/2004 | This is like rejecting valid | Why type systems are interesting |
| 08/02/2004 | How can this be? | Why type systems are interesting |
| 07/07/2008 | Humans and compilers usually know different properties | Why type systems are interesting |
| 07/16/2004 | This has nothing to do with a type system. | Why type systems are interesting |
| 08/08/2004 | HOFs suffice | Why type systems are interesting |
| 08/09/2004 | PCC | Why type systems are interesting |
| 08/09/2004 | Re: Point of static proofs? | Why type systems are interesting |
| 07/14/2004 | IO violates RT | Explaining monads |
| 07/14/2004 | Clean has unique types | Explaining monads |
| 07/14/2004 | IIUC (I can't run your exampl | Explaining monads |
| 07/16/2004 | Monads are like CPS in this sense | Explaining monads |
| 07/12/2004 | It isn't easy. | New Chip Heralds a Parallel Future |
| 07/12/2004 | If the programmer is wrong... | New Chip Heralds a Parallel Future |
| 07/09/2004 | Clean | Slashdot: "Favourite Programming Language Features?" |
| 06/30/2004 | ...the type-theory crowd has | Pragmatic Programmers Interview |
| 06/30/2004 | It depends on what you call practical | Pragmatic Programmers Interview |
| 07/01/2004 | Programming in Haskell doesn' | Pragmatic Programmers Interview |
| 07/01/2004 | For server applications I thi | Pragmatic Programmers Interview |
| 06/26/2004 | Re: Intellisense | Whiteboard with Anders Hejlsberg |
| 06/25/2004 | Re: Units vs. Types | Is "type" a fundamental intrinsic property of values? |
| 06/24/2004 | I rarely ever debugged... | Debugging Functional Programs |
| 06/24/2004 | Omniscient debugging | Debugging Functional Programs |
| 06/30/2004 | It isn't a matter of type system | Debugging Functional Programs |
| 06/24/2004 | AFAICT no. | In the Spirit of C |
| 06/24/2004 | It should be possible to indi | XPython |
| 06/25/2004 | Local side-effects are easier to manage | XPython |
| 06/22/2004 | C# may be interpreted | 1st International Workshop on Interpreted Languages |
| 06/14/2004 | Roles of Variables | Roles of Variables |
| 06/14/2004 | Re: Roles of Variables | Roles of Variables |
| 06/14/2004 | Re: No new items? | No new items? |
| 05/26/2004 | Re: Continuations in Java and Java-based Web Frameworks | Continuations in Java and Java-based Web Frameworks |
| 05/25/2004 | Re: Turing completeness is not? | Turing completeness is not? |
| 05/24/2004 | Re: AFP 2004 | AFP 2004 |
| 05/25/2004 | Re: AFP 2004 | AFP 2004 |
| 05/21/2004 | Re: SPARK and high integrity software | SPARK and high integrity software |
| 05/14/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 05/14/2004 | Re: The Case for First Class Messages | 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/23/2004 | Re: The Case for First Class Messages | 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/28/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 |
| 05/15/2004 | Re: Selective Open Recursion: A Solution to the Fragile Base Class Problem | Selective Open Recursion: A Solution to the Fragile Base Class Problem |
| 05/23/2004 | Re: Selective Open Recursion: A Solution to the Fragile Base | Selective Open Recursion: A Solution to the Fragile Base Class Problem |
| 05/05/2004 | The Theory of Classification | The Theory of Classification |
| 05/05/2004 | Re: Tim Bray: Jython | Tim Bray: Jython |
| 04/27/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
| 04/27/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
| 04/27/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
| 04/27/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
| 04/28/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
| 04/21/2004 | Re: Poplog | Poplog |
| 04/07/2004 | Re: Impedance mismatch: RDBMS and PLs | Impedance mismatch: RDBMS and PLs |
| 04/08/2004 | Re: Impedance mismatch: RDBMS and PLs | Impedance mismatch: RDBMS and PLs |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |