Posts By: Leland McInnes
| Date | Post | Topic |
| 06/19/2010 | Benefits of SDG | The Galois connection between syntax and semantics |
| 06/19/2008 | A couple other options | Functional Programming in the ACM CS Curriculum |
| 06/16/2008 | I have absolutely no idea of | Functional Programming in the ACM CS Curriculum |
| 05/25/2008 | System specification | Category theory in design |
| 01/21/2008 | Both more and less | Understanding category theory and its practical applications |
| 08/09/2007 | It seems quite reasonable to | Ralph Johnson: Erlang, the next Java |
| 05/24/2007 | Looks interesting | DbC + OPascal == Chrome |
| 05/24/2007 | JML has some support | Picky libraries, picky languages? |
| 05/24/2007 | I agree | Picky libraries, picky languages? |
| 05/21/2007 | Automated testing integrated into the language | Social Processes and Proofs of Theorems and Programs |
| 05/18/2007 | But what is a three? | Is Integer wrapping an exceptional condition? |
| 05/06/2007 | Real numbers on computers | Is Integer wrapping an exceptional condition? |
| 04/21/2007 | Easy learnable abstract pure math | Why is there not a PL with a mathematical type system? |
| 04/23/2007 | CASL tools | Why is there not a PL with a mathematical type system? |
| 04/21/2007 | Magma | Why is there not a PL with a mathematical type system? |
| 04/22/2007 | Analysis is hard... | Why is there not a PL with a mathematical type system? |
| 04/23/2007 | Discontinuous functions | Why is there not a PL with a mathematical type system? |
| 04/23/2007 | All true, but approximations... | Why is there not a PL with a mathematical type system? |
| 04/24/2007 | True enough | Why is there not a PL with a mathematical type system? |
| 04/24/2007 | Why analysis is hard (computationally) | Why is there not a PL with a mathematical type system? |
| 04/19/2007 | Mathematica in Mathematica | Thoughts about the Best Introductory Language |
| 04/02/2007 | Yes and no | Expect New Major Language Within Five Years |
| 03/09/2007 | Formal Spec Langauges | Automatic Programming |
| 02/19/2007 | How do you define "easy" in | Why people don't use functional programming? |
| 02/14/2007 | "Good enough" theorem proving | Why people don't use functional programming? |
| 12/19/2006 | Providing context | Teaching Discrete Mathematics via Primary Historical Sources |
| 12/19/2006 | Self directed learning | Teaching Discrete Mathematics via Primary Historical Sources |
| 12/19/2006 | Suggested reading | Teaching Discrete Mathematics via Primary Historical Sources |
| 12/07/2006 | Algebraic specification | Typing a function which includes its axioms? |
| 11/29/2006 | Or Eiffel or Ada | C++ has indeed become too "expert friendly" |
| 11/30/2006 | If you truly understand all | The Future of LtU |
| 11/16/2006 | It's not exactly what you're | Abstractly typed languages |
| 10/06/2006 | AutoTest - Automated contract based testing for Eiffel | AutoTest - Automated contract based testing for Eiffel |
| 09/19/2006 | Guido van Robot | Why Johnny can't code |
| 08/27/2006 | That Depends on the Static Typing | unchecked exceptions are like runtime type checking? |
| 08/27/2006 | I really should be more | unchecked exceptions are like runtime type checking? |
| 08/21/2006 | I always liked Eiffel for | Closures for Java or money back |
| 07/24/2006 | To my mind it is about | Cost of provably-correct code |
| 07/28/2006 | Is the set of proofs better | Cost of provably-correct code |
| 07/18/2006 | What makes you think | Advantages of Soft Typing |
| 07/18/2006 | In such a system, the usual | Advantages of Soft Typing |
| 07/18/2006 | Oh yes, I'm not saying that. | Advantages of Soft Typing |
| 06/28/2006 | Well you can apply the same | Oxymoronic? "Safety-critical development guidelines for real-time Java" |
| 06/29/2006 | In the end the clarity | Oxymoronic? "Safety-critical development guidelines for real-time Java" |
| 06/24/2006 | Feature restriction | Rules for Developing Safety-Critical Code |
| 06/08/2006 | I have no idea what you're talking about | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | What is this purity you're | Why Are ALL Programming Languages So Low Level? |
| 06/06/2006 | As long as specifications | Relevance of Curry-Howard |
| 06/02/2006 | There's a lot to be said for this | Ada UK Conference 2006 (slides & videos) |
| 06/17/2006 | For poorly specified problems | First Class Values, Types as values within a Programming Language |
| 06/18/2006 | The point is that what you | First Class Values, Types as values within a Programming Language |
| 05/21/2006 | In case you were wondering | The World's Most Maintainable Programming Language |
| 05/21/2006 | That's what I said to | The World's Most Maintainable Programming Language |
| 05/21/2006 | You can write an | ruby vs python |
| 05/15/2006 | Concurrency | ruby vs python |
| 05/14/2006 | You can do this Java | Non-null references? |
| 05/04/2006 | Exactly | Your favourite editor/IDE |
| 05/05/2006 | In much the same way I used | Your favourite editor/IDE |
| 05/03/2006 | How about | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 04/22/2006 | Not exactly optimal | The fundamental difference between Sets and Lists? |
| 04/26/2006 | Neither is more fundamental | The fundamental difference between Sets and Lists? |
| 03/29/2006 | Interpreting intent | The R Project |
| 03/27/2006 | Right tool for the job and all that | Extremely static language? |
| 04/01/2006 | A possible name | Extremely static language? |
| 03/18/2006 | Another option | ACM Queue: On Usability of Programming Languages |
| 03/06/2006 | In that general direction... | When is one thing equal to some other thing? |
| 02/13/2006 | Baby steps have to come first | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | Right tool for the job... | Guido: Language Design Is Not Just Solving Puzzles |
| 01/31/2006 | Stating assumptions | Weak vs. strong typing |
| 01/31/2006 | There's a place for both | Weak vs. strong typing |
| 02/01/2006 | I believe that's where the | Weak vs. strong typing |
| 01/31/2006 | Could provide an example of | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | I suspect we probably agree... | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | If you want simple CT | Lambda the Ultimate Set Comprehension |
| 02/03/2006 | The main difference | Lambda the Ultimate Set Comprehension |
| 01/31/2006 | Mathematicians don't care | Lambda the Ultimate Set Comprehension |
| 01/31/2006 | Yes, I'll accept that | Lambda the Ultimate Set Comprehension |
| 02/03/2006 | Funny you should say that | Lambda the Ultimate Set Comprehension |
| 02/03/2006 | The last 100 years is a lot! | Lambda the Ultimate Set Comprehension |
| 02/03/2006 | Equal is perhaps a bad term, | Lambda the Ultimate Set Comprehension |
| 01/18/2006 | The best way to avoid abuse f | Lisp is sin |
| 01/04/2006 | My problem is not with what i | Return of the Global Variables? |
| 11/29/2005 | I'd be looking at some of the | The building of robust software |
| 11/10/2005 | You need a specification | Putting Curry-Howard to Work |
| 11/03/2005 | A different approach | Geometric Algebra |
| 11/08/2005 | CASL as meta-specification | An Overview of the Singularity Project |
| 12/06/2005 | Mathematics and recursion | What is Intuitive? |
| 11/08/2005 | A little late | Invariants/Contracts vs. types |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |