vrijz | Lambda the Ultimate

vrijz

view
track

type	title	author	last post
Forum topic	plt vs. something else for programming in the large? Refinement types by vrijz	raould	2010-06-17 01:07
Forum topic	"Critical code studies" I don't think "joke" is the right word here by vrijz aside: natural language and PLT by vrijz Power structures and authority in PLT by vrijz Seconded by vrijz	Travis Brown	2010-05-19 18:29
Story	A few billion lines of code later: using static analysis to find bugs in the real world Safety v. convenience by vrijz	Allan McInnes	2010-04-23 11:28
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed Old article by vrijz	Isaac Gouy	2010-04-20 22:32
Story	A Formal System For Euclid's Elements I should look for a warm and friendly by vrijz UML? by vrijz formal reasoning in VPLs by vrijz	neelk	2010-04-08 16:57
Story	Objects to Unify Type Classes and GADTs Dependent records as type clases? by vrijz	naasking	2010-03-26 20:36
Forum topic	functional equivalance? The entire section about "fold" here is irrelevant by vrijz Auditability? by vrijz Dynamic linking by vrijz Equality reasoning vs. coinduction by vrijz	raould	2010-03-17 18:59
Forum topic	Alternative method for defining statically typed variables Sigils by vrijz	Josh-Meredith	2010-03-09 14:56
Story	Can a Biologist Fix a Radio? Visual programming languages by vrijz Karl Fant's textbook by vrijz Functional flow diagrams by vrijz	James Iry	2010-03-04 03:17
Story	Continuity Analysis of Programs Not really by vrijz Aren't all computable functions continuous? by vrijz	neelk	2010-02-09 04:12
first page previous page