neelk's library 25 articles Export

	Types, abstraction, and parametric polymorphism, part 2 [My Copy] Mathematical Foundations of Programming Semantics (1992), pp. 1-40. by QingMing Ma, John Reynolds posted to polymorphism parametricity logical-relations by neelk on 2009-12-14 17:56:12 as along with 1 person robertjohnsimmons
	Recursive Polymorphic Types and Parametricity in an Operational Framework [My Copy] (2005) by Paul-Andre Mellies, Jerome Vouillon posted to parametricity logical-relations biorthogonality by neelk on 2009-12-11 14:39:05 as
	Semantic Types: A Fresh Look at the Ideal Model for Types [My Copy] (2004) by Jerome Vouillon, Jérôme Vouillon, Denis Diderot, Paul-Andre Mellies posted to semantic_types biorthogonality by neelk on 2009-12-11 14:31:23 as
	On the Geometry of Intuitionistic S4 Proofs [My Copy] (2002) by Jean Goubault-larrecq, Éric Goubault, Iric Goubault posted to topological_spaces simplicial_sets s4 modal_logic geometry by neelk on 2009-12-11 14:27:02 as
	A Fresh Look at Separation Algebras and Share Accounting [My Copy] by Robert Dockins, Aquinas Hobor, Andrew W. Appel posted to separation-logic by neelk on 2009-12-01 15:12:08 as along with 1 person robertjohnsimmons
	Church and Curry: Combining Intrinsic and Extrinsic Typing [My Copy] (1 December 2008) by Frank Pfenning edited by Christoph Benzmüller, Chad E. Brown, Jörg Siekmann, Richard Statman posted to type-theory curry church by neelk on 2009-12-01 14:44:29 as along with 1 person and 1 group robertjohnsimmons ConcertRG
	Focusing on pattern matching [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 366-378. by Neelakantan R. Krishnaswami posted to pattern-matching focusing coverage-checking by neelk on 2009-12-01 14:42:54 as along with 1 person robertjohnsimmons
	A Formulation of the Simple Theory of Types [My Copy] The Journal of Symbolic Logic, Vol. 5, No. 2. (1940), pp. 56-68. by Alonzo Church posted to type-theory history by neelk on 2009-12-01 14:40:58 as along with 6 people yoriyuki Benja ajk calvins varming d23
	On equivalence and canonical forms in the LF type theory [My Copy] ACM Trans. Comput. Logic, Vol. 6, No. 1. (January 2005), pp. 61-101. by Robert Harper, Frank Pfenning posted to lf hereditary-substitution by neelk on 2009-09-01 01:47:55 as along with 1 person eaubin
	Defunctionalization at work [My Copy] In PPDP '01: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (2001), pp. 162-174. by Olivier Danvy, Lasse R. Nielsen posted to defunctionalization by neelk on 2009-09-01 01:46:27 as along with 4 people bulwahn eaubin jespera pedagand
	Refunctionalization at work [My Copy] Science of Computer Programming, Vol. 74, No. 8. (01 June 2009), pp. 534-549. by Olivier Danvy, Kevin Millikin posted to refunctionalization defunctionalization by neelk on 2009-09-01 01:45:58 as
	A sheaf-theoretic approach to pattern matching and related problems [My Copy] Theoretical Computer Science, Vol. 112, No. 1. (26 April 1993), pp. 53-97. by Yellamraju V. Srinivas posted to string-matching sheaf-theory by neelk on 2009-09-01 01:45:39 as along with 1 person and 1 group mahler Rightscom
	Separation and information hiding [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 268-280. by Peter W. O'Hearn, Hongseok Yang, John C. Reynolds posted to separation-logic information-hiding by neelk on 2009-09-01 00:35:44 as along with 3 people and 1 group ctr kiniry _Anne_ SRG_at_UCD
	Permission accounting in separation logic [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 259-270. by Richard Bornat, Cristiano Calcagno, Peter O'Hearn, Matthew Parkinson posted to separation-logic fractional-permissions by neelk on 2009-09-01 00:35:10 as along with 3 people and 1 group hyas ctr kiniry SRG_at_UCD
	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 separation-logic reynolds by neelk on 2009-09-01 00:34:51 as along with 4 people and 1 group bec rdyer robdockins GuAlex Laboratory for Software Design
	Polymorphism and Separation in Hoare Type Theory [My Copy] In {ICFP} '06: Proceedings of the 11th {ACM} {SIGPLAN} International Conference on Functional Programming (September 2006) by Aleksandar Nanevski, Greg Morrisett, Lars Birkedal posted to verification specification separation-logic hoare-type-theory dependent-types by neelk on 2009-09-01 00:33:45 as along with 1 person jsiek
	Local reasoning about a copying garbage collector [My Copy] In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2004), pp. 220-231. by Lars Birkedal, Noah T. Smith, John C. Reynolds posted to verification specification separation-logic garbage-collector by neelk on 2009-09-01 00:32:26 as along with 1 person varming
	BI-hyperdoctrines, higher-order separation logic, and abstraction [My Copy] ACM Trans. Program. Lang. Syst., Vol. 29, No. 5. (August 2007) by Bodil Biering, Lars Birkedal, Noah Torp-Smith posted to separation-logic higher-order bi-algebras by neelk on 2009-09-01 00:31:56 as along with 1 person varming
	Design patterns in separation logic [My Copy] In TLDI '09: Proceedings of the 4th international workshop on Types in language design and implementation (2009), pp. 105-116. by Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse posted to verification specification separation-logic design-patterns by neelk on 2009-09-01 00:31:19 as along with 1 person leonardo
	Abstract Predicates and Mutable ADTs in Hoare Type Theory [My Copy] Programming Languages and Systems (2007), pp. 189-204. by Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal posted to separation-logic refinement-types monads hoare-type-theory dependent-types by neelk on 2009-09-01 00:30:31 as along with 1 group ConcertRG
	Functional Unparsing [My Copy] Journal of Functional Programming, Vol. 8 (1998), pp. 621-625. by Olivier Danvy, Olivier Danvy posted to unparsing delimited-continuations by neelk on 2009-09-01 00:28:05 as along with 1 person fvogels
	Combining Decision Procedures [My Copy] In In Formal Methods at the Cross Roads: From Panacea to Foundational Support, Lecture Notes in Computer Science, Vol. 2757 (2003), pp. 381-422. by Zohar Manna, Calogero G. Zarba posted to shostak nelson-oppen decision-procedures by neelk on 2009-08-31 21:18:01 as along with 1 person neelkrishnaswami
	Combined Satisfiability Modulo Parametric Theories [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 602-617. by Sava Krstić, Amit Goel, Jim Grundy, Cesare Tinelli posted to logical-relations decision-procedures by neelk on 2009-08-31 21:17:41 as along with 2 people neelkrishnaswami dejan
	Galois Connections and Fixed Point Calculus [My Copy] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2002), pp. 89-150. by Roland Backhouse posted to program-calculation galois-connections fusion fixed-points by neelk on 2009-08-31 21:17:10 as along with 6 people jirak michaelbanks neelkrishnaswami spl leonardo Scis0000002
	Logical Relations and Galois Connections [My Copy] Mathematics of Program Construction (2002), pp. 93-106. by Kevin Backhouse, Roland Backhouse posted to logical-relations logical-relation galois-connections abstract-interpretation by neelk on 2009-08-31 21:16:32 as along with 2 people neelkrishnaswami msakai

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

separation-logic	9
logical-relations	4
verification	3
specification	3
dependent-types	2
decision-procedures	2
galois-connections	2
biorthogonality	2
type-theory	2
parametricity	2
hoare-type-theory	2
defunctionalization	2
higher-order	1
simplicial_sets	1
fractional-permissions	1
sheaf-theory	1
lf	1
logical-relation	1
coverage-checking	1
curry	1
polymorphism	1
program-calculation	1
information-hiding	1
fusion	1
focusing	1
topological_spaces	1
s4	1
modal_logic	1
unparsing	1
monads	1
delimited-continuations	1
geometry	1
string-matching	1
reynolds	1
design-patterns	1
abstract-interpretation	1
church	1
refunctionalization	1
bi-algebras	1
nelson-oppen	1
garbage-collector	1
history	1
pattern-matching	1
shostak	1
semantic_types	1
fixed-points	1
refinement-types	1
hereditary-substitution	1

neelk's library 25 articles Export

neelk's tags