Posts By: David Teller
| Date | Post | Topic |
| 11/01/2008 | "Modern" tools? | Automated Code Review Tools for Security |
| 10/02/2008 | OCaml? | closure-based object-oriented programming languages |
| 09/21/2008 | Missing the point | Simon Peyton Jones Interview |
| 10/02/2008 | Interfaces? | Is API evolution of exceptions special? |
| 10/02/2008 | Ah, well | Is API evolution of exceptions special? |
| 06/24/2008 | Make sure you can write your | Writing a new language - ideas? |
| 06/24/2008 | You know what that means? | Writing a new language - ideas? |
| 04/15/2008 | I argue they can | The irreducible physicality of security properties |
| 04/16/2008 | Granted | The irreducible physicality of security properties |
| 04/17/2008 | Er, well... | The irreducible physicality of security properties |
| 04/17/2008 | I concur | The irreducible physicality of security properties |
| 04/18/2008 | Ok, ok... | The irreducible physicality of security properties |
| 03/28/2008 | Teaching oneself Abstract Interpretation ? | Teaching oneself Abstract Interpretation ? |
| 03/23/2008 | What is the point ? | CERT C Secure Coding Standard |
| 03/28/2008 | Somewhat sad | CERT C Secure Coding Standard |
| 03/12/2008 | Region-based resource management | Eriskay: a Programming Language Based on Game Semantics |
| 11/10/2007 | Working on it... | Universal Type System |
| 10/23/2007 | Let me tell you | ECMAScript 4 overview paper |
| 10/23/2007 | Firefox | ECMAScript 4 overview paper |
| 10/23/2007 | Password | ECMAScript 4 overview paper |
| 06/09/2007 | How stable ? | ECMAScript Edition 4 Reference Implementation |
| 06/12/2007 | Will do | ECMAScript Edition 4 Reference Implementation |
| 04/13/2007 | Sounds interesting | The Structure and Value of Modularity in Software Design |
| 02/21/2007 | Constructor ? | Types vs classes: what is the difference? |
| 02/13/2007 | Let ? | Easy to learn and use |
| 02/21/2007 | Plenty of good ideas | Easy to learn and use |
| 02/13/2007 | Pi-calculus ? | Why people don't use functional programming? |
| 02/20/2007 | CDuce ? | Why people don't use functional programming? |
| 02/13/2007 | Some quibbles | Why people don't use functional programming? |
| 01/30/2007 | Getting updated ? | Specifying ECMAScript via ML |
| 10/18/2006 | System-level Static Analysis | System-level Static Analysis |
| 09/28/2006 | Not for Linux users, though... | Business Objects Quark - Haskell meets Java |
| 07/05/2006 | Definition | Securing the .NET Programming Model |
| 07/05/2006 | Two cents about debugging | What are the real benefits of FP? |
| 07/05/2006 | AI work | What are the real benefits of FP? |
| 06/14/2006 | Dynamic languages ? | HLVM - High Level Virtual Machine toolkit for dynamic languages |
| 06/14/2006 | Vault ? | A thought on the design of new low-level languages... |
| 06/08/2006 | Actually | Joshua Bloch: "Nearly All Binary Searches Broken" |
| 06/08/2006 | Just messing around | Joshua Bloch: "Nearly All Binary Searches Broken" |
| 06/08/2006 | Is my question really that | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | 1. I want to know previous | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | Domain-specific knowledge | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | So no loops or any execution | Why Are ALL Programming Languages So Low Level? |
| 06/09/2006 | Fair enough | Why Are ALL Programming Languages So Low Level? |
| 06/12/2006 | Just a suggestion | Why Are ALL Programming Languages So Low Level? |
| 06/06/2006 | Some bits look familiar | emulation for Erlang style processes |
| 06/08/2006 | Chalk tutorial | emulation for Erlang style processes |
| 03/23/2006 | True and false | Gosling vs. Dynamic Languages |
| 02/27/2006 | Mozilla | Leak Free Javascript Closures |
| 02/24/2006 | Intuitively | Effects on stability/exception handling of massively parallel programs |
| 02/24/2006 | C# / VB / Boo not that big a deal | source code conversion |
| 02/24/2006 | o:XML | source code conversion |
| 02/15/2006 | Short anecdote | eWeek: 'Exotic' Programming Tools Go Mainstream |
| 01/31/2006 | Sets ? | Weak vs. strong typing |
| 01/31/2006 | Linking | PyPy |
| 01/27/2006 | Generators ? | MyHDL |
| 01/31/2006 | VHDL is not dynamic enough | MyHDL |
| 01/23/2006 | Debian | Choice of OS of LtU readers |
| 01/17/2006 | In my experience | Pi-calculus and mobile system books |
| 06/06/2006 | How does this help ? | Return of the Global Variables? |
| 11/21/2005 | Dependent types: literature, implementations and limitations ? | Dependent types: literature, implementations and limitations ? |
| 11/22/2005 | Any term ? | Dependent types: literature, implementations and limitations ? |
| 11/22/2005 | Food for thought | Dependent types: literature, implementations and limitations ? |
| 11/22/2005 | My bad | Dependent types: literature, implementations and limitations ? |
| 11/22/2005 | OCaml | Monads in Ruby |
| 11/14/2005 | Schizophrenia + operators | OCaml 3.0.9 |
| 10/25/2005 | Working on it... | Linear types for aliased resources |
| 10/27/2005 | Phantom types ? | Linear types for aliased resources |
| 10/27/2005 | Thanks | Linear types for aliased resources |
| 10/21/2005 | Equivalences | What do you mean by studying "programming languages"? |
| 10/21/2005 | Simplistic answer: | What do you mean by studying "programming languages"? |
| 11/03/2005 | Yeah, but | Bruce Tate: Technologies that may challenge Java |
| 10/25/2005 | IDEs | Bruce Tate: Technologies that may challenge Java |
| 10/25/2005 | Not so surprising | Bruce Tate: Technologies that may challenge Java |
| 10/28/2005 | Scary | Bruce Tate: Technologies that may challenge Java |
| 10/28/2005 | Really ? | Bruce Tate: Technologies that may challenge Java |
| 11/08/2005 | Congratulations | Bruce Tate: Technologies that may challenge Java |
| 10/21/2005 | It's much more impressive to | C#: Yesterday, Today, and Tomorrow: An Interview with Anders Hejlsberg |
| 10/20/2005 | Consider yourself lucky | Multigame A Very High Level Language for Describing Board Games |
| 10/12/2005 | Runtime transformation | Macros/Syntax vs. AST manipulation |
| 10/18/2005 | Put like this... | Macros/Syntax vs. AST manipulation |
| 10/18/2005 | It wasn't until the invention | The Church-Turing Thesis: Breaking the Myth |
| 10/10/2005 | Xul | XNHTML |
| 10/11/2005 | Examples ? | XNHTML |
| 10/12/2005 | I think I got it | XNHTML |
| 10/12/2005 | Well, there's parsing and parsing... | XNHTML |
| 10/12/2005 | Fair enough | XNHTML |
| 10/20/2005 | Actually | Scalability |
| 09/21/2005 | Myths ? | Dynamic typing in OCaml |
| 09/21/2005 | Mists ? | Dynamic typing in OCaml |
| 09/21/2005 | Fair enough. | Dynamic typing in OCaml |
| 09/07/2005 | Algorithimic type system ? | Apple: procedural -> OO -> AOP -> advanced procedural |
| 09/07/2005 | Drawback | OO Language Engineering for the Post-Java Era |
| 07/25/2005 | Sounds like garbage-collection | AdbmaL |
| 06/13/2005 | So ? | New C++-like language for Windows |
| 05/09/2005 | Macros | Let's make a programming language! |
| 05/06/2005 | Sure does | Let's make a programming language! |
| 05/06/2005 | Er... | Let's make a programming language! |
| 05/06/2005 | Plenty of interesting ideas but... | Let's make a programming language! |
| 05/04/2005 | Static vs Dynamic | Why do computers stop and what can be done about it? |
| 05/04/2005 | (Un)marshalling | Why do computers stop and what can be done about it? |
| 05/05/2005 | I see | Why do computers stop and what can be done about it? |
| 05/03/2005 | A few examples | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/03/2005 | Sounds interesting | Call for Papers: ACM Symposium on Dynamic Languages |
| 04/29/2005 | Technically... | Memory fault and segmentation faults |
| 05/03/2005 | Here it is | Memory fault and segmentation faults |
| 05/04/2005 | Fair enough | Memory fault and segmentation faults |
| 05/04/2005 | NPE | Memory fault and segmentation faults |
| 05/04/2005 | Well, technically | Memory fault and segmentation faults |
| 05/05/2005 | Of hand-waving-friendlyness | Memory fault and segmentation faults |
| 04/27/2005 | Looks familiar | The Fortress Language Spec v0.618 |
| 05/06/2005 | Speaking of syntax | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 05/06/2005 | Shootout ? | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 04/26/2005 | First, a question | Virtual Machine and Runtime Framework |
| 04/26/2005 | Then, a few suggestions | Virtual Machine and Runtime Framework |
| 04/27/2005 | Not completely true | Virtual Machine and Runtime Framework |
| 04/27/2005 | Similar concerns | Virtual Machine and Runtime Framework |
| 04/22/2005 | It's a shameless plug but I agree | Why do they program in C++? |
| 04/26/2005 | Well, another conclusion | Why do they program in C++? |
| 04/26/2005 | [OT] Hospitals | Why do they program in C++? |
| 04/29/2005 | Thanks | Why do they program in C++? |
| 04/26/2005 | I have to wonder whether the | Why do they program in C++? |
| 04/26/2005 | Preprocessor ? | Why do they program in C++? |
| 04/25/2005 | However | Why do they program in C++? |
| 05/03/2005 | Yes and No | Why do they program in C++? |
| 04/22/2005 | Advanced Chess, er... Mathematics | Computer generates verifiable mathematics proof |
| 04/20/2005 | Encodings (wikipedia) | Encodings (wikipedia) |
| 04/13/2005 | About learning new languages | Links |
| 04/13/2005 | Links meets Mozilla | Links |
| 04/05/2005 | More details ? | Recovering resources in the pi-calculus |
| 04/05/2005 | Fame and glory | Recovering resources in the pi-calculus |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |