Research output per year
Research output per year
Fingerprint
Dive into the research topics where Georgi Nakov is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Measuring with confidence: leveraging expressive type systems for correct-by-construction software
McBride, C., Nakov, G. & Nordvall Forsberg, F., 22 Mar 2023, In: Acta IMEKO. 12, 1, 5 p., 15.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)14 Downloads (Pure) -
Quantitative polynomial functors
Nakov, G. & Nordvall Forsberg, F., 4 Aug 2022, 27th International Conference on Types for Proofs and Programs (TYPES 2021). Basold, H., Cockx, J. & Ghilezan, S. (eds.). Dagstuhl, Germany, Vol. 239. p. 10:1--10:22 22 p. 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 239).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile7 Downloads (Pure)
Activities
- 2 Oral presentation
-
Contributed long talk TYPES 2022: TypOS: An “Operating System” for Typechecking Actors
Fredrik Nordvall Forsberg (Speaker), Conor McBride (Contributor), Georgi Nakov (Contributor), Guillaume Allais (Contributor), Malin Altenmüller (Contributor) & Craig Roy (Contributor)
22 Jun 2022Activity: Talk or presentation types › Oral presentation
-
Contributed talk TYPES 2021: "Quantitative polynomial functors"
Fredrik Nordvall Forsberg (Contributor) & Georgi Nakov (Speaker)
16 Jun 2021Activity: Talk or presentation types › Oral presentation