et:teated:2014:jeltch
See veebisait esitab teavet KübIst 31. detsembri 2016 seisuga ja seda enam ei uuendata.
This website presents information about IoC as of 31 December 2016 and is no longer updated.
This website presents information about IoC as of 31 December 2016 and is no longer updated.
no way to compare when less than two revisions
Erinevused
Siin näed erinevusi valitud versiooni ja hetkel kehtiva lehekülje vahel.
— | et:teated:2014:jeltch [2014/06/18 13:22] (Hetkel kehtiv) – tekitatud - väline muutmine 127.0.0.1 | ||
---|---|---|---|
Rida 1: | Rida 1: | ||
+ | [[http:// | ||
+ | ---- | ||
+ | |||
+ | ===== Generalized Abstract Process Categories ===== | ||
+ | |||
+ | ** Wolfgang Jeltsch ** | ||
+ | |||
+ | Institute of Cybernetics\\ | ||
+ | |||
+ | **Tuesday, 10 June 2014, 14:00** \\ | ||
+ | **Tuesday, 17 June 2014, 14:00** \\ | ||
+ | **Thursday, 19 June 2014, 14:00** \\ | ||
+ | Cybernetica Bldg (Akadeemia tee 21), room B 101 | ||
+ | |||
+ | |||
+ | **June 10 and June 17** | ||
+ | |||
+ | Abstract process categories (APCs) are axiomatically defined categorical | ||
+ | models for functional reactive programming (FRP) with processes. In this | ||
+ | talk, I present a generalized form of APCs that can serve as a semantics | ||
+ | for an FRP dialect with support for resources. Perhaps surprisingly, | ||
+ | this generalized form of APCs seems to capture also an FRP dialect that | ||
+ | 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, | ||
+ | present both an abstract and a concrete categorical semantics for it. | ||
et/teated/2014/jeltch.txt · Viimati muutnud: 2014/06/18 13:22 persoon 127.0.0.1