Inproceedings,
Fibred Data Types.
N. Ghani, L. Malatesta, F. Forsberg, and A. Setzer.LICS, page 243-252. IEEE Computer Society, (2013)
Meta data
- BibTeX key
- conf/lics/GhaniMFS13
- entry type
- inproceedings
- booktitle
- LICS
- year
- 2013
- pages
- 243-252
- publisher
- IEEE Computer Society
- crossref
- conf/lics/2013
- ee
- http://dl.acm.org/citation.cfm?id=2591409
- isbn
- 978-1-4799-0413-6
- url
- http://dblp.uni-trier.de/db/conf/lics/lics2013.html#GhaniMFS13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/lics/GhaniMFS13
%A Ghani, Neil
%A Malatesta, Lorenzo
%A Forsberg, Fredrik Nordvall
%A Setzer, Anton
%B LICS
%D 2013
%I IEEE Computer Society
%K
%P 243-252
%T Fibred Data Types.
%U http://dblp.uni-trier.de/db/conf/lics/lics2013.html#GhaniMFS13
%@ 978-1-4799-0413-6
@inproceedings{conf/lics/GhaniMFS13,
added-at = {2023-12-13T02:46:35.000+0100},
author = {Ghani, Neil and Malatesta, Lorenzo and Forsberg, Fredrik Nordvall and Setzer, Anton},
biburl = {https://www.bibsonomy.org/bibtex/2aa7d8ea5a77c2bcd1df6303a03738b73/admin},
booktitle = {LICS},
crossref = {conf/lics/2013},
ee = {http://dl.acm.org/citation.cfm?id=2591409},
interhash = {836966d2e9111a848115648e06b34a4a},
intrahash = {aa7d8ea5a77c2bcd1df6303a03738b73},
isbn = {978-1-4799-0413-6},
keywords = {},
pages = {243-252},
publisher = {IEEE Computer Society},
timestamp = {2023-12-13T02:46:35.000+0100},
title = {Fibred Data Types.},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2013.html#GhaniMFS13},
year = 2013
}