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 |