Tag rg-2006 [22 articles] Export

Recent papers classified by the tag rg-2006.

	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 rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:42:05 as along with 1 person neelk
	Transactional events [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 124-135. by Kevin Donnelly, Matthew Fluet posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:41:26 as
	Relational Reasoning for Recursive Types and References [My Copy] Programming Languages and Systems (2006), pp. 79-96. by Nina Bohr, Lars Birkedal posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:40:14 as
	A very modal model of a modern, major, general type system [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 109-122. by Andrew W. Appel, Paul A. Melliès, Christopher D. Richards, Jérôme Vouillon posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:38:46 as
	The missing link: dynamic components for ML [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 99-110. by Andreas Rossberg posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:37:39 as
	Extensible programming with first-class cases [My Copy] SIGPLAN Not. In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, Vol. 41, No. 9. (2006), pp. 239-250. by Matthias Blume, Umut A. Acar, Wonseok Chae posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:34:23 as along with 3 people fgeller tov RalfMitschke
	A logic for parametric polymorphism [My Copy] Typed Lambda Calculi and Applications (1993), pp. 361-375. by Gordon Plotkin, Martín Abadi posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:27:28 as
	Monadic concurrent linear logic programming [My Copy] In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 35-46. by Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins posted to rg-2006 modal-logic lollimon logical-frameworks logic-programming linear-logic forward-chaining backward-chaining by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:01:45 as along with 3 people hdeyoung darinm tautologico
	Logic Programming with Focusing Proofs in Linear Logic [My Copy] J Logic Computation, Vol. 2, No. 3. (1 June 1992), pp. 297-347. by Jean-Marc Andreoli posted to rg-2006 logic-programming linear-logic focusing by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:54:39 as
	Specifying distributed trust management in LolliMon [My Copy] In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 37-46. by Jeff Polakow, Christian Skalka posted to security rg-2006 lollimon logical-frameworks by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:53:30 as along with 1 person bpw5
	Stratified type inference for generalized algebraic data types [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 232-244. by François Pottier, Yann R. Gianas posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:51:49 as along with 3 people draganigajic jrw pedagand
	Jumbo λ-Calculus [My Copy] Automata, Languages and Programming (2006), pp. 444-455. by Paul Levy posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:40:30 as
	An Applicative Control-Flow Graph Based on Huet's Zipper [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005), Vol. 148, No. 2. (24 March 2006), pp. 105-126. by N. Ramsey, J. Dias posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:31:30 as along with 3 people dankamongmen pedagand spl
	Modular type classes [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 63-70. by Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:25:49 as along with 1 person mcclurmc
	Monadic regions [My Copy] SIGPLAN Not. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 103-114. by Matthew Fluet, Greg Morrisett posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:24:57 as along with 5 people and 1 group JeffreyPalmer zednenem josefs voigt mahler Rightscom
	Frame rules from answer types for code pointers [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 309-319. by Hayo Thielecke posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:23:38 as
	A polymorphic modal type system for lisp-like multi-staged languages [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 257-268. by Ik S. Kim, Kwangkeun Yi, Cristiano Calcagno posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:22:17 as
	The next 700 data description languages [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 2-15. by Kathleen Fisher, Yitzhak Mandelbaum, David Walker posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:20:59 as
	Harmless advice [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 383-396. by Daniel S. Dantas, David Walker posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:19:51 as along with 1 person oscar
	Fast and loose reasoning is morally correct [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217. by Nils A. Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:18:44 as along with 8 people and 1 group ama08r spl pedagand voigt p1738j aleks Benja paper_jac Compilers
	Formal certification of a compiler back-end or: programming a compiler with a proof assistant [My Copy] SIGPLAN Not., Vol. 41, No. 1. (January 2006), pp. 42-54. by Xavier Leroy posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:17:14 as along with 1 person pedagand
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted to rg-2006 by robertjohnsimmons to the group ConcertRG on 2009-08-17 16:21:41 as along with 10 people and 1 group mishra_satish fraktalek mahler msakai bonotake adrian_pigors scis0000001 masteraka marcinzalewski Scis0000002 Rightscom