ML program with callcc

Thread View: comp.lang.functional

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Martin Hofmann Wed, 27 Jan 1993 18:31

#1054

Author: Martin Hofmann
Date: Wed, 27 Jan 1993 18:31

21 lines
1089 bytes

Hello,

I am interested in the use of type theory for the verification of functional
programs and it is in this context that i'm looking for ml-programs which

make nontrivial use of callcc

and nevertheless do neither use references nor mixed variance datatypes 

the latter means that there are no datatypes like

datatype D=A of int|B of D->D

where the recursively def'd type occurs to the left of an arrow.

Can anybody help?
-- 
                 Martin Hofmann         	
 Laboratory for Foundations of Computer Science 	      	
       The King's Buildings, Mayfield Rd
 Edinburgh EH9 3JZ               Phone 650 5188

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads