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
|
<?xml version="1.0" standalone="no"?>
<page>
<title>Academic Research</title>
<description>
Academic research related to the Nice programming language.
</description>
<keywords>nice, research, papers, type, subject-reduction, multi-method
</keywords>
<para>
Nice originates in academic research on object-orientation.
It all started with the
<ulink url="http://www.exentis.com/Francois.Bourdoncle/popl97.html">
ML-Sub type system</ulink>, presented at the
<ulink url="http://www.cs.umd.edu/~pugh/popl97/">
Principles Of Programming Languages 1997 conference
</ulink>
by
<ulink url="http://www.exentis.com/Francois.Boudoncle">
Francois Bourdoncle
</ulink>
and
<ulink url="http://siskin.pst.informatik.uni-muenchen.de/~merz/">
Stephan Merz
</ulink>.
This article present the core type system, and proves its safety property.
</para>
<para>
A <ulink url="http://cristal.inria.fr/~bonniot/bonniot02.ps">
new version of the type system</ulink> was presented at the
<ulink url="http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL9.html">
Foundations of Object-Oriented Languages 2002 workshop
</ulink>
by Daniel Bonniot.
The presentation is much simpler, and it includes type inference, which is not
yet present in Nice.
</para>
<para>
The <ulink url="http://www.elsevier.com/gej-ng/31/29/23/132/23/25/75003.pdf">
extension of the type system with kinds</ulink>
was presented at the
<ulink url="http://www.informatik.uni-freiburg.de/~thiemann/tip02/">
Workshop on Types in Programming (TIP'02)</ulink>
by Daniel Bonniot.
It forms the theoretical basis for <emphasis>abstract interfaces</emphasis>
in Nice.
</para>
<para>
<ulink url="http://nice.sourceforge.net/DEA.ps">Daniel Bonniot's
graduation report</ulink> contains information about the language,
and the theory of <emphasis>abstract interfaces</emphasis>
as they appear in Nice.
Since then some names have changed: Bossa became Nice, and
<emphasis>interfaces</emphasis> are <emphasis>abstract interfaces</emphasis>
in Nice.
</para>
</page>
|
