-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
97 lines (89 loc) · 3.25 KB
/
index.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
<!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=iso-8859-1"/>
<link href="coqdoc.css" rel="stylesheet" type="text/css"/>
<title>Software Foundations</title>
</head>
<body>
<div id="page">
<div class="doc" id="index">
<br/>
<center>
<table bgcolor="black" width=750> <tr><td>
<table style="background-color: rgb(60%,50%,100%);
background-image:url('index-bg.jpg');
background-repeat:no-repeat;
background-size: 100%;"
width=750 cellpadding=50> <tr><td>
<br/>
<div class="booktitle">
Software Foundations
</div>
<br/>
<br/>
<p>
<div class="authors">
Benjamin C. Pierce<br/>
Arthur Azevedo de Amorim<br/>
Chris Casinghino<br/>
Marco Gaboardi<br/>
Michael Greenberg<br/>
Cătălin Hriţcu<br/>
Vilhelm Sjöberg<br/>
Brent Yorgey
</div>
</p>
<p>
<div class="moreauthors">
<i>with</i>
Loris D'Antoni,
Andrew W. Appel,
Arthur Chargueraud,
Anthony Cowley,
Jeffrey Foster,
Dmitri Garbuzov,
Michael Hicks,
Ranjit Jhala,
Greg Morrisett,
Jennifer Paykin,
Mukund Raghothaman,
Chung-chieh Shan,
Leonid Spesivtsev,
Andrew Tolmach,
Stephanie Weirich,
and
Steve Zdancewic
</div>
</p>
<br/>
<br/>
<div class="buttons" align="center">
<table cellpadding=5 cellspacing=8><tr>
<td/>
<td style="background-color:rgb(148,143,208);
border: solid 1px;">
<a href="toc.html">Table of Contents</a></td>
<td width=20/>
<td style="background-color:rgb(148,143,208);
border: solid 1px;">
<a href="deps.html">Roadmap</a></td>
<td width=20/>
<td style="background-color:rgb(148,143,208);
border: solid 1px;">
<a href="sf.tgz">Download</a></td>
<td/>
</tr></table>
</div>
<br/>
<br/>
<div>
Version 4.0 (May, 2016)
</div>
</td></tr></table>
</center>
</div>
</div>
</body>
</html>