andrew johnson | Lambda the Ultimate

andrew johnson

view
track

type	title	author	last post
Forum topic	Typesetting a Type System with Color-Coding Color and Text by andrew johnson	andrew johnson	2023-08-08 00:41
Forum topic	Alternative implementation of closures in C Re: Whole-program compilation by andrew johnson Here is the C code for the prototypical closure that I wrote by andrew johnson	andrew johnson	2013-12-29 16:07
Forum topic	Seeking thoughtful criticisms of functional programming and languages Not sure if this by andrew johnson	scottmcl	2013-03-31 00:40
Forum topic	How to respect language styles while translating? dependent types would be nice by andrew johnson	raould	2012-07-24 18:15
Forum topic	Any research on garbage collection for a pure langauge? Pure Languages = Immutable Data by andrew johnson	jason stumpf	2010-05-01 12:05
Forum topic	determining subsumption of regular languages Nontrivial patterns by andrew johnson	andrew johnson	2010-03-18 16:28
Forum topic	What is a Type? Thanks by andrew johnson	andrew johnson	2009-10-28 20:53
Forum topic	Languages and systems for edge-computing? clarification by andrew johnson	lmeyerov	2009-10-25 11:14
Forum topic	Logic operations on types Calculus of Constructions by andrew johnson	catbert	2009-09-06 01:07
Forum topic	Computer Science/Mathematical Notations wikipedia by andrew johnson	Patrick Dewane	2009-08-31 23:58
Forum topic	Categories, the homemade object system two different goals by andrew johnson My interpretation by andrew johnson this kindof seems like by andrew johnson	mikel evins	2009-08-31 04:50
next page last page