From ckfinite at gmail.com  Tue Jul 11 22:24:08 2017
From: ckfinite at gmail.com (Benjamin Chung)
Date: Wed, 12 Jul 2017 02:24:08 +0000
Subject: [PL-sem-jr] rest-of-summer schedule
In-Reply-To: <0e11eaf8-8275-89fa-e7ea-aa78c0837d9e@gmail.com>
References: <CALuKBHv6BKHfGCvUyjYfmxh_NspP3BpFHT1DqJLk3CWXZidySQ@mail.gmail.com>
 <3795d90a-a3ad-66c0-d41b-3f70d336cf5c@student.ecp.fr>
 <CAPKAvQVfXbfnL17Rbhoi_3MQhWdSaKr3q=P+_RaqFWdtd9EoEw@mail.gmail.com>
 <0e11eaf8-8275-89fa-e7ea-aa78c0837d9e@gmail.com>
Message-ID: <CALze19toy9E=0LNB_exOT_LyZi24fUyL57MjKW+MDVxD5sSuog@mail.gmail.com>

I just realized, I'm liable to be in Prague on the 3rd. Would it be
possible to reschedule that to the 17th?

On Thu, May 25, 2017 at 4:15 PM Julia Belyakova <julbinb at gmail.com> wrote:

> Hello guys,
>
> I put the code from Idris-2 into the repo. I also added an example for
> *decidable*.
>
> https://github.com/ulysses4ever/pl-sem-jr-2017-summer/blob/master/2017-05-25-idris-2/contracts-in-types.idr
>
> --
> Kind regards, Julia
>
> 18.05.2017 14:58, Artem Pelenitsyn ?????:
>
> Hi, guys,
>
> I created a repo for any materials for forthcoming talks. The code from my
> talk today:
>
> https://github.com/ulysses4ever/pl-sem-jr-2017-summer/blob/master/2017-05-18-idris-1/first-class-types.idr
>
> Feel free to pull-request (or mail-request the permissions for direct
> contribution).
>
> --
> Best, Artem
>
> ??, 12 ??? 2017 ?. ? 10:16, Ayaz BADOURALY <ayaz.badouraly at student.ecp.fr
> >:
>
>>
>> Le 11/05/2017 ? 18:20, Sam Caldwell a ?crit :
>> >
>> > 7/13 - Ayaz on Self: The Power of Simplicity [2]
>>
>> Erf, I just realized that I'll probably be off from 7/9 to 7/15... Not
>> quite sure yet, I'll let you know as soon as possible!
>>
>> > 7/20 - Sam on Optimizing Dynamically-Typed Object-Oriented Programming
>> > Languages with Polymorphic Inline Caches [3]
>> > 7/27 - Ming-Ho on Debugging Optimized Code with Dynamic Deoptimization
>> [4]
>> > 8/3 - Ben on Optimizing Dynamically-Dispatched Calls with Run-Time
>> > Type Feedback [5]
>> > 8/10 - Nick on Customization: Optimizing Compiler Technology for Self,
>> > a Dynamically-Typed Object-Oriented Programming Language [6]
>>
>> --
>> Ayaz
>>
>>
>> _______________________________________________
>> Pl-sem-jr mailing list
>> Pl-sem-jr at lists.ccs.neu.edu
>> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>>
>
>
> _______________________________________________
> Pl-sem-jr mailing listPl-sem-jr at lists.ccs.neu.eduhttps://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>
-------------- next part --------------
HTML attachment scrubbed and removed