To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Up-to Techniques using Si… - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Up-to Techniques using Sized Types

Journal article
Authors Nils Anders Danielsson
Published in Proceedings of the ACM on Programming Languages
Volume 2
Issue POPL
Pages 28
Publication year 2018
Published at Department of Computer Science and Engineering, Computing Science, Programming Logic
Pages 28
Language en
Links https://gup.ub.gu.se/file/207361
Subject categories Computer Science
Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?