mvermaat's functional-programming [15 articles] Export

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

Hide details

	An application of co-inductive types in Coq: Verification of the alternating bit protocol [My Copy] Types for Proofs and Programs (1996), pp. 135-152. by Eduardo Giménez posted to verification theorem-proving recursion master-project logic functional-programming coq coinduction by mvermaat on 2009-11-05 14:02:51 as
	A Tutorial on Recursive Types in Coq [My Copy] INRIA ROCQUENCOURT (1998) by Eduardo Giménez posted to types recursion master-project logic functional-programming coq coinduction by mvermaat on 2009-11-05 13:34:58 as
	A Tutorial on [Co-]Inductive Types in Coq [My Copy] (2007) by Eduardo Giménez, Pierre Castéran posted to types master-project functional-programming coq coinduction by mvermaat on 2009-09-30 00:01:17 as
	The Lambda Calculus: its Syntax and Semantics [My Copy] Vol. 103 (1984) by H. P. Barendrecht posted to binding functional-programming lambda-calculus literature-study semantics by mvermaat on 2009-04-02 15:19:14 as
	Toward a general theory of names: binding and scope [My Copy] In MERLIN '05: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding (2005), pp. 33-40. by James Cheney posted to binding functional-programming nominal syntax by mvermaat on 2009-02-19 16:29:01 as along with 1 person kavabean
	Scrap your nameplate: (functional pearl) [My Copy] SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 180-191. by James Cheney posted to binding functional-programming lambda-calculus nominal syntax by mvermaat on 2009-02-19 15:50:10 as along with 1 person kavabean
	Functional Pearl: α-conversion is easy [My Copy] by Thorsten Altenkirch posted to binding functional-programming lambda-calculus literature-study by mvermaat on 2009-02-12 13:10:42 as
	Functional Pearl: I Am Not a Number -- I Am a Free Variable [My Copy] In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 1-9. by Conor Mcbride, James Mckinna posted to binding functional-programming lambda-calculus literature-study by mvermaat on 2009-02-12 13:07:11 as along with 4 people robertjohnsimmons eaubin kavabean msakai
	On understanding types, data abstraction, and polymorphism [My Copy] ACM Computing Surveys, Vol. 17 (1985), pp. 471-522. by Luca Cardelli, Peter Wegner posted to functional-programming lambda-calculus literature-study types by mvermaat on 2009-02-04 14:19:01 as
	WebDSL: A Case Study in Domain-Specific Language Engineering [My Copy] In Generative and Transformational Techniques in Software Engineering (GTTSE 2007) (2008) by E. Visser edited by R. Laemmel, J. Saraiva, J. Visser posted to compilers dsl functional-programming parsing sdf stratego syntax by mvermaat on 2008-05-11 18:36:08 as
	Type Systems [My Copy] In The Computer Science and Engineering Handbook (1997) by Luca Cardelli edited by Allen B. Tucker posted to functional-programming lambda-calculus types by mvermaat on 2008-04-16 16:18:03 as along with 11 people and 2 groups talototo draganigajic rgrig greenrd tautologico amorkan lyongu Bluetulip Leho jimburton zuleger SRG_at_UCD Lambda the Ultimate
	Church’s Thesis and Functional Programming [My Copy] In Church's Thesis After 70 Years (28 February 2007), pp. 518-544. by David Turner edited by Adam Olszewski, Jan Wolenski, Robert Janusz posted to functional-programming lambda-calculus by mvermaat on 2008-03-21 16:09:49 as along with 2 people badi bunge
	A New Extraction for Coq [My Copy] Types for Proofs and Programs (2003), pp. 617-617. by Pierre Letouzey posted to bachelor-project coq functional-programming by mvermaat on 2008-02-26 14:33:05 as along with 2 people msakai jimburton
	Interactive Theorem Proving and Program Development [My Copy] (24 June 2004) by Yves Bertot, Pierre Castéran, Pierre Casttran posted to bachelor-project coq functional-programming verification by mvermaat on 2008-02-26 14:28:45 as along with 2 people jimburton leonardo
	Compiling with Continuations [My Copy] (29 November 1991) by Andrew W. Appel posted to bachelor-project compilers cps functional-programming ml by mvermaat on 2008-02-26 14:16:29 as along with 1 person dimvar

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

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	17
binding	15
coq	15
functional-programming	15
literature-study	13
types	12
compilers	11
cps	11
verification	11
master-project	8
poplmark	7
rewriting	7
syntax	7
logic	6
theorem-proving	6
algebra	5
dutch	4
recursion	4
algebraic-specifications	3
coinduction	3
equational-logic	3
infinitary-rewriting	3
normalization	3
redexes	3
rpo	3
semantics	3
termination	3
latex	2
ml	2
nominal	2
parsing	2
proof-theory	2
sdf	2
stratego	2
substitution	2
translation-validation	2
antropology	1
dsl	1
isabelle	1
linear-algebra	1
scheme	1
set-theory	1

mvermaat's functional-programming [15 articles] Export

mvermaat's tags