Ian Johnson | Lambda the Ultimate

Ian Johnson

view
track

type	title	author	last post
Forum topic	A Functional Representation of Data Structures with a Hole (1998) Indeed the general solution by Ian Johnson	Vladimir Slepnev	2017-12-01 12:08
Forum topic	GPU for GC Stop spreading GC myths by Ian Johnson	raould	2014-08-06 03:12
Forum topic	request for namespace binding service terminology Instead you might find the by Ian Johnson If you enjoyed the ideas of by Ian Johnson	Rys McCusker	2014-07-21 19:12
Forum topic	Less is more. Go has not-so-simple parts by Ian Johnson	Rys McCusker	2014-01-19 13:05
Forum topic	Why is Static Typing Hard? There are reasons to be skeptical by Ian Johnson	Jon Purdy	2013-11-12 18:56
Forum topic	Fixpoint theory, induction and recursion Your citation works only for by Ian Johnson You're treading dangerous by Ian Johnson	hbrandl	2013-03-08 04:14
Forum topic	Eighth draft of Scheme R7RS-small published All those functions are by Ian Johnson	johnwcowan	2012-12-22 02:39
Forum topic	The programming language of crash test dummies. I don't think such a by Ian Johnson	Ray Dillinger	2012-10-05 17:18
Story	Oleg: An argument against call/cc call/cc is so heavy-fisted by Ian Johnson It comes down to the Plotkin by Ian Johnson Actually read Oleg's by Ian Johnson	bashyal	2012-09-13 17:06
Forum topic	Language Implementation 101 Denotational semantics is by Ian Johnson There are languages built by Ian Johnson	qznc	2012-08-09 07:37
Forum topic	Languages with 'unique' programs i think you mean by Ian Johnson Programmers only think in terms, not programs by Ian Johnson Sure, just trivially by Ian Johnson	dataangel	2012-06-04 11:11
Story	Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic I'd like more theorem provers like Milawa by Ian Johnson	Paul Snively	2012-02-29 19:59
Forum topic	Can I express variable occurence ranges in logic? Yes, but likely that's not what you want. by Ian Johnson	j4n bur53	2011-10-19 10:10
next page last page