Skip to content. | Skip to navigation

Personal tools

Navigation

You are here: Home / Publications and talks

Publications and talks

Publications and talks by Wolfgang Jeltsch.

Publications

2014

Wolfgang Jeltsch
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion
5th Workshop on Mathematically Structured Functional Programming
April 12, 2014
(paper, slides)

Wolfgang Jeltsch
An Abstract Categorical Semantics for Functional Reactive Programming with Processes
8th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification
January 21, 2014
(paper, slides)

2013

Wolfgang Jeltsch
A Categorical Foundation of Functional Reactive Programming with Mutable State
25th Nordic Workshop on Programming Theory
November 20–22, 2013
(extended abstract, slides)

Wolfgang Jeltsch
Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories
7th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification
January 22, 2013
(paper, slides)

2012

Wolfgang Jeltsch
Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming
28th Conference on the Mathematical Foundations of Programming Semantics
June 6–9, 2012
(paper, slides)

Wolfgang Jeltsch
Strongly Typed and Efficient Functional Reactive Programming
Promotion an der Fakultät 1 der BTU Cottbus
December 8, 2011 (defense); March 29, 2012 (publication)
(thesis, slides (German; including non-shown additional material))

2010

Wolfgang Jeltsch
Generic Record Combinators with Static Type Checking
12th International Symposium on Principles and Practice of Declarative Programming
July 26–28, 2010
(paper, slides (including non-shown additional material))

2009

Wolfgang Jeltsch
Signals, Not Generators!
Tenth Symposium on Trends in Functional Programming
June 2–4, 2009
(paper, slides (including non-shown additional material))

2008

Wolfgang Jeltsch
Improving Push-based FRP
Ninth Symposium on Trends in Functional Programming
May 26–28, 2008
(draft paper (published in the draft proceedings), slides (including non-shown additional material))

Talks without accompanying publication

2015

Wolfgang Jeltsch
Intuitionistic Temporal Logic from Reactive Programming
Estonian–Finnish Logic Meeting
November 14, 2015
(slides)

Wolfgang Jeltsch
Funktionale reaktive Programmierung
Colloquium at IHP – Innovations for High Performance Microelectronics
October 15, 2015
(slides)

2014

Wolfgang Jeltsch
An Efficient Solution to the Order-Maintenance Problem
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
December 4, 2014

Wolfgang Jeltsch
Concrete Categorical Semantics for Functional Reactive Programming with Resources
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
October 9, 2014

Wolfgang Jeltsch
Abstract Categorical Semantics for Functional Reactive Programming with Resources
Teooriapäevad Ratniekis
October 2–5, 2014
(slides)

Wolfgang Jeltsch
Functional Programming with Resources as a Haskell Library
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
September 18, 2014

Wolfgang Jeltsch
Functional Programming with Resources
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
June 19, 2014

Wolfgang Jeltsch
Generalized Abstract Process Categories
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
June 10 and 17, 2014

Wolfgang Jeltsch
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion
Teooriapäevad Narva-Jõesuus
May 16–18, 2014
(slides)

Wolfgang Jeltsch
Categorical Semantics for an Intuitionistic Temporal Logic
Fourth Finnish–Estonian Mathematics Colloquium and Finnish Mathematical Days 2014
January 9–10, 2014
(slides)

2013

Wolfgang Jeltsch
A Categorical Foundation of Functional Reactive Programming with Mutable State
Teooriapäevad Sakal
October 25–27, 2013
(slides)

Wolfgang Jeltsch
Towards a Categorical Semantics for Functional Reactive Programming with Mutable State
Coinduction for Computation Structures and Programming Languages
October 6–10, 2013

Wolfgang Jeltsch
Combining Linear and Temporal Logic
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
June 20, 2013

Wolfgang Jeltsch
Categorical Semantics for Linear Logic
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
June 18, 2013
(slides)

Wolfgang Jeltsch
Abstract Process Categories
Teooriapäevad Otepääl
February 1–3, 2013
(slides)

2012

Wolfgang Jeltsch
Concrete Process Categories
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
October 4, 2012
(slides)

Wolfgang Jeltsch
Expressing Causality in Categorical Models of Functional Reactive Programming
Joint Estonian–Latvian Theory Days at Medzābaki
September 27–30, 2012
(slides)

Wolfgang Jeltsch
Categorical Models for Two Intuitionistic Modal Logics
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
Mai 10, 2012
(slides)

Wolfgang Jeltsch
An Introduction to Category Theory and Categorical Logic
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
April 19 and 26, 2012
(slides)

Wolfgang Jeltsch
Emulating Linear Types in Haskell
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
February 16, 2012
(slides)

Wolfgang Jeltsch
A Lightweight Approach to Start Time Consistency in Haskell
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
February 9, 2012
(slides)

2011

Wolfgang Jeltsch
Using Logic for Programming Reactive Systems
TTÜ Küberneetika Instituudi sügisseminar
November 12–13, 2011
(slides)

Wolfgang Jeltsch
First-class Subkinds in Haskell
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
October 27, 2011
(slides)

Wolfgang Jeltsch
Record Type Families: A Key to Generic Record Combinators
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
October 20, 2011
(slides)

Wolfgang Jeltsch
First-Class Signals for Functional Reactive Programming
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
October 13, 2011
(slides)

Wolfgang Jeltsch
Programming in Linear Temporal Logic
TTÜ Küberneetika Instituudi arvutiteaduse teooriaseminar
February 10, 2011
(slides)

Wolfgang Jeltsch
The Curry–Howard Correspondence between Temporal Logic and Functional Reactive Programming
Teooriapäevad Nelijärvel
February 4–6, 2011
(slides)

2010

Wolfgang Jeltsch
Signale statt Generatoren!
27. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte. May 3–5, 2010
(slides (including non-shown additional material))

Wolfgang Jeltsch
Generische Record-Kombinatoren mit statischer Typprüfung
Kolloquium des Lehrstuhls Programmiersprachen und Compilerbau der BTU Cottbus
January 13, 2010
(slides)

2009

Wolfgang Jeltsch
Programmierung und Verifikation reaktiver Systeme mittels funktionaler Programmierung
Kolloquium des Instituts für Informatik der BTU Cottbus
November 18, 2009
(slides)

Wolfgang Jeltsch
A Generic Foundation for Record Combinators
21st International Symposium on Implementation and Application of Functional Languages
September 23–25, 2009
(slides (including non-shown additional material))

2008

Wolfgang Jeltsch
Declarative Programming of Interactive Systems with Grapefruit
Software Technology Colloquium of Universiteit Utrecht
May 29, 2008
(time, place and abstract, slides (including non-shown additional material))

2007

Wolfgang Jeltsch
Funktionale GUI-Programmierung in Haskell mit Grapefruit
Haskell in Leipzig 2
July 10, 2007
(video, slides)