mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00

History

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
..
fundamental-concepts-in-programming-languages.pdf	add something new and some folder cleanup	2013-07-23 02:39:40 -04:00
on-understanding-types-data-abstraction-polymorphism.pdf	add something new and some folder cleanup	2013-07-23 02:39:40 -04:00
predicate-dispatching.pdf	add something new and some folder cleanup	2013-07-23 02:39:40 -04:00
programming-languages-application-and-interpretation.pdf	add something new and some folder cleanup	2013-07-23 02:39:40 -04:00
programming-with-algebraic-effects-and-handlers.pdf	update, eff paper	2014-02-07 15:30:45 -05:00
README.md	Soft typing by Robert Cartwright and Mike Fagan	2014-11-24 23:26:01 +01:00
the-derivative-of-a-regular-type-one-hole-contexts.pdf	new-paper-for-erik-hinton-pres-and-link-add-remove	2014-05-13 04:35:26 -04:00
theory-in-programming-practice.pdf	add something new and some folder cleanup	2013-07-23 02:39:40 -04:00

Programming Language Theory