On Feb 27, 2010, at 02:52, Guillaume Yziquel wrote:
I've been struggling to have a type system where I could do the
following subtyping:
'a t1 :> t2 and t2 :> 'a t1
Hm, what do you mean? Subtyping ought to be reflexive and
antisymmetric (although the latter is rarely proved for most ty
Hello.
I've been struggling to have a type system where I could do the
following subtyping:
'a t1 :> t2 and t2 :> 'a t1
So I've tried to do the following:
yziq...@seldon:~$ ocaml
Objective Caml version 3.11.2
# #rectypes;;
# module Q = struct
type -'a e
type 'a q = privat
---
[[[ We apologize if you receive multiple copies of this message ]]]
---
--
PLEASE FOR
---
[[[ We apologize if you receive multiple copies of this message ]]]
---
--
PLEASE FOR
Third Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
25 September 2010, Baltimore, USA
A satellite workshop of ICFP 2010
PRESENTATION
The workshop on Mathematically Structured Functional Programming is
devoted to the derivation of functionality from structure. It is a
celebration