Erinevused

Siin näed erinevusi valitud versiooni ja hetkel kehtiva lehekülje vahel.

Lõlita võrdlemise vaatele

et:teated:2014:jeltch [2014/06/16 14:25]
Monika Perkmann
et:teated:2014:jeltch [2014/06/18 13:22] (Hetkel kehtiv)
Monika Perkmann
Rida 14: Rida 14:
  
  
 +**June 10 and June 17**
  
 Abstract process categories (APCs) are axiomatically defined categorical Abstract process categories (APCs) are axiomatically defined categorical
Rida 21: Rida 22:
 this generalized form of APCs seems to capture also an FRP dialect that this generalized form of APCs seems to capture also an FRP dialect that
 lacks support for processes. lacks support for processes.
 +
 +
 +**June 19**
 +==== Functional Programming with Resources ====
 +
 +In this talk, I introduce an extended form of functional programming
 +that can deal with resources. I show how this style of programming is
 +related to linear logic and the logic of bunched implications, and
 +present both an abstract and a concrete categorical semantics for it.