Neil Toronto | Lambda the Ultimate

Neil Toronto

view
track

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