blob: 170a0184234dc869bae22e8c41ca3c0c6d965655 (
plain) (
blame)
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
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>Dependent method types</title>
<meta name="sip" content="XXXXX"/>
<meta name="author" content="Geoffrey Washburn"/>
<meta name="version" content="0"/>
<meta name="type" content="standards"/>
<meta name="status" content="submission"/>
<meta name="created" content="2008-08-21"/>
<meta name="updated" content="2008-08-21"/>
<meta name="scala-version" content="2.8.0"/>
<!-- <meta name="owner-contact" content="[URI]"/> -->
<!-- <meta name="discussion" content="[URI]"/> -->
<!-- <link rel="auxiliary" href="[URI]" type="[mime type]"/> -->
<!-- <link rel="replaces" href="[URI]" type="application/xhtml+xml"/> -->
<!-- <link rel="depends-on" href="[URI]" type="application/xhtml+xml"/> -->
<!-- Stylesheet -->
<link rel="stylesheet" href="http://lampsvn.epfl.ch/svn-repos/scala/sip/trunk/sip.css" type="text/css"/>
</head>
<body>
<h1>Dependent method types</h1>
<p>Copyright © 2008, Geoffrey Washburn</p>
<h2>Abstract</h2>
</body>
</html>
|