Posts By: Scott Turner
| Date | Post | Topic |
| 12/29/2011 | highly trained mathematicians | Seven Myths of Formal Methods Revisited |
| 02/14/2010 | that's me | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/15/2010 | having to explain | A few billion lines of code later: using static analysis to find bugs in the real world |
| 12/15/2009 | Surreal Numbers | Claiming Infinity |
| 06/30/2009 | one "interesting" C program | Most powerful terminating semantics? |
| 05/19/2009 | strict types in the lazy source language | Types are Calling Conventions |
| 05/20/2009 | liking Zeilberger's approach | Types are Calling Conventions |
| 05/12/2009 | it works | Conversations with the Creators of Major Programming Languages |
| 10/28/2007 | the truth about formality | Gödel, Nagel, minds and machines |
| 05/08/2007 | eBook | Church's Thesis and Functional Programming |
| 02/12/2006 | development team interface to program | Guido: Language Design Is Not Just Solving Puzzles |
| 01/24/2006 | reminds me of call-by-push-value | Haskell is not not ML |
| 01/21/2006 | incompleteness theorem | What is a Proposition? |
| 11/11/2005 | A compiler is a model generator. | Putting Curry-Howard to Work |
| 09/20/2005 | direct link | Nemerle and C# 3.0 |
| 12/20/2005 | understanding computers | AdbmaL |
| 06/09/2005 | fundamental structures | Data locality and data structures |
| 07/22/2005 | Haskell Workshop talk | GADTs + Extensible Kinds = Dependent Programming |
| 05/06/2005 | a simple language *system* | Let's make a programming language! |
| 05/06/2005 | more so than Felix | Let's make a programming language! |
| 04/18/2005 | remember the references | Anyone remember Russell (the language, that is)? |
| 04/18/2005 | most basic types | Mechanics of designing and implementing a language |
| 04/18/2005 | primary colors | Mechanics of designing and implementing a language |
| 03/29/2005 | totally different? | expressivity of "idiomatic C++" |
| 03/29/2005 | for the reader to complete | expressivity of "idiomatic C++" |
| 03/29/2005 | OP? | expressivity of "idiomatic C++" |
| 03/30/2005 | C++ still not comparable to Haskell | expressivity of "idiomatic C++" |
| 04/02/2005 | Mathematica not comparable to Haskell | expressivity of "idiomatic C++" |
| 03/31/2005 | programmatic nature of quantum electrodynamics | Programmatic nature of subatomic make up |
| 03/15/2005 | macro TIFFs to PDF | Interview with Donald Knuth |
| 01/31/2005 | neologism | Neologism |
| 02/03/2005 | reinventing the call-by-push-value | Neologism |
| 01/29/2005 | thinking out loud | BitC, a new OS implementation language |
| 01/30/2005 | types for program behavior | BitC, a new OS implementation language |
| 01/25/2005 | The demands are driven by use | "Popular vs. Good" in Programming Languages |
| 01/10/2005 | TCO surprise | Ian Bicking: The challenge of metaprogramming |
| 01/12/2005 | not on target | Ian Bicking: The challenge of metaprogramming |
| 01/12/2005 | tco(E) | Ian Bicking: The challenge of metaprogramming |
| 01/08/2005 | the continuations path | Ian Bicking: The challenge of metaprogramming |
| 01/07/2005 | It's coming | Implementation of FPL |
| 01/07/2005 | It's in the Types | Links (Wadler) |
| 12/05/2004 | types in Heron | Definition of Type |
| 11/19/2004 | wannabe DSLs? | Language Oriented Programming |
| 11/13/2004 | what C/C++ should've been | ACM Queue: There's Still Some Life Left in Ada |
| 11/08/2004 | overloading and inference | Ideas about a language. |
| 11/09/2004 | re: overloading and type inference | Ideas about a language. |
| 11/08/2004 | types and pattern matching | Ideas about a language. |
| 10/24/2004 | definition plus experience | What's a definition of "type" that beginners can understand? |
| 10/28/2004 | a straight definition | What's a definition of "type" that beginners can understand? |
| 10/22/2004 | data parallel programming | MapReduce - functional programming in the REAL World |
| 10/19/2004 | feeling the bits between your toes | Two Languages (high+low level) vs One Language |
| 10/22/2004 | Python nested scopes | Interesting? closure/object idea |
| 10/08/2004 | favorite control operators | Ken Shan: Shift to Control |
| 10/08/2004 | Where's the catch? | Ken Shan: Shift to Control |
| 02/17/2005 | superiority vanishes | Call-by-what? |
| 09/14/2004 | Call-by: Both | Call-by-what? |
| 07/14/2004 | Re: No magic? | Explaining monads |
| 07/13/2004 | first-class continuations | Understanding continuations |
| 07/08/2004 | The problem is display, not concatenation. | International Components for Unicode 3.0 Released |
| 06/30/2004 | runtime errors that are type errors | Debugging Functional Programs |
| 03/21/2004 | Re: Min-Maxing languages | Min-Maxing languages |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |