blob: 3dac7c6e1d525108ee02039d2840173570a973c2 (
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>The Scala Classic Calculus</title>
<meta name="sip" content="XXXXX"/>
<meta name="author" content="Geoffrey Washburn"/>
<meta name="version" content="0"/>
<meta name="type" content="informational"/>
<meta name="status" content="submission"/>
<meta name="created" content="2008-08-21"/>
<meta name="updated" content="2008-08-21"/>
<!-- Stylesheet -->
<link rel="stylesheet" href="http://lampsvn.epfl.ch/svn-repos/scala/sip/trunk/sip.css" type="text/css"/>
</head>
<body>
<h1>The Scala Classic Calculus</h1>
<p>Copyright © 2008, Geoffrey Washburn</p>
<h2>Abstract</h2>
This document describes the Scala Classic calculus that provides a
verified formal modal for a subset of the Scala language. This
calculus can be useful in understanding the Scala language
independently of the Scala Language Specification.
</body>
</html>
|
