-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathBib.html
98 lines (68 loc) · 4.11 KB
/
Bib.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<link href="common/css/sf.css" rel="stylesheet" type="text/css" />
<title>Bib: Bibliography</title>
<link href="common/jquery-ui/jquery-ui.css" rel="stylesheet">
<script src="common/jquery-ui/external/jquery/jquery.js"></script>
<script src="common/jquery-ui/jquery-ui.js"></script>
<script src="common/toggleproofs.js"></script>
<link href="common/css/lf.css" rel="stylesheet" type="text/css"/>
</head>
<body>
<div id="page">
<div id="header">
<div id='logoinheader'><a href='https://softwarefoundations.cis.upenn.edu'>
<img src='common/media/image/sf_logo_sm.png' alt='Software Foundations Logo'></a></div>
<div class='booktitleinheader'><a href='index.html'>Volume 1: Logical Foundations</a></div>
<ul id='menu'>
<li class='section_name'><a href='toc.html'>Table of Contents</a></li>
<li class='section_name'><a href='coqindex.html'>Index</a></li>
<li class='section_name'><a href='deps.html'>Roadmap</a></li>
</ul>
</div>
<div id="main">
<h1 class="libtitle">Bib<span class="subtitle">Bibliography</span></h1>
<div class="doc">
<div class="paragraph"> </div>
<a id="lab494"></a><h1 class="section">Resources cited in this volume</h1>
<div class="paragraph"> </div>
<div class="paragraph"> </div>
<a target="Bertot-2004"><span class="inlineref"><b>[Bertot 2004]</b></span></a> Interactive Theorem Proving and Program Development:
Coq'Art: The Calculus of Inductive Constructions, by Yves Bertot and
Pierre Casteran. Springer-Verlag, 2004.
<a href="https://tinyurl.com/z3o7nqu"><span class="inlineref" <a href='https://tinyurl.com/z3o7nqu</span></a>'>https://tinyurl.com/z3o7nqu</span></a></a>
<div class="paragraph"> </div>
<a target="Chlipala-2013"><span class="inlineref"><b>[Chlipala 2013]</b></span></a> Certified Programming with Dependent Types, by
Adam Chlipala. MIT Press. 2013. <a href="https://tinyurl.com/zqdnyg2"><span class="inlineref" <a href='https://tinyurl.com/zqdnyg2</span></a>'>https://tinyurl.com/zqdnyg2</span></a></a>
<div class="paragraph"> </div>
<a target="Lipovaca-2011"><span class="inlineref"><b>[Lipovaca 2011]</b></span></a> Learn You a Haskell for Great Good! A Beginner's
Guide, by Miran Lipovaca, No Starch Press, April 2011.
<a href="http://learnyouahaskell.com"><span class="inlineref" <a href='http://learnyouahaskell.com</span></a>'>http://learnyouahaskell.com</span></a></a>
<div class="paragraph"> </div>
<a target="O'Sullivan-2008"><span class="inlineref"><b>[O'Sullivan 2008]</b></span></a> Bryan O'Sullivan, John Goerzen, and Don Stewart:
Real world Haskell - code you can believe in. O'Reilly
2008. <a href="http://book.realworldhaskell.org"><span class="inlineref" <a href='http://book.realworldhaskell.org</span></a>'>http://book.realworldhaskell.org</span></a></a>
<div class="paragraph"> </div>
<a target="Pugh-1991"><span class="inlineref"><b>[Pugh 1991]</b></span></a> Pugh, William. "The Omega test: a fast and practical
integer programming algorithm for dependence analysis." Proceedings
of the 1991 ACM/IEEE conference on Supercomputing. ACM, 1991.
<a href="https://dl.acm.org/citation.cfm?id=125848"><span class="inlineref" <a href='https://dl.acm.org/citation.cfm?id=125848</span></a>'>https://dl.acm.org/citation.cfm?id=125848</span></a></a>
<div class="paragraph"> </div>
<a target="Wadler-2015"><span class="inlineref"><b>[Wadler 2015]</b></span></a> Philip Wadler. "Propositions as types."
Communications of the ACM 58, no. 12 (2015): 75-84.
<a href="https://dl.acm.org/citation.cfm?id=2699407"><span class="inlineref" <a href='https://dl.acm.org/citation.cfm?id=2699407</span></a>'>https://dl.acm.org/citation.cfm?id=2699407</span></a></a>
<div class="paragraph"> </div>
</div>
<div class="code">
<span class="comment">(* 2024-12-25 16:46 *)</span><br/>
</div>
</div>
<div id="footer">
<hr/><a href="coqindex.html">Index</a><hr/>This page has been generated by <a href="http://coq.inria.fr/">coqdoc</a>
</div>
</div>
</body>
</html>