2024-conference.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2024-conference.cite -ob 2024-conference.bib -c 'year = 2024 and topics : "team" and $type="inproceedings"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{marche24jfla,
  topics = {team},
  author = {March{\'e}, Claude and Cousineau, Denis},
  hal = {https://inria.hal.science/hal-04342273},
  year = 2024,
  title = {De l'avantage de nuancer les d{\'e}cisions binaires},
  booktitle = {35es Journ{\'e}es Francophones des Langages Applicatifs}
}

@inproceedings{timany24popl,
  topics = {team},
  title = {The Logical Essence of Well-Bracketed Control Flow},
  author = {Timany, Amin and Gu{\'e}neau, Arma{\"e}l and Birkedal, Lars},
  hal = {https://hal.science/hal-04271457},
  booktitle = {POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages},
  organization = {SIGPLAN},
  publisher = {ACM},
  year = 2024
}

@inproceedings{pottier24popl,
  topics = {team},
  title = {Thunks and Debits in Separation Logic with Time Credits},
  author = {Pottier, Fran{\c c}ois and Gu{\'e}neau, Arma{\"e}l and Jourdan, Jacques-Henri and M{\'e}vel, Glen},
  hal = {https://hal.science/hal-04238691},
  booktitle = {POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages},
  organization = {SIGPLAN},
  publisher = {ACM},
  volume = 8,
  year = 2024
}