share record
persistent URL:
Stefano Dissegna , Francesco Logozzo , Francesco Ranzato : Tracing compilation by abstract interpretation. POPL 2014 : 47-60 share record
persistent URL:
Thomas Ehrhard , Christine Tasson , Michele Pagani : Probabilistic coherence spaces are fully abstract for probabilistic PCF. POPL 2014 : 309-320 share record
persistent URL:
Richard A. Eisenberg , Dimitrios Vytiniotis , Simon L. Peyton Jones , Stephanie Weirich : Closed type families with overlapping equations. POPL 2014 : 671-684 share record
persistent URL:
Azadeh Farzan , Zachary Kincaid , Andreas Podelski : Proofs that count. POPL 2014 : 151-164 share record
persistent URL:
Andrew D. Gordon , Thore Graepel , Nicolas Rolland , Claudio V. Russo , Johannes Borgström , John Guiver : Tabular: a schema-driven probabilistic programming language. POPL 2014 : 321-334 share record
persistent URL:
Zhe Hou , Ranald Clouston , Rajeev Goré , Alwen Tiu : Proof search for propositional abstract separation logics via labelled sequents. POPL 2014 : 465-476 share record
persistent URL:
Gérard P. Huet , Hugo Herbelin : 30 years of research and development around Coq. POPL 2014 : 249-250 share record
persistent URL:
Shachar Itzhaky , Anindya Banerjee , Neil Immerman , Ori Lahav , Aleksandar Nanevski , Mooly Sagiv : Modular reasoning about heap paths via effectively propositional formulas. POPL 2014 : 385-396 share record
persistent URL:
Bertrand Jeannet , Peter Schrammel , Sriram Sankaranarayanan : Abstract acceleration of general linear loops. POPL 2014 : 529-540 share record
persistent URL:
Shin-ya Katsumata : Parametric effect monads and semantics of effect systems. POPL 2014 : 633-646 export record
dblp key:
conf/popl/KilpatrickDJM14 share record
persistent URL:
Scott Kilpatrick , Derek Dreyer , Simon L. Peyton Jones , Simon Marlow : Backpack: retrofitting Haskell with interfaces. POPL 2014 : 19-32 share record
persistent URL:
Robbert Krebbers : An operational and axiomatic semantics for non-determinism and sequence points in C. POPL 2014 : 101-112 share record
persistent URL:
Ramana Kumar , Magnus O. Myreen , Michael Norrish , Scott Owens : CakeML: a verified implementation of ML. POPL 2014 : 179-192 share record
persistent URL:
Lindsey Kuper , Aaron Turon , Neelakantan R. Krishnaswami , Ryan R. Newton : Freeze after writing: quasi-deterministic parallel programming with LVars. POPL 2014 : 257-270 share record
persistent URL:
Ugo Dal Lago , Davide Sangiorgi , Michele Alberti : On coinductive equivalences for higher-order probabilistic functional programs. POPL 2014 : 297-308 share record
persistent URL:
Wonyeol Lee , Sungwoo Park : A proof system for separation logic with magic wand. POPL 2014 : 477-490 share record
persistent URL:
Yi Li , Aws Albarghouthi , Zachary Kincaid , Arie Gurfinkel , Marsha Chechik : Symbolic optimization with SMT solvers. POPL 2014 : 607-618 share record
persistent URL:
Fan Long , Stelios Sidiroglou-Douskos , Deokhwan Kim , Martin C. Rinard : Sound input filter generation for integer overflow errors. POPL 2014 : 439-452 share record
persistent URL:
Andrew Miller , Michael Hicks , Jonathan Katz , Elaine Shi : Authenticated data structures, generically. POPL 2014 : 411-424 share record
persistent URL:
Andrzej S. Murawski , Nikos Tzevelekos : Game semantics for interface middleweight Java. POPL 2014 : 517-528 share record
persistent URL:
Michele Pagani , Peter Selinger , Benoît Valiron : Applying quantitative semantics to higher-order quantum computing. POPL 2014 : 647-658 share record
persistent URL:
Steven J. Ramsay , Robin P. Neatherway , C.-H. Luke Ong : A type-directed abstraction refinement approach to higher-order model checking. POPL 2014 : 61-72 share record
persistent URL:
Ilya Sergey , Dimitrios Vytiniotis , Simon L. Peyton Jones : Modular, higher-order cardinality analysis in theory and practice. POPL 2014 : 335-348 share record
persistent URL:
Nikhil Swamy , Cédric Fournet , Aseem Rastogi , Karthikeyan Bhargavan , Juan Chen , Pierre-Yves Strub , Gavin M. Bierman : Gradual typing embedded securely in JavaScript. POPL 2014 : 425-438 share record
persistent URL:
Danfeng Zhang , Andrew C. Myers : Toward general diagnosis of static errors. POPL 2014 : 569-582 share record
persistent URL:
Suresh Jagannathan , Peter Sewell : The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014. ACM 2014 , ISBN 978-1-4503-2544-8 [contents]