16 Commits

Author	SHA1	Message	Date
Pascal Schmid	214d8de5d6	Fixed typos	2016-04-14 17:04:59 +02:00
Zachary Jones	d2acf0fc3b	Update to all READMEs for hosted content ... reorganization of so-called historical papers	2015-10-07 15:12:22 -04:00
Zeeshan Lakhani	9f44f61184	add prop as logic wadler paper, also for nyc pwl aug/2015	2015-08-03 11:24:47 -04:00
Sam L'ecuyer	173d2e811c	add principle type-schemes by damas-milner	2015-06-25 08:57:45 -07:00
Zeeshan Lakhani	10cda05d34	add paper for sam tbon-hochstadt to readme too	2015-01-25 11:33:56 -05:00
Zeeshan Lakhani	72d755063c	add paper for sam tbon-hochstadt nyc pres.	2015-01-25 11:32:28 -05:00
Igor Wiedler	914b488327	Soft typing by Robert Cartwright and Mike Fagan ... This paper from 1991 introduces an approach for runtime type checking and type coercion. It is relevant because this approach is being considered for addition into Ruby 3.0. This paper will be discussed at PWL Berlin.	2014-11-24 23:26:01 +01:00
Alvaro Videla	79dd7656d0	adds Sammet PL history paper	2014-08-26 18:59:44 +02:00
Zeeshan Lakhani	b937dbd0bd	new-paper-for-erik-hinton-pres-and-link-add-remove	2014-05-13 04:35:26 -04:00
Zeeshan Lakhani	03ba800529	updates based on applicative programming and what will be mays paper	2014-04-04 11:06:02 -04:00
Zeeshan Lakhani	1c7be7b4ea	init #clojurewest papers to research	2014-03-26 10:54:45 -07:00
Jeremy Heiler	c371233d03	Add new algebraic effects paper	2014-03-25 23:44:11 -07:00
Brian Bowman	a9c80328ea	readme titles and readme URL approach	2014-03-13 22:39:39 -04:00
Zeeshan Lakhani	19e512aca7	first run-through on audit before distro systems	2014-03-08 03:04:09 -05:00
Zeeshan Lakhani	21a07e95cc	update, eff paper	2014-02-07 15:30:45 -05:00
Zeeshan Lakhani	cb37d819d9	add something new and some folder cleanup	2013-07-23 02:39:40 -04:00