Kasutaja tarvikud

Lehe tööriistad

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.

CS Theory Seminars

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, and present both an abstract and a concrete categorical semantics for it.

et/teated/2014/jeltch.txt · Viimati muutnud: 2014/06/18 13:22 persoon

© TTÜ Küberneetika Instituut, Akadeemia tee 21, 12618 Tallinn Telefon: 620 4150 Faks: 620 4151