Posts By: Neil Toronto
| Date | Post | Topic |
| 05/10/2012 | Racket's expansion phases are equally expressive | Common Lisp: The Untold Story |
| 04/11/2012 | The elephant in the Bayesian living room | Reverend Bayes, meet Countess Lovelace: Probabilistic Programming for Machine Learning |
| 11/21/2011 | Less than 20%? Really? | REPL-schmepl? |
| 07/19/2011 | Really? Only Lawyerese could | The Last Language? |
| 06/17/2011 | Yet a third way | Catamorphisms and anamorphisms = general or primitive recursion? |
| 04/07/2011 | Reminds me of a few things... | a logic of precedences. Suggestions |
| 04/01/2011 | What breaks? | Finding and Understanding Bugs in C Compilers |
| 03/11/2011 | Reference request: running out of countably many variable names | Reference request: running out of countably many variable names |
| 03/11/2011 | The uncountable set of names can't be a set | Reference request: running out of countably many variable names |
| 03/11/2011 | The "names don't have to be strings of symbols" idea | Reference request: running out of countably many variable names |
| 03/12/2011 | Inside the model or outside of it? | Reference request: running out of countably many variable names |
| 03/12/2011 | Locally nameless | Reference request: running out of countably many variable names |
| 03/11/2011 | Strict data constructors + non-strict application? | Strict data constructors + non-strict application? |
| 03/11/2011 | See, this is why I post here | Strict data constructors + non-strict application? |
| 03/11/2011 | It's infinite, but not a problem | Strict data constructors + non-strict application? |
| 03/12/2011 | Need a context to quantify over | Strict data constructors + non-strict application? |
| 03/15/2011 | Wouldn't its optimized form | Strict data constructors + non-strict application? |
| 03/15/2011 | Answers | Strict data constructors + non-strict application? |
| 03/11/2011 | Mostly true | Strict data constructors + non-strict application? |
| 10/08/2010 | It should work great as long | Functional random numbers without threading state |
| 08/29/2010 | if anyone can think of other | Sapir-Whorf 70 years on |
| 08/29/2010 | I just thought of more. | Sapir-Whorf 70 years on |
| 07/16/2010 | N/A | Is mathematics invention or discovery? |
| 07/01/2010 | Denotational semantics with other notions of convergence | Denotational semantics with other notions of convergence |
| 07/02/2010 | Not misreading | Denotational semantics with other notions of convergence |
| 06/24/2010 | A lambda calculus with arbitrary set primitives | A lambda calculus with arbitrary set primitives |
| 06/25/2010 | Avoiding complexity | A lambda calculus with arbitrary set primitives |
| 06/27/2010 | What does it mean to do | A lambda calculus with arbitrary set primitives |
| 06/27/2010 | Cool. I'll check those | A lambda calculus with arbitrary set primitives |
| 06/27/2010 | I have looked at Markov, but | A lambda calculus with arbitrary set primitives |
| 06/25/2010 | Well-founded sets | A lambda calculus with arbitrary set primitives |
| 06/27/2010 | I've seen a paper on map | A lambda calculus with arbitrary set primitives |
| 06/27/2010 | Fascinating! | A lambda calculus with arbitrary set primitives |
| 06/18/2009 | Topologies and algebras | Why a diagram is (sometimes) worth ten thousand words |
| 06/10/2009 | Bridging the informal and the formal | Bridging the informal and the formal |
| 06/11/2009 | I know they've been discussed | Bridging the informal and the formal |
| 03/27/2009 | Thanks | The Art of the Propagator |
| 07/05/2011 | What do we think might be different? | Non-English-Based Programming Languages |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |