Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

mvermaat's poplmark [7 articles] Export

Recent papers added to mvermaat's library classified by the tag poplmark. You can also see everyone's poplmark.

	Engineering formal metatheory [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 3-15. by Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich posted to binding coq lambda-calculus literature-study poplmark by mvermaat on 2009-02-13 11:08:52 as along with 3 people and 1 group fvogels bdauvergne marcinzalewski ConcertRG
	An extension of system F with subtyping [My Copy] In Information and Computation, Vol. 109 (1994), pp. 750-770. by Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov posted to equational-logic lambda-calculus literature-study poplmark types by mvermaat on 2009-02-04 14:15:31 as
	Higher Order Abstract Syntax in Type Theory [My Copy] In Logic Colloquium 2006 (2006) by Venanzio Capretta, Amy Felty posted to binding coq poplmark types by mvermaat on 2009-01-14 13:08:03 as
	A Solution to the PoplMark Challenge in Isabelle/HOL [My Copy] (2005) by Stefan Berghofer posted to binding isabelle literature-study ml poplmark theorem-proving types by mvermaat on 2008-04-21 12:16:36 as
	POPLmark 1a with Named Bound Variables [My Copy] (2005) by Aaron Stump posted to coq literature-study poplmark theorem-proving types by mvermaat on 2008-04-17 11:41:44 as
	A locally nameless solution to the POPLmark challenge [My Copy] (January 2007) by Xavier Leroy posted to bachelor-project compilers coq literature-study poplmark verification by mvermaat on 2008-02-26 14:43:42 as
	Mechanized metatheory for the masses: The POPLmark Challenge [My Copy] In Proceedings of the Eighteenth International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005) (2005) by B. Aydemir, A. Bohannon, M. Fairbairn, et al.J. Foster, B. Pierce, P. Sewell, D. Vytiniotis, G. Washburn, S. Weirich, S. Zdancewic posted to bachelor-project literature-study poplmark semantics verification by mvermaat on 2008-02-26 14:22:51 as along with 1 person scis0000001

Note: You may cite this page as: http://www.citeulike.org/user/mvermaat/tag/poplmark

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

lambda-calculus	27
bachelor-project	18
binding	16
coq	16
functional-programming	16
literature-study	14
types	13
verification	12
compilers	12
cps	11
logic	8
master-project	8
syntax	7
theorem-proving	7
poplmark	7
rewriting	7
algebra	5
recursion	4
dutch	4
normalization	3
termination	3
semantics	3
equational-logic	3
rpo	3
algebraic-specifications	3
infinitary-rewriting	3
redexes	3
coinduction	3
proof-theory	2
stratego	2
substitution	2
parsing	2
ml	2
latex	2
sdf	2
translation-validation	2
nominal	2
scheme	1
paradox	1
set-theory	1
dependent-types	1
isabelle	1
dsl	1
linear-algebra	1
antropology	1

mvermaat's poplmark [7 articles] Export

mvermaat's tags