Proceedings of the 2003 ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003), New Orleans, Louisiana, USA, January 18th, 2003ACM SIGPLAN notices. 2003, Vol 38, Num 3, issn 1523-2867, 141 p.Conference Proceedings

Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementatation (PLDI'04), Washington, DC, USA, June 9-11, 2004ACM SIGPLAN notices. 2004, Vol 39, Num 6, issn 1523-2867, 309 p.Conference Proceedings

Proceedings of the 2003 ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03), San Diego, California, USA, June 11-13, 2003ACM SIGPLAN notices. 2003, Vol 38, Num 7, issn 1523-2867, 302 p.Conference Proceedings

Experience Report: Haskell as a Reagent: Results and Observations on the Use of Haskell in a Python ProjectPOP, Iustin.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 369-374, issn 1523-2867, 6 p.Conference Paper

Type-safe multithreading in cycloneGROSSMAN, Dan.ACM SIGPLAN notices. 2003, Vol 38, Num 3, pp 13-25, issn 1523-2867, 13 p.Conference Paper

Program Verification Through Characteristic FormulaeCHARGUERAUD, Arthur.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 321-332, issn 1523-2867, 12 p.Conference Paper

Rethinking SupercompilationMITCHELL, Neil.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 309-320, issn 1523-2867, 12 p.Conference Paper

Scalable lock-free dynamic memory allocationMICHAEL, Maged M.ACM SIGPLAN notices. 2004, Vol 39, Num 6, pp 35-46, issn 1523-2867, 12 p.Conference Paper

A calculus for probabilistic languagesPARK, Sunawoo.ACM SIGPLAN notices. 2003, Vol 38, Num 3, pp 38-49, issn 1523-2867, 12 p.Conference Paper

On efficient program synthesis from statechartsWASOWSKI, Andrzei.ACM SIGPLAN notices. 2003, Vol 38, Num 7, pp 163-170, issn 1523-2867, 8 p.Conference Paper

Time regions and effects for resource usage analysisKOBAYASHI, Naoki.ACM SIGPLAN notices. 2003, Vol 38, Num 3, pp 50-61, issn 1523-2867, 12 p.Conference Paper

New Abstractions for Effective Performance Analysis of STM programsCHAKRABARTI, Dhruva R.ACM SIGPLAN notices. 2010, Vol 45, Num 5, pp 333-334, issn 1523-2867, 2 p.Conference Paper

Proceedings of the 2002 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'02)ACM SIGPLAN notices. 2002, Vol 37, Num 11, issn 1523-2867, 396 p.Conference Proceedings

Fortifying MacrosCULPEPPER, Ryan; FELLEISEN, Matthias.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 235-246, issn 1523-2867, 12 p.Conference Paper

Polyvariant Flow Analysis with Higher-ranked Polymorphic Types and Higher-order Effect OperatorsHOLDERMANS, Stefan; HAGE, Jurriaan.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 63-74, issn 1523-2867, 12 p.Conference Paper

Security-Typed Programming within Dependently Typed ProgrammingMORGENSTERN, Jamie; LICATA, Daniel R.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 169-180, issn 1523-2867, 12 p.Conference Paper

The Reduceron ReconfiguredNAYLOR, Matthew; RUNCIMAN, Colin.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 75-86, issn 1523-2867, 12 p.Conference Paper

Balancing register allocation across threads for a multithreaded network processorXIAOTONG ZHUANG; PANDE, Santosh.ACM SIGPLAN notices. 2004, Vol 39, Num 6, pp 289-300, issn 1523-2867, 12 p.Conference Paper

Language-specific make technology for the Java programming languageDMITRIEV, Mikhail.ACM SIGPLAN notices. 2002, Vol 37, Num 11, pp 373-385, issn 1523-2867, 13 p.Conference Paper

Towards a formalization for COM. Part I: The primitive calculusPUCELLA, Riccardo.ACM SIGPLAN notices. 2002, Vol 37, Num 11, pp 331-342, issn 1523-2867, 12 p.Conference Paper

Symbolic Prefetching in Transactional Distributed Shared MemoryDASH, Alokika; DEMSKY, Brian.ACM SIGPLAN notices. 2010, Vol 45, Num 5, pp 331-332, issn 1523-2867, 2 p.Conference Paper

Cost effective dynamic program slicingXIANGYU ZHANG; GUPTA, Rajiv.ACM SIGPLAN notices. 2004, Vol 39, Num 6, pp 94-106, issn 1523-2867, 13 p.Conference Paper

Parametric analysis for adaptive computation offloadingCHENG WANG; ZHIYUAN LI.ACM SIGPLAN notices. 2004, Vol 39, Num 6, pp 119-130, issn 1523-2867, 12 p.Conference Paper

Jedd: A BDD-based relational extension of JavaLHOTAK, Ondrej; HENDREN, Laurie.ACM SIGPLAN notices. 2004, Vol 39, Num 6, pp 158-169, issn 1523-2867, 12 p.Conference Paper

Functional Pearl: Every Bit CountsVYTINIOTIS, Dimitrios; KENNEDY, Andrew J.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 15-26, issn 1523-2867, 12 p.Conference Paper