Posts By: Brandon Moore
| Date | Post | Topic |
| 10/08/2011 | Categorical Programming Language | Data, Codata, and Their Implications for Equality, and Serialization |
| 04/01/2011 | Constrained by implementation | Finding and Understanding Bugs in C Compilers |
| 04/01/2011 | Usability | Finding and Understanding Bugs in C Compilers |
| 03/05/2011 | How do you define observable behavior? | Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 |
| 02/23/2011 | Properties and, interfaces | Monads vs. Actors |
| 02/26/2011 | Countable Choice not provable in ZF | Monads vs. Actors |
| 02/28/2011 | Not even pairs | Monads vs. Actors |
| 02/28/2011 | Connection | Monads vs. Actors |
| 02/28/2011 | Enumeration | Monads vs. Actors |
| 01/01/2011 | Mostly-structural Recursion | The AST Typing Problem |
| 11/17/2010 | Sampling | A Preliminary Survey on Functional Programming |
| 11/21/2010 | Randomness and Randomness | A Preliminary Survey on Functional Programming |
| 09/27/2010 | Strong Normalization | Omega - Language of the Future |
| 09/15/2010 | Coq | Mildly Extended MixFix |
| 12/08/2010 | Object Representation | Articles on Precise GC with Parametric Polymorphism |
| 12/08/2010 | Unboxed Numbers | Articles on Precise GC with Parametric Polymorphism |
| 08/06/2010 | Not closed world semantics at all | Overlapping Instances + Functional Dependencies Unsound? |
| 07/22/2010 | Read On! | Scribble: Closing the Book on Ad Hoc Documentation Tools |
| 07/12/2010 | Mutation / Linearity | The Rust Language |
| 08/13/2009 | Isn't that standard for total programming? | The End of the GPU Roadmap |
| 02/03/2009 | What's wrong with that codata? | Ruling out nonsensical data type definitions |
| 02/03/2009 | Maybe complain about void | Ruling out nonsensical data type definitions |
| 11/18/2008 | Approximation | Total functional language self interpreter? |
| 06/11/2008 | Also why Turing incompleteness. | On the importance of Turing completeness |
| 06/11/2008 | That's Coq | On the importance of Turing completeness |
| 06/10/2008 | Like Haskell? | erlang green threads and the CLR |
| 04/22/2008 | Poor terminology | program verification: the very idea |
| 04/22/2008 | "Uncontroversial" | program verification: the very idea |
| 05/07/2008 | Polymorphism guarded by constructors | FPH: First-class Polymorphism for Haskell |
| 03/19/2008 | Synthesis | Higher-Order Programming without Closures? |
| 03/13/2008 | Not Directly | Languages best suited for scientific computing? |
| 03/17/2008 | Semantic Examples | Eriskay: a Programming Language Based on Game Semantics |
| 03/12/2008 | true == implicit? | Confused Deputies in Programming Languages |
| 03/17/2008 | Example | Confused Deputies in Programming Languages |
| 03/17/2008 | Chroot | Confused Deputies in Programming Languages |
| 03/05/2008 | Monads | Learning language design |
| 02/18/2008 | Parallel Complexity | Recursive Algorithms that cannot be expresses with Tail-Recursion? |
| 01/04/2008 | CPS and paremetricity | The worker/wrapper transformation |
| 12/19/2007 | Quick Execution | A Growable Language Manifesto |
| 12/19/2007 | Safety Guarantees, Quantifiers | A Growable Language Manifesto |
| 12/12/2007 | Little built in | poll: syntax |
| 12/12/2007 | Epigram and LOOP | Subtext 2 Video |
| 12/05/2007 | Freeing memory in a heap | Monadic and Substructural Type Systems for Region-Based Memory Management |
| 11/26/2007 | Time Value of Money | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/20/2007 | Ack! | What are the properties of "Functional Programming Languages"? |
| 11/19/2007 | Missing polymorphism | Well-typed programs can't be blamed |
| 11/19/2007 | Perhaps this is a case where | Well-typed programs can't be blamed |
| 11/12/2007 | Goodstein's Theorem | Universal Type System |
| 11/13/2007 | So what can't be done with static compilation? | Dependent Classes |
| 11/02/2007 | That's not pure | On the Importance of Purity |
| 11/29/2007 | By Definition | On the Importance of Purity |
| 11/02/2007 | Unbounded LBA? | The simplest mechanism with Turing-equivalent power to date ... |
| 10/22/2007 | GHCi | Any multi-threaded interpreters? |
| 10/09/2007 | Binaries are shared | Tim Bray and Erlang |
| 08/24/2007 | Duck Typing and Structural Subtyping | Duck Typing advocated where? |
| 08/24/2007 | Function type annotations | An Accidental Simula User, Luca Cardelli |
| 06/11/2008 | Depends what "monad" means | Diagram showing all programming paradigms and their relationships |
| 08/12/2007 | modified collectors | Garbage Collection Without Paging |
| 08/12/2007 | Robustness and Resource Accounting | Ralph Johnson: Erlang, the next Java |
| 07/18/2007 | Non-standard semantics | Type inference for free? |
| 07/10/2007 | Nontermination and Soundness | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 06/29/2007 | Second in a series | The dream of Church and Curry realized? |
| 06/25/2007 | Hindley Milner | Fully Inferable Languages |
| 06/26/2007 | Even stronger | Fully Inferable Languages |
| 06/21/2007 | Acute | HOT Pickles |
| 06/01/2007 | Abstraction, not type checking | Type-sensitive control-flow analysis |
| 05/04/2007 | Transformation Patterns | Combining Total and Ad Hoc Extensible Pattern Matching in a Lightweight Language Extension |
| 04/12/2007 | Stream Fusion | Stream Fusion |
| 04/12/2007 | Authors | Stream Fusion |
| 04/04/2007 | Delimited Control | Generators/Iterators and lazy evaluation |
| 02/08/2007 | Maybe the seeds of some arguments? | Patrick Logan on Software Transaction Memory |
| 02/06/2007 | Curry-Howard and Termination | Termination Checking with Types |
| 06/12/2007 | Type Reconstruction | Steps Toward The Reinvention of Programming |
| 02/06/2007 | See also Active Libraries | Meta-Compilation of Language Abstractions |
| 01/25/2007 | How to automate? | Total Functional Programming |
| 02/27/2007 | Programs in Coq | Total Functional Programming |
| 02/14/2007 | One size fits all | Why people don't use functional programming? |
| 01/04/2007 | Representing cyclic structures as nested datatypes | Can referential transparency be bad? (puzzle included) |
| 01/02/2007 | Algol 60 | Why numbering should start at 0 |
| 12/15/2006 | Earlier Thread | path-sensitive dataflow analysis. How? |
| 12/08/2006 | Also Distributed Haskell? | Erlang vs C++ for Robust Telecom Software |
| 12/01/2006 | Human factors vs. Intuition | The Future of LtU |
| 10/02/2006 | ML has Principal Typings | Tim Bray: Dynamic-Language IDEs |
| 10/02/2006 | Definitions | Tim Bray: Dynamic-Language IDEs |
| 10/02/2006 | The direction of inference | Tim Bray: Dynamic-Language IDEs |
| 09/12/2006 | Lightweight Threads vs. Threadless | Concurrency made easy? |
| 09/11/2006 | Compose Away | Parser that allow syntax extensions |
| 08/28/2006 | Cache Hierarchy | Implementing arrays |
| 08/27/2006 | Compile time analysis and type checking | unchecked exceptions are like runtime type checking? |
| 08/27/2006 | For Finite Programs | unchecked exceptions are like runtime type checking? |
| 08/29/2006 | Termination | unchecked exceptions are like runtime type checking? |
| 08/28/2006 | Large datasets and Implementations? | Declarative Networking: Language, Execution and Optimization |
| 08/28/2006 | Distribution Control | Declarative Networking: Language, Execution and Optimization |
| 08/23/2006 | A few resources, maybe minus the BNF | generating interpreters, IDEs, etc., from simple specifications? |
| 08/09/2006 | Aside: sketching in Haskell | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 08/09/2006 | "Sum of Products" vs "Sum" | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 07/28/2006 | Polymorphic variants seem | Lightweight Static Capabilities |
| 10/02/2006 | Modular Development of Certified Program Verifiers | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 06/23/2006 | Quite a lot, I suspect | Delimited dynamic binding |
| 06/18/2006 | Both Throw and Val n are | What is the Meaning of These Constant Interruptions? |
| 06/18/2006 | Type classes in ML | ML Modules and Haskell Type Classes: A Constructive Comparison |
| 06/08/2006 | Normalizing Languages | Relevance of Curry-Howard |
| 06/03/2006 | ST | Type checking and logical errors |
| 06/02/2006 | Missing an important point | Type checking and logical errors |
| 06/05/2006 | Parametricity and Fusion | Type checking and logical errors |
| 06/05/2006 | Correct Type-checker in Epigram | Type checking and logical errors |
| 05/30/2006 | Impredicativity and Row Polymorphism | First Class Values, Types as values within a Programming Language |
| 05/31/2006 | Not meant to be exclusive | First Class Values, Types as values within a Programming Language |
| 07/19/2006 | More assumptions | First Class Values, Types as values within a Programming Language |
| 05/13/2006 | Comega | LINQ May 2006 Preview |
| 03/17/2008 | Paper has moved | A Language-Based Approach to Unifying Events and Threads |
| 12/09/2006 | Following Church's Church | Extremely static language? |
| 11/08/2007 | Full paper, CSP | Transducer Composition and CPS |
| 07/13/2006 | A Framework for Extended Algebraic Data Types | Omega |
| 06/01/2006 | gettimeofday() isn't pure | Pugs, Practicing the Theories. |
| 08/23/2006 | State Isolation | Transparent Persistence |
| 09/06/2006 | Misunderstanding ST? | Transparent Persistence |
| 11/18/2008 | Text at least | Shoot-out: most annoying compiler error message |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |