FW: monitors paper

6 views

Skip to first unread message

Dimitrios Vytiniotis

unread,

Dec 27, 2011, 8:29:42 AM12/27/11

to Koen Claessen (koen@chalmers.se), Simon Peyton-Jones, haskellc...@googlegroups.com

FYI

> -----Original Message-----
> From: Andrey Rybalchenko [mailto:ry...@in.tum.de]
> Sent: Friday, December 23, 2011 9:33 PM
> To: Dimitrios Vytiniotis
> Cc: Ruslan Ledesma Garza
> Subject: Re: monitors paper
>
> Hi Dimitrios,
>
> Sorry for the delay, here is our paper. Your visit was very interesting, let's
> catch up in the new year. Happy holidays!
>
> Best regards,
>
> Andrey
>
> On Dec 5, 2011, at 3:06 PM, Dimitrios Vytiniotis wrote:
>
> >
> > Hi Andrey,
> >
> > Very good to talk to you last week! Would it be possible to send us a
> > pdf version of your monitor paper with Ruslán, and can I share it with
> > my collaborators? (Simon PJ, Nathan Collins (my intern who is working
> > on this) and Koen Claessen)
> >
> > As for the type constraints, I hope I will have something written down
> towards the end of the week.
> >
> > Also, embarrassingly enough but still fortunately, the contract check
> > failing in the demo I did was just a silly scoping/type checking
> > problem -- Nathan told me the right syntax and then it just worked :-) Oh
> well ...
> >
> > All right, thanks again!
> >
> > d-
> >
> >