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 2003 ACM SIGPLAN: International Conference on Functional Programming (ICFP'03), August 25-29, 2003, Uppsala, SwedenACM SIGPLAN notices. 2003, Vol 38, Num 9, issn 1523-2867, 308 p.Conference Proceedings

ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97)SIGPLAN notices. 1997, Vol 32, Num 12, issn 0362-1340, 223 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

ACM SIGPLAN International Conference on Functional Programming (ICFP '98)SIGPLAN notices. 1999, Vol 34, Num 1, issn 0362-1340, 359 p.Conference Proceedings

ACM SIGPLAN '97 Conference on Programming Language Design and Implementation® (PLDI)SIGPLAN notices. 1997, Vol 32, Num 5, issn 0362-1340, 373 p.Conference Proceedings

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

Functional differentiation of computer programsKARCZMARCZUK, J.SIGPLAN notices. 1999, Vol 34, Num 1, pp 195-203, issn 0362-1340Conference Paper

Cayenne : a language with dependent typesAUGUSTSSON, L.SIGPLAN notices. 1999, Vol 34, Num 1, pp 239-250, issn 0362-1340Conference Paper

Programming with variable functionsODERSKY, M.SIGPLAN notices. 1999, Vol 34, Num 1, pp 105-116, issn 0362-1340Conference Paper

YALE : Yet another lambda evaluator based on interaction netsMACKIE, I.SIGPLAN notices. 1999, Vol 34, Num 1, pp 117-128, 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

Encoding types in ML-like languagesZHE YANG.SIGPLAN notices. 1999, Vol 34, Num 1, pp 289-300, issn 0362-1340Conference Paper

A distributed garbage collector with diffusion tree reorganisation and mobile objectsMOREAU, L.SIGPLAN notices. 1999, Vol 34, Num 1, pp 204-215, issn 0362-1340Conference Paper

Typed cross-module compilationZHONG SHAO.SIGPLAN notices. 1999, Vol 34, Num 1, pp 141-152, issn 0362-1340Conference Paper