ifl draft version

Author: liesnikov

paper/bib.bib

@@ -189,7 +189,8 @@ @inproceedings{bauerEqualityCheckingGeneral2020
   title = {Equality {{Checking}} for {{General Type Theories}} in {{Andromeda}} 2},
   booktitle = {Mathematical {{Software}} – {{ICMS}} 2020},
   author = {Bauer, Andrej and Haselwarter, Philipp G. and Petković, Anja},
-  editor = {Bigatti, Anna Maria and Carette, Jacques and Davenport, James H. and Joswig, Michael and family=Wolff, given=Timo, prefix=de, useprefix=true},
+  editor = {Bigatti, Anna Maria and Carette, Jacques and Davenport, James H. and Joswig, Michael and de Wolff, Timo},
+  options = {useprefix=true},
   date = {2020},
   series = {Lecture {{Notes}} in {{Computer Science}}},
   pages = {253--259},
@@ -308,8 +309,9 @@ @online{coqdevelopmentteamHowWritePlugins
 @inproceedings{demouraLeanTheoremProver2015a,
   title = {The {{Lean Theorem Prover}} ({{System Description}})},
   booktitle = {Automated {{Deduction}} - {{CADE-25}}},
-  author = {family=Moura, given=Leonardo, prefix=de, useprefix=true and Kong, Soonho and Avigad, Jeremy and family=Doorn, given=Floris, prefix=van, useprefix=true and family=Raumer, given=Jakob, prefix=von, useprefix=true},
+  author = {de Moura, Leonardo and Kong, Soonho and Avigad, Jeremy and van Doorn, Floris and von Raumer, Jakob},
   editor = {Felty, Amy P. and Middeldorp, Aart},
+  options = {useprefix=true},
   date = {2015},
   series = {Lecture {{Notes}} in {{Computer Science}}},
   pages = {378--388},
@@ -325,7 +327,8 @@ @inproceedings{demouraLeanTheoremProver2015a
 
 @article{ebnerMetaprogrammingFrameworkFormal2017,
   title = {A Metaprogramming Framework for Formal Verification},
-  author = {Ebner, Gabriel and Ullrich, Sebastian and Roesch, Jared and Avigad, Jeremy and family=Moura, given=Leonardo, prefix=de, useprefix=true},
+  author = {Ebner, Gabriel and Ullrich, Sebastian and Roesch, Jared and Avigad, Jeremy and de Moura, Leonardo},
+  options = {useprefix=true},
   date = {2017-08-29},
   journaltitle = {Proceedings of the ACM on Programming Languages},
   shortjournal = {Proc. ACM Program. Lang.},
@@ -539,7 +542,8 @@ @thesis{juanPracticalUnificationDependent2020
 
 @article{koppelSearchingEntangledProgram2022,
   title = {Searching Entangled Program Spaces},
-  author = {Koppel, James and Guo, Zheng and family=Vries, given=Edsko, prefix=de, useprefix=true and Solar-Lezama, Armando and Polikarpova, Nadia},
+  author = {Koppel, James and Guo, Zheng and de Vries, Edsko and Solar-Lezama, Armando and Polikarpova, Nadia},
+  options = {useprefix=true},
   date = {2022-08-31},
   journaltitle = {Proceedings of the ACM on Programming Languages},
   shortjournal = {Proc. ACM Program. Lang.},
@@ -666,7 +670,7 @@ @article{millerLogicProgrammingLanguage1991
 @inproceedings{mouraLeanTheoremProver2021,
   title = {The {{Lean}} 4 {{Theorem Prover}} and {{Programming Language}}},
   booktitle = {Automated {{Deduction}} – {{CADE}} 28},
-  author = {family=Moura, given=Leonardo, prefix=de, useprefix=false and Ullrich, Sebastian},
+  author = {de Moura, Leonardo and Ullrich, Sebastian},
   editor = {Platzer, André and Sutcliffe, Geoff},
   date = {2021},
   series = {Lecture {{Notes}} in {{Computer Science}}},
@@ -957,7 +961,8 @@ @thesis{saibiOutilsGeneriquesModelisation1999
 
 @unpublished{selsamTabledTypeclassResolution2020,
   title = {Tabled {{Typeclass Resolution}}},
-  author = {Selsam, Daniel and Ullrich, Sebastian and family=Moura, given=Leonardo, prefix=de, useprefix=true},
+  author = {Selsam, Daniel and Ullrich, Sebastian and de Moura, Leonardo},
+  options = {useprefix=true},
   date = {2020-01-21},
   eprint = {2001.04301},
   eprinttype = {arxiv},
@@ -1127,8 +1132,9 @@ @inproceedings{ullrichNotationsHygienicMacro2020
   title = {Beyond {{Notations}}: {{Hygienic Macro Expansion}} for {{Theorem Proving Languages}}},
   shorttitle = {Beyond {{Notations}}},
   booktitle = {Automated {{Reasoning}}},
-  author = {Ullrich, Sebastian and family=Moura, given=Leonardo, prefix=de, useprefix=true},
+  author = {Ullrich, Sebastian and de Moura, Leonardo},
   editor = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica},
+  options = {useprefix=true},
   date = {2020},
   series = {Lecture {{Notes}} in {{Computer Science}}},
   pages = {167--182},
@@ -1181,7 +1187,7 @@ @software{victorlopezjuanTog2020
 @article{vytiniotisOutsideInModularType2011,
   ids = {vytiniotisOutsideInModularType2011a},
   title = {{{OutsideIn}}({{X}}) {{Modular}} Type Inference with Local Assumptions},
-  author = {Vytiniotis, Dimitrios and Jones, Simon and Schrijvers, Tom and Sulzmann, Martin},
+  author = {Vytiniotis, Dimitrios and Peyton Jones, Simon and Schrijvers, Tom and Sulzmann, Martin},
   date = {2011-09},
   journaltitle = {Journal of Functional Programming},
   volume = {21},