VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Ahrens, Benedikt	Terminal semantics for codata types in intensional Martin-Löf type theory
Al-Sibahi, Ahmad Salim	Scrapping Your Dependently-Typed Boilerplate is Hard
Amsden, Edward	Type-Directed Editing for Dependently-Typed Programs.
B
Barlatier, Patrick	A Unifying Framework for Primitive Ontological Relations in Dependent Type Theory
Botta, Nicola	Sequential decision problems and a computational theory of avoidability
Brady, Edwin	Sequential decision problems and a computational theory of avoidability
C
Christiansen, David Raymond	Tool Demonstration: An IDE for Programming and Proving in Idris
D
Dapoigny, Richard	A Unifying Framework for Primitive Ontological Relations in Dependent Type Theory
G
Gibbons, Jeremy	Relational ornaments
I
Ionescu, Cezar	Domain Specific Languages of Mathematics Sequential decision problems and a computational theory of avoidability
J
Jansson, Patrik	Domain Specific Languages of Mathematics Sequential decision problems and a computational theory of avoidability
Jeffrey, Alan	FRP, LTL and GUIs
K
Ko, Hsiang-Shang	Relational ornaments
M
Mehnert, Hannes	Tool Demonstration: An IDE for Programming and Proving in Idris
N
Newton, Ryan	Type-Directed Editing for Dependently-Typed Programs.
P
Pizani Flor, João Paulo	An Embedded Hardware Description Language using Dependent Types
S
Siek, Jeremy	Type-Directed Editing for Dependently-Typed Programs.
Spadotti, Régis	Terminal semantics for codata types in intensional Martin-Löf type theory
Swierstra, Wouter	An Embedded Hardware Description Language using Dependent Types
T
Tasistro, Alvaro	On a style of presentation of type systems

Disclaimer | Powered by EasyChair Smart Program