Difference between revisions of "Publications/verna.20.hdr"
From LRDE
| Line 9: | Line 9: | ||
| lrdepaper = http://www.lrde.epita.fr/dload/papers/verna.20.hdr.pdf |
| lrdepaper = http://www.lrde.epita.fr/dload/papers/verna.20.hdr.pdf |
||
| id = verna.20.hdr |
| id = verna.20.hdr |
||
| + | | identifier = doi:10.5281/zenodo.4244393 |
||
| bibtex = |
| bibtex = |
||
@PhDThesis<nowiki>{</nowiki> verna.20.hdr, |
@PhDThesis<nowiki>{</nowiki> verna.20.hdr, |
||
| Line 17: | Line 18: | ||
type = <nowiki>{</nowiki>Habilitation Thesis<nowiki>}</nowiki>, |
type = <nowiki>{</nowiki>Habilitation Thesis<nowiki>}</nowiki>, |
||
month = jul, |
month = jul, |
||
| − | year = 2020 |
+ | year = 2020, |
| + | doi = <nowiki>{</nowiki>10.5281/zenodo.4244393<nowiki>}</nowiki> |
||
<nowiki>}</nowiki> |
<nowiki>}</nowiki> |
||
Latest revision as of 15:57, 4 November 2020
- Authors
- Didier Verna
- Type
- phdthesis
- Date
- 2020-07-10
Documents
Bibtex (lrde.bib)
@PhDThesis{ verna.20.hdr,
author = {Didier Verna},
title = {(Dynamic (Programming Paradigms)) ;; Performance and
Expressivity},
school = {Sorbone-Universit\'e},
type = {Habilitation Thesis},
month = jul,
year = 2020,
doi = {10.5281/zenodo.4244393}
}