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

La programmation fonctionnelle parallèle: application à MaRS-Lisp = Parallel functional programming: application to MaRS-LipMarre, Daniel; Lemaitre, Michel.1992, 234 p.Thesis

Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming (ICFP'11)ACM SIGPLAN notices. 2011, Vol 46, Num 9, issn 1523-2867, 466 p.Conference Proceedings

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

Functional and logic programming (8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006)Hagiya, Masami; Wadler, Philip.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-33438-6, 1Vol, X-293 p, isbn 3-540-33438-6Conference Proceedings

Epigram : Practical programming with dependent typesMCBRIDE, Conor.Lecture notes in computer science. 2005, pp 130-170, issn 0302-9743, isbn 3-540-28540-7, 1Vol, 41 p.Conference Paper

Programming with arrowsHUGHES, John.Lecture notes in computer science. 2005, pp 73-129, issn 0302-9743, isbn 3-540-28540-7, 1Vol, 57 p.Conference Paper

Twelf and delphin: Logic and functional programming in a meta-logical frameworkSCHÜRMANN, Carsten.Lecture notes in computer science. 2004, pp 22-23, issn 0302-9743, isbn 3-540-21402-X, 2 p.Conference Paper

SAIG 2001 : semantics, applications, and implementation of program generation (Florence, 6 September 2001)Taha, Walid.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42558-6, X, 218 p, isbn 3-540-42558-6Conference Proceedings

Odd-even sort in powerlistsCORNERUP, J.Information processing letters. 1997, Vol 61, Num 1, pp 15-24, issn 0020-0190Article

Functional programming and geometryCOUSINEAU, G.Lecture notes in computer science. 1997, pp 309-322, issn 0302-9743, isbn 3-540-63398-7Conference Paper

Making form follow function: an exercise in functional programming styleFAIRBAIRN, J.Software, practice & experience. 1987, Vol 17, Num 6, pp 379-386, issn 0038-0644Article

FLOPS 2004 : functional and logic programming (Nara, 7-9 April 2004)Kameyama, Yukiyoshi; Stuckey, Peter J.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-21402-X, X, 306 p, isbn 3-540-21402-XConference Proceedings

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