Matias Giovannini | Lambda the Ultimate

Matias Giovannini

view
track

type	title	author	last post
Story	What Are The Resolved Debates in General Purpose Language Design? OCaml doesn't support by Matias Giovannini	James Iry	2014-03-31 20:55
Forum topic	Google's Dart announced Blub by Matias Giovannini De gustibus by Matias Giovannini	vieiro	2012-12-30 17:29
Story	What needs to be done? Please don't give up on LtU by Matias Giovannini	Ehud Lamm	2011-11-07 05:29
Forum topic	Programming (language) puzzles Loeb in OCaml by Matias Giovannini	Chung-chieh Shan	2009-10-02 17:42
Forum topic	Avoid a Void: eradicating null-pointer dereferencing The Eiffel solution seems to by Matias Giovannini	Bertrand_Meyer	2009-08-19 23:33
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Linear logic will supplant by Matias Giovannini I believe, but can't prove by Matias Giovannini	John Carter	2009-05-23 23:23
Forum topic	Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) Endomorphisms by Matias Giovannini	cdiggins	2008-04-22 17:11
Story	Java Generics and Collections Pointers galore by Matias Giovannini	Ehud Lamm	2007-04-17 16:32
Forum topic	Implementation Inheritance There aren't any Animals by Matias Giovannini	SamK	2007-03-20 20:31
Story	Locus Solum: From the rules of logic to the logic of rules Raymond Roussel by Matias Giovannini	Andris Birkmanis	2007-01-20 06:18
Story	Annotated POPL 2007 Program Automatic Differentiation by Matias Giovannini	Noel	2007-01-19 02:35
Story	R6RS Status Report That's very flattering and by Matias Giovannini Overview Paper by Matias Giovannini	Ehud Lamm	2006-07-02 18:49
Forum topic	Type checking and logical errors Phantom Types Example by Matias Giovannini	Mike Smith	2006-06-05 21:16
Story	Gosling vs. Dynamic Languages Somehow... by Matias Giovannini	Ehud Lamm	2006-03-31 21:53
Forum topic	Singleton classes really that bad? You shouldn't... by Matias Giovannini	dataangel	2006-01-16 19:14
Forum topic	Conjunction types Oops... by Matias Giovannini Polymorphic variants by Matias Giovannini	jimdesu	2005-12-05 16:21
next page last page