2012
- Eventually Consistent TransactionsBurckhardt, Sebastian, Leijen, Daan, Fahndrich, Manuel, Sagiv, Mooly. In Programming Languages and Systems. Volume 7211 of Lecture Notes in Computer Science, pages 67-86, Springer Berlin / Heidelberg, 2012.
- Run your research: on the effectiveness of lightweight mechanizationCasey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robby Findler. In Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. 2012: 285-296 [doi]
2011
2010
PreviousNext