Version française
Home     About     Download     Resources     Contact us    
Browse thread
polymorphic fixpoints operator in Ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jacques Carette <carette@m...>
Subject: polymorphic fixpoints operator in Ocaml
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Inspired by Julien Signoles' code for Omega, (<a
 class="moz-txt-link-freetext"
 href="http://www.lri.fr/%7Esignoles/prog/misc/lambda.ml.html">http://www.lri.fr/~signoles/prog/misc/lambda.ml.html</a>)
Oleg K explores different ways to create a <b class="moz-txt-star"><span
 class="moz-txt-tag">*</span>fully polymorphic<span class="moz-txt-tag">*</span></b>
fixpoint operator in Ocaml.&nbsp; See
<br>
<br>
&nbsp;&nbsp;&nbsp;&nbsp;<a class="moz-txt-link-freetext"
 href="http://pobox.com/%7Eoleg/ftp/packages/fixpoints.ml">http://pobox.com/~oleg/ftp/packages/fixpoints.ml</a>
<br>
<br>
for details.<br>
<br>
Jacques C.<br>
</body>
</html>