robdockins's library 35 articles Export

	Precise and expressive mode systems for typed logic programming languages [My Copy] (2003) by David Overton posted to logic programming types by robdockins on 2008-12-09 03:04:04 as
	Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations [My Copy] Journal of Automated Reasoning, Vol. 41, No. 1. (1 July 2008), pp. 1-31. by Xavier Leroy, Sandrine Blazy posted to no-tag by robdockins on 2008-09-04 20:40:30 as along with 1 person pedagand
	Wait-free synchronization [My Copy] ACM Trans. Program. Lang. Syst., Vol. 13, No. 1. (January 1991), pp. 124-149. by Maurice Herlihy posted to concurrency by robdockins on 2008-04-29 20:36:53 as along with 12 people ama08r education02 fvogels chiayung pedagand kistijantoro jrw tautologico orish myui NSumner meisner
	Type-Preserving Garbage Collectors (Extended Version) [My Copy] (December 2000) by Daniel C. Wang, Andrew W. Appel posted to collection garbage types by robdockins on 2008-04-28 23:20:19 as
	Typed Machine Language and its Semantics [My Copy] by Kedar N. Swadi, Andrew W. Appel posted to carrying code proof types by robdockins on 2008-04-20 23:24:24 as
	Type Theory & Functional Programming [My Copy] (1999) by Simon Thompson posted to functional programming theory type by robdockins on 2008-04-20 23:20:48 as
	Proofs and Types [My Copy] (1989) by Jean-Yves Girard posted to proof types by robdockins on 2008-04-20 23:17:07 as
	Categories Types and Structures [My Copy] (1991) by Andrea Asperti, Giuseppe Longo posted to category theory types by robdockins on 2008-04-20 23:12:17 as
	Computational Aspects of Proofs in Modal Logic [My Copy] (1985) by Greg Hager posted to logic modal by robdockins on 2008-04-20 23:08:56 as
	Separation logic: a logic for shared mutable data structures [My Copy] Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on (2002), pp. 55-74. by J. C. Reynolds posted to logic separation by robdockins on 2008-04-20 22:49:02 as along with 4 people and 1 group neelk bec rdyer GuAlex Laboratory for Software Design
	A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems [My Copy] In LPAR '93: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (1993), pp. 65-75. by Hiu F. Chau posted to logic modal proof search by robdockins on 2008-04-20 22:46:25 as
	Rewrite rule systems for modal propositional logic [My Copy] J. Log. Program., Vol. 12, No. 3. (February 1992), pp. 281-298. by Annie Foret posted to logic modal rewriting by robdockins on 2008-04-20 22:33:37 as
	A Computational Interpretation of Classical S4 Modal Logic [My Copy] (21 April 2005) by Chung-Cheih Shan posted to logic modal by robdockins on 2008-04-20 22:31:55 as
	Categorical and Kripke Semantics for Constructive S4 Modal Logic [My Copy] In CSL '01: Proceedings of the 15th International Workshop on Computer Science Logic (2001), pp. 292-307. by Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter posted to category logic modal theory by robdockins on 2008-04-20 22:28:41 as
	A guide to completeness and complexity for modal logics of knowledge and belief [My Copy] Artif. Intell., Vol. 54, No. 3. (April 1992), pp. 319-379. by Joseph Y. Halpern, Yoram Moses posted to logic modal by robdockins on 2008-04-20 22:26:44 as
	Walther Recursion [My Copy] In CADE-13: Proceedings of the 13th International Conference on Automated Deduction (1996), pp. 643-657. by David A. Mcallester, Kostas Arkoudas posted to program recursion verification by robdockins on 2008-04-20 22:24:48 as
	Context logic as modal logic: completeness and parametric inexpressivity [My Copy] SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 123-134. by Cristiano Calcagno, Philippa Gardner, Uri Zarfaty posted to logic modal by robdockins on 2008-04-20 22:23:14 as
	A Logic for Parametric Polymorphism [My Copy] In TLCA '93: Proceedings of the International Conference on Typed Lambda Calculi and Applications (1993), pp. 361-375. by Gordon D. Plotkin, Mart∈ Abadi posted to logic parametricity by robdockins on 2008-04-20 22:21:35 as
	Separation Logic for Small-step Cminor [My Copy] (30 Jul 2007) by Andrew W. Appel, Sandrine Blazy posted to cminor logic separation by robdockins on 2008-04-20 22:20:38 as
	Application of modal logic to programming [My Copy] Studia Logica, Vol. 39, No. 2. (1 June 1980), pp. 257-274. by Vaughan R. Pratt posted to logic modal programming by robdockins on 2008-04-20 22:18:21 as along with 1 person benoitstpierre
	Uniqueness Typing Simplified [My Copy] In {P}roceedings {I}mplementation and {A}pplication of {F}unctional {L}anguages, 19th {I}nternational {S}ymposium, {IFL 2007}, {S}elected {P}apers (September 2007) by Edsko, Rinus Plasmeijer, david edited by Olaf Chitil posted to types uniqueness by robdockins on 2008-04-20 22:16:17 as
	On the expressive power of programming languages [My Copy] Sci. Comput. Program., Vol. 17, No. 1-3. (1991), pp. 35-75. by Matthias Felleisen posted to languages programming by robdockins on 2008-04-20 22:08:52 as along with 2 people jmchauvet robotact
	What is a purely functional language? [My Copy] J. Funct. Program., Vol. 8, No. 1. (January 1998), pp. 1-22. by Amr Sabry posted to functional programming by robdockins on 2008-04-20 22:07:19 as along with 1 person spl
	On the origins of Bisimulation, Coinduction and Fixed Points [My Copy] (31 October 2007) by Davide Sangiorgi posted to bisimulation coinduction by robdockins on 2008-04-20 22:05:27 as
	Stochastic lambda calculus and monads of probability distributions [My Copy] SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 154-165. by Norman Ramsey, Avi Pfeffer posted to monad probability by robdockins on 2008-04-20 22:01:54 as
	Typed compilation of inclusive subtyping [My Copy] In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 68-81. by Karl Crary posted to types by robdockins on 2008-04-20 21:56:04 as
	A List-machine Benchmark for Mechanized Metatheory [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 174, No. 5. (June 2007), pp. 95-108. by Andrew W. Appel, Xavier Leroy posted to no-tag by robdockins on 2008-04-20 21:53:39 as along with 1 person robertjohnsimmons
	Foundational Proof-Carrying Code [My Copy] In LICS '01: Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (2001) by Andrew W. Appel posted to carrying code proof by robdockins on 2008-04-20 21:51:37 as
	A compositional logic for control flow and its application in foundational proof-carrying code [My Copy] (2005) by Gang Tan posted to no-tag by robdockins on 2008-04-20 21:49:34 as
	A very modal model of a modern, major, general type system [My Copy] SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 109-122. by Andrew W. Appel, Paul A. Melliès, Christopher D. Richards, Jérôme Vouillon posted to no-tag by robdockins on 2008-04-20 21:47:03 as along with 2 people robertjohnsimmons ama08r
	From Semantics and Computer Science: Essays in Honor of Gilles Kahn [My Copy] (2008) by Christine P. Mohring edited by Yves Bertot, Gérard Huet, Jean J. Ly, Gordon Plotkin posted to denotional semantics by robdockins on 2008-04-20 21:25:45 as
	Elimination with a Motive [My Copy] In TYPES '00: Selected papers from the International Workshop on Types for Proofs and Programs (2002), pp. 197-216. by Conor Mcbride posted to proof tactic by robdockins on 2008-04-20 21:19:31 as
	The spineless tagless G-machine [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 184-201. by Simon, Jon Salkild posted to no-tag by robdockins on 2008-04-20 21:16:12 as along with 2 people stransky bhuber
	Theorems for free! [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359. by Philip Wadler posted to parametricity by robdockins on 2008-04-20 21:15:00 as along with 7 people and 1 group fvogels byorgey amp269 voigt spl paper_jac nominolo ConcertRG
	The next 700 Krivine machines [My Copy] Higher-Order and Symbolic Computation, Vol. 20, No. 3. (2007), pp. 237-255. by Rémi Douence, Pascal Fradet posted to calculus krivine lambda machine by robdockins on 2008-04-16 04:36:14 as

Note: You may cite this page as: http://www.citeulike.org/user/robdockins

logic	12
modal	8
types	7
programming	5
proof	5
theory	3
category	2
code	2
functional	2
carrying	2
separation	2
parametricity	2
bisimulation	1
garbage	1
verification	1
rewriting	1
calculus	1
monad	1
type	1
krivine	1
program	1
recursion	1
semantics	1
cminor	1
collection	1
denotional	1
machine	1
lambda	1
concurrency	1
coinduction	1
languages	1
search	1
uniqueness	1
probability	1
tactic	1

robdockins's library 35 articles Export

robdockins's tags