From 75dd36ae9abe755b92151da666fa226223e990e7 Mon Sep 17 00:00:00 2001 From: Github Actions Date: Sun, 30 Jul 2023 15:50:38 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20master=20from=20@=20ashinkarov?= =?UTF-8?q?/ashinkarov.github.com@76dc19190f6b1b2310bfce9660ce673af5c91693?= =?UTF-8?q?=20=F0=9F=9A=80?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- bib.bib | 24 ++++++++++ publications.html | 5 ++ pubs/2018-ifl-memreuse.png | Bin 102882 -> 102882 bytes pubs/2018-max-resilience.png | Bin 67624 -> 67624 bytes pubs/2019-conv-apl.png | Bin 114579 -> 114579 bytes pubs/2019-ifl-tensorcomp.png | Bin 96774 -> 96774 bytes pubs/2019-max-resilience.png | Bin 61704 -> 61704 bytes pubs/2020-msfp.png | Bin 81315 -> 81315 bytes pubs/2021-cnn.png | Bin 117719 -> 117719 bytes pubs/2021-extraction.png | Bin 72578 -> 72578 bytes pubs/2021-gpce.png | Bin 123337 -> 123337 bytes pubs/2022-scan.png | Bin 111233 -> 111233 bytes pubs/2022-types.html | 87 +++++++++++++++++++++++++++++++++++ pubs/2022-types.pdf | Bin 0 -> 719975 bytes pubs/2022-types.png | Bin 0 -> 85513 bytes pubs/2023-fscd.png | Bin 83027 -> 83027 bytes pubs/array-comp.png | Bin 87228 -> 87228 bytes pubs/asv-thesis.png | Bin 34986 -> 34986 bytes pubs/bgs-fortran.png | Bin 113327 -> 113327 bytes pubs/ccpe-data-layouts.png | Bin 78826 -> 78826 bytes pubs/cpcgcc.png | Bin 63030 -> 63030 bytes pubs/data-layouts.png | Bin 109586 -> 109586 bytes pubs/layout-correctness.png | Bin 102098 -> 102098 bytes pubs/rosetta-stone.png | Bin 100211 -> 100211 bytes pubs/sexynbody.png | Bin 68244 -> 68244 bytes pubs/transfinite.png | Bin 67871 -> 67871 bytes 26 files changed, 116 insertions(+) create mode 100644 pubs/2022-types.html create mode 100644 pubs/2022-types.pdf create mode 100644 pubs/2022-types.png diff --git a/bib.bib b/bib.bib index b7208ac..6b01cf1 100644 --- a/bib.bib +++ b/bib.bib @@ -1,3 +1,27 @@ +@InProceedings{2022-types, + author = {Altenkirch, Thorsten and Kaposi, Ambrus and \v{S}inkarovs, Artjoms and V\'{e}gh, Tam\'{a}s}, + title = {{The M\"{u}nchhausen Method in Type Theory}}, + booktitle = {28th International Conference on Types for Proofs and Programs (TYPES 2022)}, + pages = {10:1--10:20}, + series = {Leibniz International Proceedings in Informatics (LIPIcs)}, + isbn = {978-3-95977-285-3}, + issn = {1868-8969}, + year = {2023}, + volume = {269}, + editor = {Kesner, Delia and P\'{e}drot, Pierre-Marie}, + publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, + address = {Dagstuhl, Germany}, + url = {/pubs/2022-types.pdf}, + urn = {urn:nbn:de:0030-drops-184534}, + doi = {10.4230/LIPIcs.TYPES.2022.10}, + annote = {Keywords: type theory, proof assistants, very dependent types}, + date = {2023-07-28}, + addinfo = { + The sources of the paper with the code + \href{https://bitbucket.org/akaposi/combinator/src/master/post-types2022/}{are available here}. + Here is \href{https://drops.dagstuhl.de/opus/volltexte/2023/18453}{the official link to the published paper}. + }} + @InProceedings{2023-fscd, author = {Altenkirch, Thorsten and Kaposi, Ambrus and diff --git a/publications.html b/publications.html index bf3c168..1251482 100644 --- a/publications.html +++ b/publications.html @@ -37,6 +37,11 @@