Tag rg-2007 [18 articles] Export Sort

Recent papers classified by the tag rg-2007.

Hide details

	A type system for recursive modules [My Copy] In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 289-302. by Derek Dreyer posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 21:21:56 as
	Principal Type Schemes for Modular Programs [My Copy] Programming Languages and Systems (2007), pp. 441-457. by Derek Dreyer, Matthias Blume posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 21:21:00 as along with 1 person ama08r
	Inductive reasoning about effectful data types [My Copy] In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 97-110. by Andrzej Filinski, Kristian Stovring posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 21:19:49 as
	Extensible pattern matching via a lightweight language extension [My Copy] In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 29-40. by Don Syme, Gregory Neverov, James Margetson posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 21:18:55 as along with 1 person fvogels
	Practical Programming with Higher-Order Encodings and Dependent Types [My Copy] Programming Languages and Systems (2008), pp. 93-107. by Adam Poswolsky, Carsten Schürmann posted to rg-2007 higher-order-abstract-syntax functional-programming by robertjohnsimmons to the group ConcertRG on 2009-08-17 21:18:05 as
	A certified type-preserving compiler from lambda calculus to assembly language [My Copy] In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 54-65. by Adam Chlipala posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 21:09:04 as along with 1 person mwmarkland
	Ott: effective tool support for the working semanticist [My Copy] In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 1-12. by Peter Sewell, Francesco Z. Nardelli, Scott Owens, et al.Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strniša posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 21:07:49 as along with 2 people marcinzalewski pedagand
	Compiling with continuations, continued [My Copy] In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 177-190. by Andrew Kennedy posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 21:06:38 as
	Tangible functional programming [My Copy] In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 59-70. by Conal M. Elliott posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 21:05:51 as along with 2 people draganigajic pedagand
	Beauty in the beast [My Copy] In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 25-36. by Wouter Swierstra, Thorsten Altenkirch posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 21:04:40 as along with 1 person pedagand
	Compiling Comp Ling: practical weighted dynamic programming and the Dyna language [My Copy] In HLT '05: Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing (2005), pp. 281-290. by Jason Eisner, Eric Goldlust, Noah A. Smith posted to weighted-logic-programming rg-2007 dyna by robertjohnsimmons to the group ConcertRG on 2009-08-17 21:03:27 as
	Importing mathematics from HOL into Nuprl [My Copy] Theorem Proving in Higher Order Logics (1996), pp. 267-281. by Douglas Howe posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:57:25 as
	RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice [My Copy] J Logic Computation, Vol. 19, No. 1. (1 February 2009), pp. 17-43. by Andrej Bauer, Christopher A. Stone posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:56:25 as
	A generic normalisation proof for pure type systems [My Copy] Types for Proofs and Programs (1998), pp. 254-276. by Paul-André Melliès, Benjamin Werner posted to rg-2007 pure-type-systems normalization by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:55:36 as
	Geometry of synthesis: a structured approach to VLSI design [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 363-375. by Dan R. Ghica posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:53:45 as
	Lightweight fusion by fixed point promotion [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 143-154. by Atsushi Ohori, Isao Sasano posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:51:46 as along with 1 person wtribbey
	Assessing security threats of looping constructs [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 225-235. by Pasquale Malacaria posted to rg-2007 by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:48:38 as along with 2 people ama08r ddemange
	A certified type-preserving compiler from lambda calculus to assembly language [My Copy] SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 54-65. by Adam Chlipala posted to rg-2007 possible-concertrg-papers dependent-types coq compilers by robertjohnsimmons to the group ConcertRG on 2009-08-08 23:10:20 as along with 3 people and 1 group pedagand mvermaat jkominek Lambda the Ultimate

Note: You may cite this page as: http://www.citeulike.org/tag/rg-2007

Related Tags

Tags related to: rg-2007

Filter:

Privacy Statement | Terms & Conditions