Last Updated 09/08/2011

Posts By: L Spice

Date | Post | Topic |

08/31/2011 | Project page | ...PHP language research |

04/26/2011 | No fun | Iteration function in lambda calculus |

04/27/2011 | Fun vs fun | Iteration function in lambda calculus |

05/04/2011 | Functional equation | Iteration function in lambda calculus |

03/25/2011 | Missing (-) | Modern Eiffel |

03/13/2011 | Hilbert's hotel | Reference request: running out of countably many variable names |

09/03/2010 | FISh | J's concepts rank, composition, and GC |

08/20/2010 | Numeric woes | The Grafwegen Hi Compiler named Hic release 0.1 |

08/20/2010 | … and a pony! | The Grafwegen Hi Compiler named Hic release 0.1 |

08/03/2010 | Reply with 'reply'? | Looking for a language like... |

03/08/2010 | Perl | Alternative method for defining statically typed variables |

02/09/2010 | Pure Prolog? | Why prolog is by far the best, most productive, easiest programming language |

02/09/2010 | Not the only complete ordered field | Continuity Analysis of Programs |

02/09/2010 | Computable numbers are not | Continuity Analysis of Programs |

02/09/2010 | Confusion of decidability with truth? | Continuity Analysis of Programs |

02/09/2010 | It is the same as saying | Continuity Analysis of Programs |

02/03/2010 | Extreme non-choosiness | Extreme non-choosiness |

02/03/2010 | Mathematically invisible | Formal treatments (or examples of) of "function concatenation"? |

02/03/2010 | Not an integer | Depends on what "is" is |

02/11/2010 | Tuples and rings | Babel-17 v0.2 spec is out |

02/03/2010 | Link correction | The Recruitment Theory of Language Origins |

12/29/2009 | Flat representation of distributions | Is (probabilistic) non-determinism pure ? |

12/29/2009 | Functional, but with implicit domain | Is (probabilistic) non-determinism pure ? |

12/25/2009 | Just a terminological quibble | Semantic types: a fresh look at the ideal model for types |

12/19/2009 | Trademarking logic? | Direct Inference in Direct Logic(TM) |

12/18/2009 | Chunked sequences: Lookahead laziness | Chunked sequences: Lookahead laziness |

12/21/2009 | Detecting non-termination | Chunked sequences: Lookahead laziness |

12/21/2009 | Don't even need unsolved problems | Chunked sequences: Lookahead laziness |

12/21/2009 | Is this the whole point, or | Chunked sequences: Lookahead laziness |

11/06/2009 | Und dann ...? | State of the art C compiler optimization tricks |

10/29/2009 | Poor TeX! | Literate Programming: Retrospect and Prospects |

10/29/2009 | Duly quibbled | Literate Programming: Retrospect and Prospects |

10/31/2009 | I thought that … | Literate Programming: Retrospect and Prospects |

10/28/2009 | Types ?= subsets | What is a Type? |

10/24/2009 | Derived vs. inferred | Type constructors based on capabilities of type arguments? |

10/20/2009 | But what is it? | The design process for Zimbu |

10/17/2009 | Not meta? | meta-Scheme? |

10/14/2009 | Course in mathematical logic with applications to computer science | Course in mathematical logic with applications to computer science |

10/16/2009 | Love free books | Course in mathematical logic with applications to computer science |

10/16/2009 | Great pointers | Course in mathematical logic with applications to computer science |

08/25/2009 | Surprisingly, my vague definitions support my vague conclusions | Expressive Modes and Species of Language |

08/19/2009 | Halting problem | FP, auto-generated code.. |

08/12/2009 | Protection unless explicitly relaxed? | Receiver knowing the sender? |

06/26/2009 | Diagonalisation | Most powerful terminating semantics? |

06/26/2009 | In what sense? | Most powerful terminating semantics? |

06/27/2009 | Exactly what I had in mind! | Most powerful terminating semantics? |

06/26/2009 | It still consists only of terminating programs | Most powerful terminating semantics? |

06/30/2009 | Total functional programming | Most powerful terminating semantics? |

04/23/2009 | XLR? | A programming language with extensible syntax |

06/26/2009 | Where to find it? | A programming language with extensible syntax |

06/30/2009 | Got in touch | A programming language with extensible syntax |

07/13/2009 | Deciding what someone else meant | The Church-Turing Thesis: Breaking the Myth |

08/02/2009 | Type types | Advanced Types in Qi |

06/26/2009 | Available online | Stupid Question. |

LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |