×

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
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

Citations by Year