Difference between revisions of "Publications/verna.20.hdr"

From LRDE

Line 1: Line 1:
 
{{Publication
 
{{Publication
| published = false
+
| published = true
 
| date = 2020-07-10
 
| date = 2020-07-10
 
| authors = Didier Verna
 
| authors = Didier Verna
| title = (Dynamic (Programming Paradigms) ;; Performance and Expressivity
+
| title = (Dynamic (Programming Paradigms)) ;; Performance and Expressivity
| howpublished = Habilitation Thesis, Sorbone-Université
+
| school = Sorbone-Université
 
| type = phdthesis
 
| lrdenewsdate = 2020-07-10
 
| lrdenewsdate = 2020-07-10
 
| lrdepaper = http://www.lrde.epita.fr/dload/papers/verna.20.hdr.pdf
 
| lrdepaper = http://www.lrde.epita.fr/dload/papers/verna.20.hdr.pdf
| type = misc
 
 
| id = verna.20.hdr
 
| id = verna.20.hdr
 
| bibtex =
 
| bibtex =
@Misc<nowiki>{</nowiki> verna.20.hdr,
+
@PhDThesis<nowiki>{</nowiki> verna.20.hdr,
 
author = <nowiki>{</nowiki>Didier Verna<nowiki>}</nowiki>,
 
author = <nowiki>{</nowiki>Didier Verna<nowiki>}</nowiki>,
title = <nowiki>{</nowiki>(Dynamic (Programming Paradigms) ;; Performance and
+
title = <nowiki>{</nowiki>(Dynamic (Programming Paradigms)) ;; Performance and
 
Expressivity<nowiki>}</nowiki>,
 
Expressivity<nowiki>}</nowiki>,
howpublished = <nowiki>{</nowiki>Habilitation Thesis, Sorbone-Universit\'e<nowiki>}</nowiki>,
+
school = <nowiki>{</nowiki>Sorbone-Universit\'e<nowiki>}</nowiki>,
month = <nowiki>{</nowiki>July<nowiki>}</nowiki>,
+
type = <nowiki>{</nowiki>Habilitation Thesis<nowiki>}</nowiki>,
  +
month = jul,
 
year = 2020
 
year = 2020
 
<nowiki>}</nowiki>
 
<nowiki>}</nowiki>

Revision as of 15:24, 24 June 2020

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
}