[Haskell] Call for Scholarship Applications: PLMW at POPL 2017 - Deadline October 23
[Apologies for multiple copies, scholarship application deadline in less than 10 days] >>>>>>>>>> CALL FOR SCHOLARSHIP APPLICATIONS (Deadline: October 23!) ACM SIGPLAN Programming Languages Mentoring Workshop, Paris, France Tuesday, January 17, 2017 Co-located with POPL 2017 PLMW web page: http://conf.researchr.org/track/POPL-2017/PLMW-2017 After the resounding success of the first five Programming Languages Mentoring Workshops at POPL 2012-2016 we proudly announce the 2017 SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2017 and organised by Loris D'Antoni, Eva Darulova, Alexandra Silva, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women, underrepresented minority students, and people with disabilities to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should cover reasonable expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application. The workshop registration is open to all. Students with alternative sources of funding are welcome as well. APPLICATION for PLMW scholarship: The scholarship application can be accessed from the workshop web site. http://conf.researchr.org/track/POPL-2017/PLMW-2017#Scholarship-applications The deadline for full consideration of funding is SUNDAY, OCTOBER 23. Selected participants will be notified by NOVEMBER 20 or earlier. Confirmed sponsors so far: NSF ACM SIGPLAN Amazon An Anonymous Donor Jane Street Capital Microsoft ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
[Haskell] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop
(apologies for multiple copies) CALL FOR SCHOLARSHIP APPLICATIONS (Deadline: October 23!) ACM SIGPLAN Programming Languages Mentoring Workshop, Paris, France Tuesday, January 17, 2017 Co-located with POPL 2017 PLMW web page: http://conf.researchr.org/track/POPL-2017/PLMW-2017 After the resounding success of the first five Programming Languages Mentoring Workshops at POPL 2012-2016 we proudly announce the 2017 SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2017 and organised by Loris D'Antoni, Eva Darulova, Alexandra Silva, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women, underrepresented minority students, and people with disabilities to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should cover reasonable expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application. The workshop registration is open to all. Students with alternative sources of funding are welcome as well. APPLICATION for PLMW scholarship: The scholarship application can be accessed from the workshop web site. http://conf.researchr.org/track/POPL-2017/PLMW-2017#Scholarship-applications The deadline for full consideration of funding is SUNDAY, OCTOBER 23. Selected participants will be notified by NOVEMBER 20 or earlier. Confirmed sponsors so far: NSF ACM SIGPLAN Amazon An Anonymous Donor Jane Street Capital Microsoft ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
[Haskell] Final Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)~
(apologies for multiple copies) FINAL CALL FOR SCHOLARSHIP APPLICATIONS (Deadline this Friday: October 23!) ACM SIGPLAN Programming Languages Mentoring Workshop, St. Petersburg, Florida, USA Tuesday, January 19, 2016 Co-located with POPL 2016 PLMW web page: http://conf.researchr.org/home/PLMW-2016 After the resounding success of the first four Programming Languages Mentoring Workshops at POPL 2012, 2013, 2014, and 2015, we proudly announce the 5th SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2016 and organised by Isil Dillig, Derek Dreyer, Ross Tate, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women and underrepresented minority students to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should cover reasonable expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application. The workshop registration is open to all. Students with alternative sources of funding are welcome as well. APPLICATION for PLMW scholarship. The scholarship application can be accessed from the workshop web site: http://conf.researchr.org/home/PLMW-2016 The deadline for full consideration of funding is FRIDAY, OCTOBER 23. Selected participants will be notified by NOVEMBER 15 or earlier. SPONSORS: NSF ACM SIGPLAN Facebook Jane Street Capital Google Microsoft ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
[Haskell] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)
CALL FOR SCHOLARSHIP APPLICATIONS (Deadline: October 23!) ACM SIGPLAN Programming Languages Mentoring Workshop, St. Petersburg, Florida, USA Tuesday, January 19, 2016 Co-located with POPL 2016 PLMW web page: http://conf.researchr.org/home/PLMW-2016 After the resounding success of the first four Programming Languages Mentoring Workshops at POPL 2012, 2013, 2014, and 2015, we proudly announce the 5th SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2016 and organised by Isil Dillig, Derek Dreyer, Ross Tate, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women and underrepresented minority students to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should cover reasonable expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application. The workshop registration is open to all. Students with alternative sources of funding are welcome as well. APPLICATION for PLMW scholarship. The scholarship application can be accessed from the workshop web site: http://conf.researchr.org/home/PLMW-2016 The deadline for full consideration of funding is FRIDAY, OCTOBER 23. Selected participants will be notified by NOVEMBER 15 or earlier. SPONSORS: NSF ACM SIGPLAN Facebook Jane Street Capital Google Microsoft ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Re: [Haskell] Type inference for arbitrary rank types
Hello, Edsko de Vries wrote: > > In this figure, there are rules for annotated abstractions (AABS1 and > AABS2) and annotated terms (ANNOT). What I'm wondering about: are the > rules AABS1 and AABS2 really necessary? As in, if you would remove those > two rules, does there exist a program that can be typed with the > original set of rules than cannot be typed with the set of rules with > AABS1/2 removed? It seems to me that any program that can be typed using > AABS1/2, can also be typed with ANNOT. You mean that whenever |- \x::sigma.e : s1 -> r2 then |- ((\x.e) :: sigma -> r2) : s1 -> r2 or sth similar I guess. Yes in that sense we dont really need aabs1/2. The rules are included more to indicate how should one deal with annotated abstractions rather than to improve the expressivity of the language. > > More importantly, in the absence of lexically scoped type variables, a > type such as > > forall a. (forall b. (a, b) -> (b, a)) -> [a] -> [a](*) > > (the example given on page 11, section 4.1 in the paper) cannot even be > typed using AABS1/2, but must be typed with ANNOT. Again, you mean we cannot meaningfully annotate some lambda expression so that the whole expression has this type and the annotation "forall b. (a,b) -> (b,a)" be somehow fixed to its argument? Yes, this is right, we have to use annot. > > Perhaps I am missing something here though, because in Odersky and > Laufer's original paper, they do not do "local type inference" (they > don't specify a bidirectional version), which would make type (*) > impossible to specify in their original system? No this has nothing to do with the OL type system, OL allow any arbitrary rank types. Nor with bidirectionality. Perhaps more clear discussion and facts about the metatheory of these systems can be found in the new (and final) version of the paper you have, available from SPJ's page. Regards, -d > > Thanks, > > Edsko > ___ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell