BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Object capability system for Scala
DTSTART:20190716T140000
DTEND:20190716T160000
DTSTAMP:20260407T010635Z
UID:74ee33a7cd596bc8ddf36a080a69da961a5bdfea05952c42bc108849
CATEGORIES:Conferences - Seminars
DESCRIPTION:Aleksander Boruch-Gruszecki\nEDIC candidacy exam\nExam preside
 nt: Prof. Mathias Payer\nThesis advisor: Prof. Martin Odersky\nCo-examiner
 : Prof. Viktor Kuncak\n\nAbstract\nThe idea of tracking effects in the typ
 e system has been\nsteadily gaining popularity in the programming language
 \ncommunity. Being able to track what side effects definitions\nare able t
 o perform allows enforcing cleaner and more\norganized program architectur
 e\, which leads to better\nunderstandability and smaller maintenance costs
 .\nIn particular\, the idea of tracking effects through monads\nhas gained
  some foothold in the industry. While\nundoubtedly effective at preventing
  unintended side effects\,\nmonads are also infamously difficult to explai
 n to average\nprogrammers\, make it impossible to use typical flow control
 \nstructures and do not compose easily.\nAlgebraic effects are a promising
  direction of study that\nnot only fixes all the above problems\, but prov
 ides benefits\nof its own. In this proposal\, we study three papers and\nd
 iscuss how their ideas can be unified into a pragmatic\,\npowerful and int
 uitive effect system for Scala.\n\nBackground papers\nKoka: Programming wi
 th Row Polymorphic Effect Types\, by Leijen D.\nDo Be Do Be Do\, by Sam\, 
 L.\, McBride\, C.\, McLaughlin\, C.\nA Capability-Based Module System for 
 Authority Control\, by  Melicher\, D.\, et al.\n 
LOCATION:BC 03 https://plan.epfl.ch/?room==BC%2003
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR