PoplMark swMATH ID: 10109 Software Authors: Aydemir, B.E., Bohannon, A., Fairbairn, M., Foster, J.N., Pierce, B.C., Sewell, P., Vytiniotis, D., Washburn, G., Weirich, S., Zdancewic, S. Description: The POPLmark Challenge is a concrete set of benchmarks intended both for measuring progress and for stimulating discussion and collaboration in mechanizing the metatheory of programming languages. Since work on the challenge problems has died down, the POPLmark wiki has been replaced with this static page recording the submitted solutions and the project’s history. Homepage: http://www.seas.upenn.edu/~plclub/poplmark/ Related Software: Coq; Twelf; Nominal Isabelle; Isabelle/HOL; Abella; Beluga; ML; Isabelle; HYBRID; HOL; Ott; Agda; Automath; LNgen; Bedwyr; Isar; HOL Light; Nuprl; LEGO; Psi-calculi Cited in: 66 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Mechanized metatheory for the masses: the PoplMark challenge. Zbl 1152.68516Aydemir, Brian E.; Bohannon, Aaron; Fairbairn, Matthew; Foster, J. Nathan; Pierce, Benjamin C.; Sewell, Peter; Vytiniotis, Dimitrios; Washburn, Geoffrey; Weirich, Stephanie; Zdancewic, Steve 2005 all top 5 Cited by 105 Authors 8 Pientka, Brigitte 4 Ricciotti, Wilmer 4 Urban, Christian 3 Appel, Andrew W. 3 Asperti, Andrea 3 Berghofer, Stefan 3 Leroy, Xavier 3 Miller, Dale Allen 3 Momigliano, Alberto 2 Cheney, James 2 Dockins, Robert 2 Felty, Amy P. 2 Hirschowitz, André 2 Lee, Gyesik 2 Maggesi, Marco 2 Nadathur, Gopalan 2 Oliveira, Bruno C.d. S. 2 Roşu, Grigore 2 Sacerdoti Coen, Claudio 2 Stump, Aaron 2 Szasz, Nora 2 Tasistro, Alvaro 2 Tassi, Enrico 2 Vytiniotis, Dimitrios 2 Weirich, Stephanie 1 Abel, Andreas M. 1 Ahrens, Benedikt 1 Allais, Guillaume 1 Ambal, Guillaume 1 Aydemir, Brian E. 1 Bengtson, Jesper 1 Bertot, Yves 1 Bohannon, Aaron 1 Carette, Jacques 1 Cave, Andrew 1 Chapman, James T. E. 1 Charguéraud, Arthur 1 Chen, Tianyu 1 Cho, Sungkeun 1 Ciaffaglione, Alberto 1 Clouston, Ranald A. 1 Copello, Ernesto 1 Crary, Karl 1 Dargaye, Zaynah 1 El Haj Omar, Roba 1 Ellison, Chucky 1 Errington, Jacob 1 Fairbairn, Matthew W. 1 Farmer, William M. 1 Foster, J. Nathan 1 Gacek, Andrew 1 García-Pérez, Álvaro 1 Geuvers, Jan Herman 1 Gheri, Lorenzo 1 Grohne, Helmut 1 Hameer, Aliya 1 Harper, Robert 1 Haslbeck, Maximilian P. L. 1 Hobor, Aquinas 1 Jang, Junyoung 1 Kaiser, Jonas Pilgaard 1 Kimmell, Garrin 1 Kireev, Roman 1 Koprowski, Adam 1 Lakin, Matthew R. 1 Lenglet, Sergueï 1 Licata, Daniel R. 1 Miquey, Étienne 1 Nester, Chad 1 Nipkow, Tobias 1 Nogueira, Pablo 1 Norrish, Michael 1 O’Connor, Russell 1 Owens, Scott 1 Park, Jonghyun 1 Park, Sungwoo 1 Parrow, Joachim 1 Phillips, Andrew 1 Pierce, Benjamin C. 1 Popescu, Andrei 1 Scagnetto, Ivan 1 Schäfer, Steven 1 Schmitt, Alan 1 Schrijvers, Tom 1 Seo, Jeongbong 1 Şerbănuţă, Traian Florin 1 Sewell, Peter 1 Siek, Jeremy G. 1 Smetsers, Sjaak 1 Smolka, Gert 1 Spitters, Bas 1 Stark, Kathrin 1 Stefanovic, Darko 1 Urciuoli, Sebastián 1 van Eekelen, Marko 1 Vestergaard, René 1 Voigtlander, Janis 1 Vouillon, Jérôme 1 Wadler, Philip Lee 1 Wang, Yuting ...and 5 more Authors all top 5 Cited in 12 Serials 14 Journal of Automated Reasoning 5 Theoretical Computer Science 4 Journal of Functional Programming 2 MSCS. Mathematical Structures in Computer Science 2 Higher-Order and Symbolic Computation 1 Journal of Computer and System Sciences 1 Information and Computation 1 Applicable Algebra in Engineering, Communication and Computing 1 Theory and Practice of Logic Programming 1 Sādhanā 1 Computer Languages, Systems & Structures 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 62 Computer science (68-XX) 25 Mathematical logic and foundations (03-XX) 2 Category theory; homological algebra (18-XX) 1 Biology and other natural sciences (92-XX) Citations by Year