AFP 2002 : advanced functional programming (Oxford, 19-24 August 2002)Jeuring, Johan; Peyton Jones, Simon.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40132-6, VI, 211 p, isbn 3-540-40132-6Conference Proceedings

Experiments in optimizing FPRYDER, B. G; PENDERGRAST, J. S.IEEE transactions on software engineering. 1988, Vol 14, Num 4, pp 444-454, issn 0098-5589Article

Constructive proofs of the range property in lambda calculusBARENDREGT, H.Theoretical computer science. 1993, Vol 121, Num 1-2, pp 59-69, issn 0304-3975Article

Set-theoretical and other elementary models of the λ-calculusPLOTKIN, G. D.Theoretical computer science. 1993, Vol 121, Num 1-2, pp 351-409, issn 0304-3975Article

Narrowing vs. SLD-resolutionBOSCO, G; GIOVANNETTI, E; MOISO, C et al.Theoretical computer science. 1988, Vol 59, Num 1-2, pp 3-23, issn 0304-3975Conference Paper

Functional Logic ProgrammingANTOY, Sergio; HANUS, Michael.Communications of the ACM. 2010, Vol 53, Num 4, pp 74-85, issn 0001-0782, 12 p.Article

Advanced functional programming (5th international school, AFP 2004, Tartu, Estonia, August 14 - 21, 2004, revised lectures)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28540-7, 1Vol, VIII-357 p, isbn 3-540-28540-7Conference Proceedings

Sexy types in actionSHAN, Chung-Chieh.ACM SIGPLAN notices. 2004, Vol 39, Num 5, pp 15-22, issn 1523-2867, 8 p.Article

Comparing functional paradigms for exact real-number computationBAUER, Andrej; ESCARDO, Martin Hötzel; SIMPSON, Alex et al.Lecture notes in computer science. 2002, pp 488-500, issn 0302-9743, isbn 3-540-43864-5, 13 p.Conference Paper

Narrowing failure in functional logic programmingLOPEZ-FRAGUAS, Francisco Javier; SANCHEZ-HERNANDEZ, Jaime.Lecture notes in computer science. 2002, pp 212-227, issn 0302-9743, isbn 3-540-44233-2, 16 p.Conference Paper

Measuring the cost of storage managementTARDITI, D; DIWAN, A.Lisp and symbolic computation. 1996, Vol 9, Num 4, pp 323-342, issn 0892-4635Article

Type theory and projections for static analysisBAKER-FINCH, C. A.Lisp and symbolic computation. 1995, Vol 8, Num 3, pp 267-285, issn 0892-4635Conference Paper

Central European Functional Programming School (First summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005)Horvath, Zoltan.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-46843-9, 1Vol, 256 p., isbn 3-540-46843-9Conference Proceedings

Efficient strong sequentiality using replacement restrictionsLUCAS, S.Lecture notes in computer science. 1997, pp 489-496, issn 0302-9743, isbn 3-540-63774-5Conference Paper

Runtime interprocedural data placement optimisation for lazy parallel libraries (extended abstract)BECKMANN, O; KELLY, P. H. J.Lecture notes in computer science. 1997, pp 306-309, issn 0302-9743, isbn 3-540-63440-1Conference Paper

Une équivalence sur les lambda-termesREGNIER, L.Theoretical computer science. 1994, Vol 126, Num 2, pp 281-292, issn 0304-3975Article

Tail recursion through universal invariantsBARRY JAY, C.Theoretical computer science. 1993, Vol 115, Num 1, pp 151-189, issn 0304-3975Conference Paper

Two-level grammar as a functional programming languageEDUPUGANTY, B; BRYANT, B. R.Computer journal (Print). 1989, Vol 32, Num 1, pp 36-44, issn 0010-4620Article

Strong normalization for non-structural subtyping via satured setsREHOF, J.Information processing letters. 1996, Vol 58, Num 4, pp 157-162, issn 0020-0190Article

On functors expressible in the polymorphic typed lambda calculusREYNOLDS, J. C; PLOTKIN, G. D.Information and computation (Print). 1993, Vol 105, Num 1, pp 1-29, issn 0890-5401Article

Some examples of non-existent combinatorsSTATMAN, R.Theoretical computer science. 1993, Vol 121, Num 1-2, pp 441-448, issn 0304-3975Article

Programmation fonctionnelle : le glaneur des cellules centralisé et sa généralisation dans les environnements répartis = Functional programming: The centralized cells glanor and its generalistion into a distributed environnementLEMLOUMA, Tayeb; BOUDINA, Abdelmadjid.RIST. 2001, Vol 11, Num 1, pp 133-155, issn 1111-0015, 6, 10 [24 p.]Article

A semantic account of type-directed partial evaluationFILINSKI, A.Lecture notes in computer science. 1999, pp 378-395, issn 0302-9743, isbn 3-540-66540-4Conference Paper

Attribute grammars and functional programming deforestationCORRENSON, L; DURIS, E; PARIGOT, D et al.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63468-1, p. 365Conference Paper

The results of : Profiling large-scale lazy Functional programsJARVIS, S. A; MORGAN, R. G.Lecture notes in computer science. 1997, pp 200-221, issn 0302-9743, isbn 3-540-63237-9Conference Paper