[PL-sem-jr] rest-of-summer schedule

[Benjamin Chung]

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