default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGPLAN Notices, Volume 44, 2009
Volume 44, Number 1, January 2009
- Zhong Shao, Benjamin C. Pierce:
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009. ACM 2009, ISBN 978-1-60558-379-2 [contents]
Volume 44, Number 2, February 2009
- Andy Gill:
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008. ACM 2008, ISBN 978-1-60558-064-7 [contents]
Volume 44, Number 3, March 2009
- Mary Lou Soffa, Mary Jane Irwin:
Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009. ACM 2009, ISBN 978-1-60558-406-5 [contents]
Volume 44, Number 4, April 2009
- Daniel A. Reed, Vivek Sarkar:
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009. ACM 2009, ISBN 978-1-60558-397-6 [contents]
Volume 44, Number 5, May 2009
- Leaf Petersen, Manuel M. T. Chakravarty:
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009. ACM 2009, ISBN 978-1-60558-417-1 [contents]
Volume 44, Number 6, June 2009
- Michael Hind, Amer Diwan:
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009. ACM 2009, ISBN 978-1-60558-392-1 [contents]
Volume 44, Number 7, July 2009
- Christoph M. Kirsch, Mahmut T. Kandemir:
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009. ACM 2009, ISBN 978-1-60558-356-3 [contents]
Volume 44, Number 8, August 2009
- Stephen Chong, David A. Naumann:
Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009. ACM 2009, ISBN 978-1-60558-645-8 [contents]
Volume 44, Number 9, September 2009
- Graham Hutton, Andrew P. Tolmach:
Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. ACM 2009, ISBN 978-1-60558-332-7 [contents]
Volume 44, Number 10, October 2009
- Shail Arora, Gary T. Leavens:
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA. ACM 2009, ISBN 978-1-60558-766-0 [contents]
Volume 44, Number 11, November 2009
- Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeffrey S. Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker
, Steve Zdancewic:
An overview of the Oregon programming languages summer school. 1-3
- Stefan Monnier, David Haguenauer:
Singleton types here, singleton types there, singleton types everywhere: (abstract only). 6 - Matthew Danish, Hongwei Xi:
Operating system development with ATS: work in progress: (abstract only). 6 - Stephanie Balzer, Thomas R. Gross:
Modular reasoning about invariants over shared state with interposed data members: (abstract only). 6-7 - Aaron Stump, Evan Austin:
Resource typing in guru: (abstract only). 7 - Jan Christiansen, Daniel Seidel, Janis Voigtländer:
Free theorems for functional logic programs: (abstract only). 7 - Stephanie Weirich, Chris Casinghino:
Arity-generic datatype-generic programming: (abstract only). 7 - Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek:
Challenge benchmarks for verification of real-time programs: (abstract only). 7-8
Volume 44, Number 12, December 2009
- James Noble:
Proceedings of the 5th Symposium on Dynamic Languages, DLS 2009, October 26, 2010, Orlando, Florida, USA. ACM 2009, ISBN 978-1-60558-769-1 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-07 00:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
