@book{Verna20,
  title = {(Dynamic (programming paradigms)) Performance and expressivity},
  author = {Didier Verna},
  year = {2020},
  url = {https://tel.archives-ouvertes.fr/hal-02988180},
  researchr = {https://researchr.org/publication/Verna20},
  cites = {0},
  citedby = {0},
}