ACM SIGPLAN International Conference on Functional Programming (ICFP '97)SIGPLAN notices. 1997, Vol 32, Num 8, issn 0362-1340, 331 p.Conference Proceedings

ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '97)SIGPLAN notices. 1997, Vol 32, Num 7, issn 0362-1340, 294 p.Conference Proceedings

Proceedings of the 2004 ACM SIGPLAN: International Conference on Functional Programming (ICFP'04), Snowbird, Utah, USA, September 19-21, 2004ACM SIGPLAN notices. 2004, Vol 39, Num 9, issn 1523-2867, 262 p.Conference Proceedings

The marriage of effects and monadsWADLER, P.SIGPLAN notices. 1999, Vol 34, Num 1, pp 63-74, issn 0362-1340Conference Paper

A theory of core FudgetsTAYLOR, C. J.SIGPLAN notices. 1999, Vol 34, Num 1, pp 75-85, issn 0362-1340Conference Paper

Generics for the massesHINZE, Ralf.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 236-243, issn 1523-2867, 8 p.Conference Paper

A type based sharing analysis for update avoidance and optimisationGUSTAVSSON, J.SIGPLAN notices. 1999, Vol 34, Num 1, pp 39-50, issn 0362-1340Conference Paper

A framework for type inference with subtypingPOTTIER, F.SIGPLAN notices. 1999, Vol 34, Num 1, pp 228-238, issn 0362-1340Conference Paper

The Spineless Tagless G-machine, naturallyMOUNTJOY, J.SIGPLAN notices. 1999, Vol 34, Num 1, pp 163-173, issn 0362-1340Conference Paper

From process logic to program logicHONDA, Kohei.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 163-174, issn 1523-2867, 12 p.Conference Paper

Fold and unfold for program semanticsHUTTON, G.SIGPLAN notices. 1999, Vol 34, Num 1, pp 280-288, issn 0362-1340Conference Paper

Pragmatic subtyping in polymorphic languagesNORDLANDER, J.SIGPLAN notices. 1999, Vol 34, Num 1, pp 216-227, issn 0362-1340Conference Paper

Imperative streams : A monadic combinator library for synchronous programmingSCHOLZ, E.SIGPLAN notices. 1999, Vol 34, Num 1, pp 261-272, issn 0362-1340Conference Paper

Taming effects with monadic typingKIEBURTZ, R. B.SIGPLAN notices. 1999, Vol 34, Num 1, pp 51-62, issn 0362-1340Conference Paper

Improving the static analysis of embedded languages via partial evaluationHERMAN, David; MEUNIER, Philippe.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 16-27, issn 1523-2867, 12 p.Conference Paper

Verification of safety properties for concurrent assembly codeDACHUAN YU; ZHONG SHAO.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 175-188, issn 1523-2867, 14 p.Conference Paper

Recycling continuationsSOBEL, J; FRIEDMAN, D. P.SIGPLAN notices. 1999, Vol 34, Num 1, pp 251-260, issn 0362-1340Conference Paper

Monadic regionsFLUET, Matthew; MORRISETT, Greg.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 103-114, issn 1523-2867, 12 p.Conference Paper

Making a fast curry: Push/enter vs. eval/apply for higher-order languagesMARLOW, Simon; JONES, Simon Peyton.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 4-15, issn 1523-2867, 12 p.Conference Paper

Slideshow: Functional presentationsFINDLER, Robert Bruce; FLATT, Matthew.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 224-235, issn 1523-2867, 12 p.Conference Paper

Scrap more boilerplate: Reflection, zips, and generalised castsLÄMMEL, Ralf; JONES, Simon Peyton.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 244-255, issn 1523-2867, 12 p.Conference Paper

Searching for deadlocks while debugging Concurrent Haskell programsCHRISTIANSEN, Jan; HUCH, Frank.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 28-39, issn 1523-2867, 12 p.Conference Paper

A sound (and complete) model of contractsBLUME, Matthias; MCALLESTER, David.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 189-200, issn 1523-2867, 12 p.Conference Paper

Proceedings of the 28_th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages® (POPL® 2001)ACM SIGPLAN notices. 2001, Vol 36, Num 3, issn 1523-2867, 312 p.Conference Proceedings

Proceedings of the 2002 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'02)ACM SIGPLAN notices. 2002, Vol 37, Num 1, issn 1523-2867, 351 p.Conference Proceedings