Models for Polymorphism over Physical Dimension
Robert Atkey‚ Neil Ghani‚ Fredrik Nordvall Forsberg‚ Timothy Revell and Sam Staton
Book Title
13th International Conference on Typed Lambda Calculi and Applications‚ TLCA 2015‚ July 1−3‚ 2015‚ Warsaw‚ Poland
Editor
Thorsten Altenkirch
Pages
45–59
Publisher
Schloss Dagstuhl − Leibniz−Zentrum für Informatik
Series
LIPIcs
Volume
38
Year
2015