Posts By: Greg Buchholz
Date | Post | Topic |
02/22/2012 | Pure | A Concept Design for C++ |
01/24/2012 | STEPS 2011 Progress Report (personal computing in 20kLOC) | STEPS 2011 Progress Report (personal computing in 20kLOC) |
07/22/2011 | Clojurescript | Clojurescript |
07/29/2011 | "why eval was excluded" | Clojurescript |
03/02/2011 | J language source to be released under GPLv3 | J language source to be released under GPLv3 |
03/03/2011 | I can't believe | J language source to be released under GPLv3 |
03/07/2011 | Download | J language source to be released under GPLv3 |
01/27/2011 | HDLs, etc. | I've run out of programming languages to study |
11/12/2010 | Do we? | Conservative Logic |
11/12/2010 | Reversible Computing | Conservative Logic |
11/14/2010 | DNA | Conservative Logic |
09/29/2010 | Python Reinteract | What is the best system for experimenting with and visualizing complex algorithms? |
09/20/2010 | Dasher | Programming with touch? |
07/28/2010 | Stats... | It's been ten years! |
07/01/2010 | XPCE: the SWI-Prolog native GUI library | Logic programming based GUI framework |
11/07/2009 | The embarrassing way to code | John Hughes on Erlang and Haskell |
11/05/2009 | Haskell Type Constraints Unleashed | Haskell Type Constraints Unleashed |
06/03/2009 | Monadic Constraint Programming | Monadic Constraint Programming |
04/26/2009 | Coherent Reaction | Coherent Reaction |
04/24/2009 | Available on CiteSeer | Intentional tool released |
03/06/2009 | PLT | The Meta-LtU Thread |
03/07/2009 | Formal methods??? | The Meta-LtU Thread |
10/06/2008 | Obligatory... | Inspiring Papers |
02/06/2009 | Mere? | Twilight of the GPU |
09/13/2008 | The many uses of append/3 | Irresistible programs |
07/28/2008 | Conservative Logic | Beyond FRP: physics-inspired programming abstractions? |
07/24/2008 | Different from Haskell? | Type classes and type generator restrictions |
07/24/2008 | No place to put context | Type classes and type generator restrictions |
07/22/2008 | Cyclone | Systems programming in languages other than C? |
07/11/2008 | QCalc | In search for a programming language to replace spreadsheets. |
06/28/2008 | Nested data types | Type system that can type list structure? |
04/08/2008 | Labview? | Simply efficient functional reactivity |
03/16/2008 | ZPL? | Languages best suited for scientific computing? |
01/26/2008 | Axioms and Theorems for a Theory of Arrays | Axioms and Theorems for a Theory of Arrays |
01/05/2008 | What is Late Binding? | Early vs. late binding dogma/experiences? |
11/21/2007 | Shapiro's Algorithmic Program Diagnosis | Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach |
09/19/2007 | Obligatory.. | Binary Lambda Calculus and Combinatory Logic |
09/21/2007 | Fruit | Binary Lambda Calculus and Combinatory Logic |
08/15/2007 | Metaobject protocols: Why we want them and what else they can do | Metaobject protocols: Why we want them and what else they can do |
07/18/2007 | Complications | Whoever does not understand LISP, is doomed to reinvent it. |
07/09/2007 | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
07/25/2007 | Type systems as Aspects? | From abstract interpretation to small-step typing |
03/02/2007 | Can Programming Be Liberated from the von Neumann Style? | Non-Applicative Functional Languages |
02/12/2007 | Automatic termination proofs for programs with shape-shifting heaps | Automatic termination proofs for programs with shape-shifting heaps |
02/07/2007 | Inside-out | Programming Shorthands |
02/07/2007 | Zip Comprehensions | Programming Shorthands |
02/07/2007 | Best language to write this in? | Programming Shorthands |
02/10/2007 | Implementation in Lisp | Programming Shorthands |
02/09/2007 | ¬FSM? | Termination Checking with Types |
02/02/2007 | Haskell | Generic Programming, Now! |
02/02/2007 | Closer? | Generic Programming, Now! |
01/23/2007 | Total Functional Programming | Total Functional Programming |
01/23/2007 | Induction on naturals? | Total Functional Programming |
01/24/2007 | 2/3's the way there? | Total Functional Programming |
01/24/2007 | *Almost* | Total Functional Programming |
01/24/2007 | What About the Natural Numbers | Total Functional Programming |
01/20/2007 | Comonads? | Have I Missed Something ? |
02/16/2007 | Personal Experience? | Why people don't use functional programming? |
02/27/2007 | Magic Numbers & Fault Density? | Why people don't use functional programming? |
03/02/2007 | Haskell declarations? | Why people don't use functional programming? |
03/03/2007 | And some starter threads... | Why people don't use functional programming? |
03/03/2007 | [∃x(x)] | Why people don't use functional programming? |
03/05/2007 | Formless blobs. | Why people don't use functional programming? |
03/05/2007 | I think there's probably | Why people don't use functional programming? |
01/04/2007 | Trouble Shared is Trouble Halved | Can referential transparency be bad? (puzzle included) |
01/03/2007 | Missing style for <quote>? | Missing style for <quote>? |
01/03/2007 | PLAI | Type inference and unification algorithms |
01/02/2007 | Cyclomatic Complexity | Metrics for Programmatic Complexity? |
12/21/2006 | Hoogle | (Even more) theorems for free? |
12/21/2006 | They figured out, long | The Role of Composition in Computer Programming |
12/28/2006 | An introduction to J for Haskell, ML, or Scheme programmers? | The Role of Composition in Computer Programming |
02/19/2010 | Simple ray tracer... | The Role of Composition in Computer Programming |
11/29/2006 | CCured | C++ has indeed become too "expert friendly" |
11/19/2006 | ML Modules and Haskell Type Classes: A Constructive Comparison | Modular Type Classes |
11/15/2006 | Computed goto | Functional programming and software engineering |
10/29/2006 | Prolog | Want to learn something new |
11/06/2006 | breaking the von Neumann bottleneck... | Want to learn something new |
10/27/2006 | Mind expanding stuff... | Practical OCaml |
10/25/2006 | GADT vs. Type Classes | GADT vs. Type Classes |
10/26/2006 | GADTization | GADT vs. Type Classes |
11/03/2006 | Parser | GADT vs. Type Classes |
10/02/2006 | Executing a type program | Tim Bray: Dynamic-Language IDEs |
09/24/2006 | Two/three tuple in Haskell? | SSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing? |
08/28/2006 | Do O(1) arrays really exist? | Implementing arrays |
08/28/2006 | For a given technology... | Implementing arrays |
08/28/2006 | Sure, but... | Implementing arrays |
08/29/2006 | Er, I guess I did a bad job | Implementing arrays |
12/04/2006 | You need a fancier type for foo... | unchecked exceptions are like runtime type checking? |
08/28/2006 | Common Lisp | Lisp Lovers, how would you fix Lisp or bring it up to date? |
08/04/2006 | Don't forget Clean | Software Extension and Integration with Type Classes |
07/12/2006 | opportunity costs? | Abstracting Allocation: The New new Thing |
07/03/2006 | Common vs. Civil Law? | LtU: Policies document |
06/12/2006 | ML Modules and Haskell Type Classes: A Constructive Comparison | ML Modules and Haskell Type Classes: A Constructive Comparison |
06/09/2006 | Epigram in Epigram? | Relevance of Curry-Howard |
06/09/2006 | My CPU is a FSM | Relevance of Curry-Howard |
05/29/2006 | In Static Type checking | First Class Values, Types as values within a Programming Language |
05/30/2006 | Non top-level types? | First Class Values, Types as values within a Programming Language |
05/11/2006 | Compilers | Building Interpreters by Composing Monads |
05/11/2006 | Algebra of Joy | Optimization - Symmetric Reductions |
06/09/2006 | Living w/o type classes in O'Caml? | Multidimensional Virtual Classes |
06/10/2006 | Do they pass the Oleg test? | Multidimensional Virtual Classes |
05/15/2006 | Where to start? (theorem provers, etc.) | Open data types and open functions |
07/03/2006 | Polymorphic variants in Haskell | Open data types and open functions |
05/02/2006 | Fusion | Filter-Reduce Optimization |
04/05/2006 | Here's some links to get you | any functional language without GC? |
03/29/2006 | Probabilistic Type Systems? | Extremely static language? |
03/18/2006 | Visual Haskell | ACM Queue: On Usability of Programming Languages |
03/10/2006 | Higher-order Logic Programming in Prolog | Towards Applicative Relational Programming |
03/14/2006 | Cross Concatenation in Haskell | Rich resource site for the programming language "K" |
03/14/2006 | Transliterating to Language "X" | Rich resource site for the programming language "K" |
02/22/2006 | boost::tuples are first class | Stroustrup: A Brief Look at C++0x |
02/28/2006 | {1, 2} + {3, 4} | Stroustrup: A Brief Look at C++0x |
02/10/2006 | Cheating? | Is STL algorithms doing damage to the cause? |
02/09/2006 | No GADTs | How are GADTs useful in practical programming? |
02/06/2006 | What kind of work? | hypothetical question |
02/09/2006 | Isn't it possible to | The Next Mainstream Programming Languages |
02/02/2006 | Maybe Example... | What is a monad, why should I use it, and when is it appropriate? |
01/25/2006 | Coyotos | Promising OS's from a Programming Language Perspective |
01/23/2006 | Thermodynamics? | Haskell is not not ML |
01/01/2006 | FSF | Auld Lang Alice |
12/09/2005 | I like... | Types and reflection |
12/09/2005 | Also of possible interest... | Types and reflection |
12/02/2005 | Functional Dependencies | Conjunction types |
11/21/2005 | Prolog | Monads in Ruby |
04/27/2009 | Program Transformation and Optimization in Calculational Form | Algebra Of Programming (Bird, De Moor) |
11/03/2005 | Combinators | Geometric Algebra |
11/02/2005 | Pronouncing ">>" | Smalltalk case-statement |
10/31/2005 | More links | The Type-System-Feature-Creep Death Spiral |
11/03/2005 | Dynamic Typing in a Statically Typed Language | OOPSLA 2005 Reports |
11/03/2005 | eval, etc. in a static language... | OOPSLA 2005 Reports |
11/04/2005 | Number Parameterized Types | OOPSLA 2005 Reports |
10/31/2005 | Roots of Lisp | OOPSLA 2005 Reports |
11/03/2005 | OT: space leak | Bruce Tate: Technologies that may challenge Java |
10/31/2005 | zipWith? | Bruce Tate: Technologies that may challenge Java |
10/18/2005 | Best default sequence? | Best default sequence? |
10/21/2005 | Monads anyone? | Best default sequence? |
08/16/2006 | Fixing some space leaks with a garbage collector | Object Oriented Programming + Referential Transparency |
10/17/2005 | A spoonful of sugar... | Territorial Exception Handling |
10/05/2005 | What is late binding? | Static type inference & late binding? |
11/13/2006 | Static type inference & late binding? | Static type inference & late binding? |
10/05/2005 | link | Number-Parameterized Types by Oleg Kiselyov |
09/30/2005 | Looping in APL | "The Anatomy of a Loop" |
09/30/2005 | But... | "The Anatomy of a Loop" |
10/05/2005 | Been There. Done That. | "The Anatomy of a Loop" |
09/27/2005 | A Group Is Its Own Worst Enem | LtU: Style and Focus |
09/22/2005 | comonads and RT? | The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene |
09/21/2005 | Intent | Dynamic typing in OCaml |
09/15/2005 | Garbage Collection as a Lazy Algorithm | Garbage Collection as a Lazy Algorithm |
09/16/2005 | Yes | Garbage Collection as a Lazy Algorithm |
09/07/2005 | Type enforced conservation laws | Combining Theorem Proving and Programming |
09/09/2005 | DML? | Combining Theorem Proving and Programming |
09/08/2005 | Noether | Combining Theorem Proving and Programming |
09/06/2005 | Linear Lisp | Yearning for a practical scheme |
08/24/2005 | Safe array access | Ivory Towers and Gelfand's Principle |
08/22/2005 | Functional anti-memoization | Functional anti-memoization |
08/23/2005 | Dataflow? | Functional anti-memoization |
08/25/2005 | Just checking | Functional anti-memoization |
08/16/2005 | linking to a post | Forum usability |
08/12/2005 | Dependent and Generalized Algebraic Types | Invariants/Contracts vs. types |
08/11/2005 | Larger Subroutines == Fewer Defects | Larger Subroutines == Fewer Defects |
08/12/2005 | Yes, my functions tend to be | Larger Subroutines == Fewer Defects |
08/12/2005 | Another aspect. | Larger Subroutines == Fewer Defects |
08/10/2005 | Monads | Concatenative Language Kont |
08/10/2005 | Types? | Concatenative Language Kont |
08/10/2005 | More Linear | Concatenative Language Kont |
08/10/2005 | low vs. lower | Concatenative Language Kont |
08/10/2005 | Static vs. Dynamic | Concatenative Language Kont |
08/11/2005 | The original thread | Concatenative Language Kont |
08/15/2005 | Squinting | Concatenative Language Kont |
08/12/2005 | More confusion? | Concatenative Language Kont |
08/10/2005 | Foreign? | Concatenative Language Kont |
08/12/2005 | Joy in Haskell | Concatenative Language Kont |
08/04/2005 | Ask, and you shall receive... | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
08/04/2005 | Yes. | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
07/29/2005 | It's Friday | Slides for ' Programming in Haskell' |
07/29/2005 | Language support for generating functions? | Language support for generating functions? |
07/29/2005 | Needs | Language support for generating functions? |
07/27/2005 | Physics? | The Complexity Zoo |
07/20/2005 | Magpie? | On the Revival of Dynamic Languages |
07/21/2005 | Tek Labs | On the Revival of Dynamic Languages |
07/11/2005 | Abstract Interpretation | Static Typing Where Possible, Dynamic Typing When Needed |
06/30/2005 | rows per column | Hungarian Notation vs The Right Thing |
06/30/2005 | Not buying it | Hungarian Notation vs The Right Thing |
06/30/2005 | Previously, on LtU... | Hungarian Notation vs The Right Thing |
06/23/2005 | Static Types vs. Partially Evaluated Latent Types | Static Types vs. Partially Evaluated Latent Types |
06/24/2005 | Clairification | Static Types vs. Partially Evaluated Latent Types |
06/24/2005 | Excellent | Static Types vs. Partially Evaluated Latent Types |
06/23/2005 | Which communities? | How To Read a Paper |
06/24/2005 | Maybe, but... | How To Read a Paper |
06/08/2005 | No DRM then? | What will Apple's move to Intel mean for Alternative Language Communities? |
06/01/2005 | Something to chew on | Basic(er) Simple(r) Type Theory(?) |
09/19/2006 | CA Embedded DSL in Haskell | Cellang |
09/08/2006 | Invalid file? | Cellang |
05/02/2005 | One difference | Call for Papers: ACM Symposium on Dynamic Languages |
04/26/2005 | Many reasons | Expressivity of lisp/scheme but speed of assembly/C/C++ |
04/20/2005 | Allowing currying means we lo | Qi 6.1 released |
04/11/2005 | OTCC | Language Design 101 |
04/05/2005 | Inspiring Languages? | Mechanics of designing and implementing a language |
03/18/2005 | Halting program density? | Halting program density? |
03/18/2005 | Very much related. | Halting program density? |
03/18/2005 | Another try | Halting program density? |
03/18/2005 | For us empiricists | Halting program density? |
03/23/2005 | Elegant programs | Halting program density? |
03/22/2005 | Biology | Embedding one language in another |
06/03/2005 | [OT] Why PDF? | Issue One of The Monad.Reader, monthly Haskell eZine |
02/15/2005 | Alloy vs. QuickCheck | ACM Queue: A Conversation with Alan Kay |
03/01/2005 | Perl in Perl | ACM Queue: A Conversation with Alan Kay |
03/01/2005 | Where the magic happens | ACM Queue: A Conversation with Alan Kay |
03/02/2005 | So that's what hyperlinks are for! | ACM Queue: A Conversation with Alan Kay |
12/19/2006 | A type system for bounded | Transparent Persistence |
12/19/2006 | Details | Transparent Persistence |
01/27/2005 | Typed Reflection | BitC, a new OS implementation language |
01/28/2005 | Functional nirvana? | BitC, a new OS implementation language |
01/27/2005 | 31 bit ints | Langauges and Hardware... |
01/27/2005 | Dynamic Languages | Langauges and Hardware... |
01/26/2005 | Other HDLs | Langauges and Hardware... |
01/27/2005 | O'Caml revised syntax | "Popular vs. Good" in Programming Languages |
01/27/2005 | Taking advantage of current parallelism? | Implicit parallel functional programming |
01/21/2005 | Advanced Scheme? | Getting Started |
01/21/2005 | doing it | Getting Started |
01/18/2005 | Dynamic Eager Haskell | Dynamic Eager Haskell |
01/18/2005 | runtime behavior | Dynamic Eager Haskell |
01/18/2005 | Nonlinearities, etc. | Dynamic Eager Haskell |
01/19/2005 | Easy? | Dynamic Eager Haskell |
01/08/2005 | Eliminate recursion | Ian Bicking: The challenge of metaprogramming |
01/09/2005 | Perl6 | Ian Bicking: The challenge of metaprogramming |
01/10/2005 | Dasher | Speech-to-text friendly programming languages |
01/03/2005 | Eliminating Array Bound Checking | SPARKAda |
01/04/2005 | Other high assurance languages? | SPARKAda |
12/09/2004 | Lisp for the 21st century? | Casting SPELs in Lisp |
12/03/2004 | Download page? | Lazy K |
11/22/2004 | Accessing libraries through the file system | Extending Ruby with C |
11/09/2004 | wxFruit | Language comparison experiment |
11/10/2004 | As long as you mentioned it... | Language comparison experiment |
09/14/2004 | Faking it (even better) | Faking it (even better) |
09/15/2004 | Objects in Haskell | Faking it (even better) |
08/27/2004 | Typed Hardware | "Types and Reflection" by Lauri Emil Alanko |
08/17/2004 | microkernels | The right default: concurrent components with message passing |
08/10/2004 | Haskell and typing | Why type systems are interesting - part II |
08/12/2004 | Haskell typing | Why type systems are interesting - part II |
10/11/2006 | Implicit Configurations | Why type systems are interesting - part II |
10/10/2006 | Even Number Type | Why type systems are interesting - part II |
08/12/2004 | sorted-list type | Why type systems are interesting - part II |
08/12/2004 | Automatic Algorithm Inference | Why type systems are interesting - part II |
01/23/2007 | Renumbering vs. Renaming | A Visual Environment for Developing Context-Sensitive Term Rewriting Systems |
05/26/2006 | Exception-Free Programming | Why type systems are interesting |
09/24/2004 | Monads in Perl | Explaining monads |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |