121 lines
6.2 KiB
HTML
121 lines
6.2 KiB
HTML
<?xml version="1.0" encoding="iso-8859-1" ?>
|
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
|
|
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
<!--http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd-->
|
|
<html xmlns="http://www.w3.org/1999/xhtml"
|
|
>
|
|
<head><title>Bibliography</title>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
|
|
<meta name="generator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)" />
|
|
<meta name="originator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)" />
|
|
<!-- 2,html,xhtml -->
|
|
<meta name="src" content="haskell.tex" />
|
|
<meta name="date" content="2010-07-20 13:11:00" />
|
|
<link rel="stylesheet" type="text/css" href="haskell.css" />
|
|
</head><body
|
|
>
|
|
<!--l. 1--><div class="crosslinks"><p class="noindent">[<a
|
|
href="haskellch42.html" >prev</a>] [<a
|
|
href="haskellch42.html#tailhaskellch42.html" >prev-tail</a>] [<a
|
|
href="#tailhaskellli3.html">tail</a>] [<a
|
|
href="haskellpa2.html#haskellli3.html" >up</a>] </p></div>
|
|
<h2 class="likechapterHead"><a
|
|
id="x51-34700042.3"></a>Bibliography</h2>
|
|
<div class="thebibliography">
|
|
<p class="bibitem" ><span class="biblabel">
|
|
[1]<span class="bibsp">   </span></span><a
|
|
id="Xback78"></a>J. Backus. Can programming be liberated from the von Neumann style? A functional style and its
|
|
algebra of programs. <span
|
|
class="ptmri7t-">CACM</span>, 21(8):613–641, August 1978.
|
|
</p>
|
|
<p class="bibitem" ><span class="biblabel">
|
|
[2]<span class="bibsp">   </span></span><a
|
|
id="Xunicode"></a>Unicode Consortium. Unicode standard.
|
|
<a
|
|
href="http://unicode.org/standard/standard.html" class="url" ><span
|
|
class="pcrr7t-">http://unicode.org/standard/standard.html</span></a>.
|
|
</p>
|
|
<p class="bibitem" ><span class="biblabel">
|
|
[3]<span class="bibsp">   </span></span><a
|
|
id="Xcurry&feys:book"></a>H.K. Curry and R. Feys. <span
|
|
class="ptmri7t-">Combinatory Logic</span>. North-Holland Pub. Co., Amsterdam, 1958.
|
|
</p>
|
|
<p class="bibitem" ><span class="biblabel">
|
|
[4]<span class="bibsp">   </span></span><a
|
|
id="Xdamas-milner82"></a>Luis Damas and Robin Milner. Principal type-schemes for functional programs. In <span
|
|
class="ptmri7t-">Conference</span>
|
|
<span
|
|
class="ptmri7t-">Record of the 9th Annual ACM Symposium on Principles of Programming Languages</span>, pages 207–12,
|
|
New York, 1982. ACM Press.
|
|
</p>
|
|
<p class="bibitem" ><span class="biblabel">
|
|
[5]<span class="bibsp">   </span></span><a
|
|
id="Xgosling-etal:Java"></a>James Gosling, Bill Joy, and Guy Steele. <span
|
|
class="ptmri7t-">The Java Language Specification</span>. The Java Series.
|
|
Addison-Wesley, 1997.
|
|
</p>
|
|
<p class="bibitem" ><span class="biblabel">
|
|
[6]<span class="bibsp">   </span></span><a
|
|
id="Xhindley69"></a>R. Hindley. The principal type scheme of an object in combinatory logic. <span
|
|
class="ptmri7t-">Transactions of the</span>
|
|
<span
|
|
class="ptmri7t-">American Mathematical Society</span>, 146:29–60, December 1969.
|
|
</p>
|
|
<p class="bibitem" ><span class="biblabel">
|
|
[7]<span class="bibsp">   </span></span><a
|
|
id="XC99"></a>International Standard ISO/IEC. Programming languages – C. 9899:1999 (E).
|
|
</p>
|
|
|
|
|
|
|
|
<p class="bibitem" ><span class="biblabel">
|
|
[8]<span class="bibsp">   </span></span><a
|
|
id="Xjones:cclasses"></a>MP Jones. A system of constructor classes: overloading and implicit higher-order polymorphism.
|
|
<span
|
|
class="ptmri7t-">Journal of Functional Programming</span>, 5(1):1–36, January 1995.
|
|
</p>
|
|
<p class="bibitem" ><span class="biblabel">
|
|
[9]<span class="bibsp">   </span></span><a
|
|
id="XC"></a>Brian W. Kernighan and Dennis M. Ritchie. <span
|
|
class="ptmri7t-">The C Programming Language</span>. Prentice Hall, second
|
|
edition, 1988.
|
|
</p>
|
|
<p class="bibitem" ><span class="biblabel">
|
|
[10]<span class="bibsp">   </span></span><a
|
|
id="Xliang:JNI"></a>Sheng Liang. <span
|
|
class="ptmri7t-">The Java Native Interface: Programmer’s Guide and Specification</span>. Addison Wesley,
|
|
1999.
|
|
</p>
|
|
<p class="bibitem" ><span class="biblabel">
|
|
[11]<span class="bibsp">   </span></span><a
|
|
id="Xlindholm-etal:JVM"></a>Tim Lindholm and Frank Yellin. <span
|
|
class="ptmri7t-">The Java Virtual Machine Specification</span>. Addison-Wesley, 1996.
|
|
</p>
|
|
<p class="bibitem" ><span class="biblabel">
|
|
[12]<span class="bibsp">   </span></span><a
|
|
id="Xpenfield:complex-apl"></a>P. Penfield, Jr. Principal values and branch cuts in complex APL. In <span
|
|
class="ptmri7t-">APL ’81 Conference</span>
|
|
<span
|
|
class="ptmri7t-">Proceedings</span>, pages 248–256, San Francisco, September 1981.
|
|
</p>
|
|
<p class="bibitem" ><span class="biblabel">
|
|
[13]<span class="bibsp">   </span></span><a
|
|
id="Xwadler:classes"></a>P. Wadler and S. Blott. How to make <span
|
|
class="ptmri7t-">ad hoc </span>polymorphism less <span
|
|
class="ptmri7t-">ad hoc</span>. In <span
|
|
class="ptmri7t-">Proceedings of 16th</span>
|
|
<span
|
|
class="ptmri7t-">ACM Symposium on Principles of Programming Languages</span>, pages 60–76, Austin, Texas, January 1989.
|
|
</p>
|
|
</div>
|
|
|
|
|
|
|
|
<!--l. 513--><div class="crosslinks"><p class="noindent">[<a
|
|
href="haskellch42.html" >prev</a>] [<a
|
|
href="haskellch42.html#tailhaskellch42.html" >prev-tail</a>] [<a
|
|
href="haskellli3.html" >front</a>] [<a
|
|
href="haskellpa2.html#haskellli3.html" >up</a>] </p></div>
|
|
<p class="noindent"> <a
|
|
id="tailhaskellli3.html"></a>
|
|
</body></html>
|