Real-time functional queue operations using the logical variableCLOCKSIN, W. F.Information processing letters. 1983, Vol 17, Num 4, pp 173-175, issn 0020-0190Article

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

Systèmes de programmation fonctionnelle sans variables = Variable free functional Programming systemsBELLOT, P.Comptes rendus des séances de l'Académie des sciences. Série 1, Mathématique. 1983, Vol 297, Num 3, pp 207-208, issn 0249-6291Article

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

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

A systematic approach to language constructs for concurrent programsBROY, M; BAUER, F. L.Science of computer programming. 1984, Vol 4, Num 2, pp 103-139, issn 0167-6423Article

Mapping functional programs on a data flow machineCALUWAERTS, L.Journal A. 1984, Vol 25, Num 1, pp 34-42, issn 0771-1107Article

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

Validation sémantique dans les théories structurées : application à un langage de programmation génériqueDrabik, Pascal; Bert, Didier.1989, 200 p.Thesis

Some FP algebra with currying operationIDA, T.Information processing letters. 1983, Vol 17, Num 5, pp 259-261, issn 0020-0190Article

Conference record: papers/1982 ACM Symposium on Lisp and functional programming, Pittsburgh PA, August 15-18, 1982Symposium on lisp and functional programming. 1982, 264 p., isbn 0-89791-082-6Conference Proceedings

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

An applicative random-access stackMYERS, E. W.Information processing letters. 1983, Vol 17, Num 5, pp 241-248, issn 0020-0190Article

TREATMENT OF BIG VALUES IN AN APPLICATIVE LANGUAGE HFP: TRANSLATION FROM BY-VALUE ACCESS TO BY-UPDATE ACCESSKATAYAMA T.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 147; PP. 36-48; BIBL. 5 REF.Conference Paper

RECURSIVE FUNCTIONAL PROGRAMMING AS A CONCEPTUAL TOOL FOR SOCIAL SCIENTISTSBROWN JS.1972; IN: ASSOC. COMPUT. MACH. ANN. CONF. PROC. BOSTON, 1972; NEW YORK; ASSOC. COMPUT. MACH.; DA. 1972; VOL. 1; PP. 320Conference Proceedings

ON THE DEVELOPMENT OF THE ALGEBRA OF FUNCTIONAL PROGRAMSWILLIAMS JH.1982; ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 4; PP. 733-757; BIBL. 11 REF.Article