Index of /~bryan/papers2/programming

	Name	Last modified	Size	Description
	Parent Directory		-
	An axiomatic basis for computer programming.pdf	2012-04-10 07:03	2.3M
	A semantics of multiple inheritance.pdf	2007-10-27 06:09	124K
	A structural approach to operational semantics.pdf	2006-01-24 11:12	944K
	A theory of type polymorphism in programming.pdf	2012-01-17 09:50	1.6M
	Computational lambda-calculus and monads.pdf	2011-10-18 04:07	217K
	From System-F to typed assembly language.pdf	2010-09-26 07:04	473K
	Go to statement considered harmful.pdf	2005-03-19 15:50	99K
	Next_700.pdf	2009-02-23 00:05	1.2M
	Predicate logic as programming language.pdf	2011-03-24 23:51	1.4M
	Principal type schemes for functional programs.pdf	2012-02-04 12:44	132K
	Programming and reasoning with algebraic effects and dependent types.pdf	2013-03-29 02:54	166K
	Proof-carrying code.pdf	2006-10-19 12:39	613K
	RABBIT: A compiler for SCHEME.pdf	2013-06-12 21:51	11M
	Recursive functions of symbolic expressions and their computation by machine.pdf	2013-06-12 21:49	256K
	Recursive programming.pdf	2012-12-19 02:30	1.1M
	The formulas-as-types notion of construction.pdf	2009-10-22 12:24	2.7M
	The infeasibility of quantifying the reliability of life-critical real-time software.pdf	2009-11-03 10:33	1.6M
	The mechanical evaluation of expressions.pdf	2000-05-23 05:19	3.0M
	The next 700 programming languages.pdf	2009-09-13 11:59	1.1M
	Towards a theory of type structure.pdf	2013-05-13 06:25	598K
	url.txt	2015-01-06 07:28	1.4K