Group: ConcertRG - with tag rg-2009 [28 articles] Export Sort

Recent papers posted by members of the ConcertRG group with tag rg-2009

Hide details

	Programming with proofs and explicit contexts [My Copy] In PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming (2008), pp. 163-173. by Brigitte Pientka, Joshua Dunfield posted to rg-2009 higher-order-abstract-syntax functional-programming explicit-substitutions by robertjohnsimmons to the group ConcertRG on 2009-10-17 17:13:10 as
	Formal verification of a realistic compiler [My Copy] Commun. ACM, Vol. 52, No. 7. (2009), pp. 107-115. by Xavier Leroy posted to verification theorem-proving rg-2009 coq compilers by robertjohnsimmons to the group ConcertRG on 2009-10-10 00:45:31 as
	Beautiful differentiation [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 191-202. by Conal M. Elliott posted to rg-2009 functional-programming derivatives calculus by robertjohnsimmons to the group ConcertRG on 2009-10-01 13:19:44 as along with 1 person prahlad
	Verifying correct usage of atomic blocks and typestate [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 227-244. by Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich posted to static-analysis rg-2009 linear-logic concurrency by robertjohnsimmons to the group ConcertRG on 2009-09-17 19:33:06 as along with 1 person tov
	The Proof Theory and Semantics of Intuitionistic Modal Logic [My Copy] (1994) by Alex K. Simpson posted to rg-2009 natural-deduction modal-logic kriple-models by robertjohnsimmons to the group ConcertRG on 2009-09-09 07:16:47 as along with 1 person kozima
	Modal Types for Mobile Code [My Copy] No. CMU-CS-08-126. (May 2008) by Tom Murphy VII posted to rg-2009 modal-logic distributed-programming by robertjohnsimmons to the group ConcertRG on 2009-09-09 07:04:39 as
	Space profiling for parallel functional programs [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 253-264. by Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons posted to rg-2009 by robertjohnsimmons to the group ConcertRG on 2009-08-26 00:40:55 as
	Proofs and types [My Copy] (1989) by Jean Y. Girard, Paul Taylor, Yves Lafont posted to rg-2009 proof-theory natural-deduction logical-relations logic linear-logic by robertjohnsimmons to the group ConcertRG on 2009-08-20 19:07:00 as along with 7 people pedagand ddemange dimvar robotact alec AndreasSchropp jonathlela
	Implementation and applications of Scott's logic for computable functions [My Copy] In Proceedings of ACM conference on Proving assertions about programs (1972), pp. 1-6. by Robin Milner posted to rg-2009 by robertjohnsimmons to the group ConcertRG on 2009-08-18 23:14:51 as
	The Semantics of Predicate Logic as a Programming Language [My Copy] J. ACM, Vol. 23, No. 4. (October 1976), pp. 733-742. by M. H. Van Emden, R. A. Kowalski posted to rg-2009 by robertjohnsimmons to the group ConcertRG on 2009-08-18 23:09:12 as along with 2 people KarlKlose tuncay
	The "simplest functional programming language" is neither simple nor functional [My Copy] SIGPLAN Not., Vol. 18, No. 4. (1983), pp. 55-57. by Elfriede Fehr posted to rg-2009 by robertjohnsimmons to the group ConcertRG on 2009-08-18 23:07:40 as
	A predicative analysis of structural recursion [My Copy] J. Funct. Program., Vol. 12, No. 1. (2002), pp. 1-41. by Andreas Abel, Thorsten Altenkirch posted to termination rg-2009 recursion program-analysis by robertjohnsimmons to the group ConcertRG on 2009-08-18 07:43:56 as
	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 rg-2009 refinement-types lambda-calculus canonical-forms by robertjohnsimmons to the group ConcertRG on 2009-08-18 07:38:07 as along with 1 person neelk
	The next 700 programming languages [My Copy] Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166. by P. J. Landin posted to rg-2009 classic-papers-fall09 by robertjohnsimmons to the group ConcertRG on 2009-08-18 07:24:14 as along with 18 people azwinkau bfraser spl josephholsten brothers RalfMitschke jkominek cedricboidin wnoise mbravenboer pintman bunge yang tov jwm0123 calvins flavian_vasile conal
	Types, Abstraction and Parametric Polymorphism [My Copy] In IFIP Congress (1983), pp. 513-523. by John C. Reynolds posted to rg-2009 rg-2005 classic-papers-fall09 by robertjohnsimmons to the group ConcertRG on 2009-08-18 07:12:47 as
	Representing layered monads [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 175-188. by Andrzej Filinski posted to rg-2009 by robertjohnsimmons to the group ConcertRG on 2009-08-18 07:05:23 as along with 3 people and 1 group samth JeffreyPalmer voigt NU-PRL
	Branching vs. Linear Time: Semantical Perspective [My Copy] Automated Technology for Verification and Analysis (2007), pp. 19-34. by Sumit Nain, Moshe Vardi posted to rg-2009 by robertjohnsimmons to the group ConcertRG on 2009-08-18 07:03:07 as along with 1 person fdechesn
	Proof search in Lax Logic [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 04. (2001), pp. 573-588. by Jacob M. Howe posted to rg-2009 by robertjohnsimmons to the group ConcertRG on 2009-08-18 06:52:47 as
	Equality in lazy computation systems [My Copy] In Proceedings of the Fourth Annual Symposium on Logic in computer science (1989), pp. 198-203. by D. Howe posted to rg-2009 lazy-computation extensionality equality by robertjohnsimmons to the group ConcertRG on 2009-08-18 06:51:23 as
	Syntactic Logical Relations for Polymorphic and Recursive Types [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 259-299. by Karl Crary, Robert Harper posted to rg-2009 by robertjohnsimmons to the group ConcertRG on 2009-08-18 06:49:46 as
	A judgmental reconstruction of modal logic [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 04. (2001), pp. 511-540. by Frank Pfenning, Rowan Davies posted to rg-2009 rg-2005 modal-logic judgmental-reconstruction by robertjohnsimmons to the group ConcertRG on 2009-08-17 13:25:56 as along with 1 person hdeyoung
	What is a Sorting Function? [My Copy] Journal of Logic and Algebraic Programming (10 March 2009) by Fritz Henglein posted to rg-2009 by robertjohnsimmons to the group ConcertRG on 2009-08-16 17:51:41 as
	Introduction to linear logic and ludics, part I [My Copy] (18 Jan 2005) by Pierre-Louis Curien posted to semantics rg-2009 proof-theory proof-nets ludics linear-logic cut-elimination by robertjohnsimmons to the group ConcertRG on 2009-08-05 22:34:03 as along with 2 people scis0000001 flavian_vasile
	On the Meanings of the Logical Constants and the Justifications of the Logical Laws [My Copy] Nordic Journal of Philosophical Logic, Vol. 1, No. 1. (May 1996), pp. 11-60. by Per Martin-Löf posted to rg-2009 rg-2005 proof-theory logic judgmental-reconstruction classic-papers-fall09 by robertjohnsimmons to the group ConcertRG on 2009-07-24 16:18:22 as along with 1 person neelk
	The Mechanical Evaluation of Expressions [My Copy] The Computer Journal, Vol. 6, No. 4. (1 January 1964), pp. 308-320. by P. J. Landin posted to rg-2009 lambda-calculus control-flow classic-papers-fall09 by robertjohnsimmons to the group ConcertRG on 2009-07-24 15:56:31 as along with 1 person amp269
	Display logic [My Copy] Journal of Philosophical Logic, Vol. 11, No. 4. (29 November 1982), pp. 375-417. by Nuel Belnap posted to rg-2009 display-logic by robertjohnsimmons to the group ConcertRG on 2009-07-24 15:50:35 as along with 1 person MichaelDe
	Contraction-Free Sequent Calculi for Intuitionistic Logic [My Copy] The Journal of Symbolic Logic, Vol. 57, No. 3. (1992), pp. 795-807. by Roy Dyckhoff posted to decision-procedures rg-2009 sequent-calculus by robertjohnsimmons to the group ConcertRG on 2009-07-22 14:29:55 as
	Design of the programming language FORSYTHE [My Copy] (1997), pp. 173-233. by John C. Reynolds posted to rg-2009 intersection-types algol by robertjohnsimmons to the group ConcertRG on 2009-07-21 20:07:01 as along with 1 person pnkfelix

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

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

classic-papers-fall09	3
functional-programming	3
linear-logic	3
explicit-substitutions	2
higher-order-abstract-syntax	2
proof-theory	2
rg-2005	2
algol	1
calculus	1
compilers	1
concurrency	1
control-flow	1
coq	1
cut-elimination	1
decision-procedures	1
derivatives	1
display-logic	1
equality	1
extensionality	1
intersection-types	1
judgmental-reconstruction	1
lambda-calculus	1
lazy-computation	1
logic	1
logical-relations	1
ludics	1
modal-logic	1
natural-deduction	1
program-analysis	1
proof-nets	1
recursion	1
semantics	1
sequent-calculus	1
static-analysis	1
termination	1
theorem-proving	1
verification	1

Group: ConcertRG - with tag rg-2009 [28 articles] Export Sort

Related Tags