Skip header Section
Skip Bibliometrics Section
Functional ProgrammingMay 1980
- Author:
- Peter Henderson
Abstract
No abstract available.
Cited By
- Shi J, Qiu Y, Minhas U, Jiao L, Wang C, Reinwald B and Özcan F (2015). Clash of the titans, Proceedings of the VLDB Endowment, 8:13, (2110-2121), Online publication date: 1-Sep-2015.
Fredriksson O, Ghica D and Wheen B Towards native higher-order remote procedure calls Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages, (1-12)- Morazán M Bytecode and Memoized Closure Performance Revised Selected Papers of the 14th International Symposium on Trends in Functional Programming - Volume 8322, (58-75)
- Beynon M Realising software development as a lived experience Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software, (229-244)
- Rajcsányi V and Németh Z The chemical machine Proceedings of the 2011 international conference on Parallel Processing, (181-190)
- Le Maitre J Describing multistructured XML documents by means of delay nodes Proceedings of the 2006 ACM symposium on Document engineering, (155-164)
- Karczmarczuk J Teaching of image synthesis in functional style Proceedings of the 2005 workshop on Functional and declarative programming in education, (19-26)
- Ager M, Danvy O and Goldberg M A symmetric approach to compilation and decompilation The essence of computation, (296-331)
- Agha G The relation between problems in large-scale concurrent systems and distributed databases Proceedings of the first international symposium on Databases in parallel and distributed systems, (2-12)
- Boulanger J (1995). Object oriented method for Axiom, ACM SIGPLAN Notices, 30:2, (33-41), Online publication date: 1-Feb-1995.
- Wendelborn A and Garsden H Exploring the Stream Data Type in SISAL and Other Languages Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, (283-294)
- Yuen C (1992). Hamming numbers, lazy evaluation, and eager disposal, ACM SIGPLAN Notices, 27:8, (71-75), Online publication date: 1-Aug-1992.
- Chirimar J, Gunter C and Riecke J Proving memory management invariants for a language based on linear logic Proceedings of the 1992 ACM conference on LISP and functional programming, (139-150)
- Chirimar J, Gunter C and Riecke J (1992). Proving memory management invariants for a language based on linear logic, ACM SIGPLAN Lisp Pointers, V:1, (139-150), Online publication date: 1-Jan-1992.
- Stanchev S and Radensky A (1991). Teaching some modern functional programming concepts, ACM SIGCSE Bulletin, 23:4, (31-36), Online publication date: 1-Nov-1991.
- Poulovassilis A and Small C A Functional Programming Approach to Deductive Databases Proceedings of the 17th International Conference on Very Large Data Bases, (491-500)
- Sánchez-Calle A and Velázquez-Iturbide J (1991). Fun, rigour and pragmatism in functional programming, ACM SIGCSE Bulletin, 23:3, (11-16), Online publication date: 1-Sep-1991.
- Zoran P, Zoran B and Mirjana I (1991). Turtle walk through functional language, ACM SIGPLAN Notices, 26:2, (75-82), Online publication date: 2-Jan-1991.
- Nakata I and Sassa M (2019). Programming with Streams in a Pascal-Like Language, IEEE Transactions on Software Engineering, 17:1, (1-9), Online publication date: 1-Jan-1991.
- Mitsolides T and Harrison M (1990). Generators and the replicator control structure in the parallel environment of ALLOY, ACM SIGPLAN Notices, 25:6, (189-196), Online publication date: 1-Jun-1990.
- Mitsolides T and Harrison M Generators and the replicator control structure in the parallel environment of ALLOY Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, (189-196)
- Howard B and Mitchell J Operational and axiomatic semantics of PCF Proceedings of the 1990 ACM conference on LISP and functional programming, (298-306)
- Jiang X and Xu Y (1990). Diverse executable semantics definitions in NUSL and an implementation of functional types, ACM SIGPLAN Notices, 25:5, (39-52), Online publication date: 1-May-1990.
- Aref W and Samet H Efficient processing of window queries in the pyramid data structure Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (265-272)
- Prather R (1990). Proposal for a categorical programming language, ACM SIGPLAN Notices, 25:4, (43-50), Online publication date: 1-Apr-1990.
- Clancy M and Linn M Functional fun Proceedings of the twenty-first SIGCSE technical symposium on Computer science education, (63-67)
- Clancy M and Linn M (1990). Functional fun, ACM SIGCSE Bulletin, 22:1, (63-67), Online publication date: 1-Feb-1990.
- Geyer-Schulz A (1989). Memo, ACM SIGAPL APL Quote Quad, 20:2, (12-27), Online publication date: 1-Dec-1989.
- Traub K Compilation as partitioning: a new approach to compiling non-strict functional languages Proceedings of the fourth international conference on Functional programming languages and computer architecture, (75-88)
- Frost R (1989). Application programming as the construction of language interpreters, ACM SIGPLAN Notices, 24:9, (142-151), Online publication date: 11-Aug-1989.
- Allan S (2019). Functional languages in microcode compilers, ACM SIGMICRO Newsletter, 20:3, (11-20), Online publication date: 1-Aug-1989.
- Allan S Functional languages in microcode compilers Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture, (11-20)
- Geyer-Schulz A, Taudes A and Mitlöhner J (1989). An APL-tutoring adventure game, ACM SIGAPL APL Quote Quad, 19:4, (148-157), Online publication date: 1-Jul-1989.
- Geyer-Schulz A, Taudes A and Mitlöhner J An APL-tutoring adventure game Conference proceedings on APL as a tool of thought, (148-157)
- Agha G (1988). Foundational issues in concurrent computing, ACM SIGPLAN Notices, 24:4, (60-65), Online publication date: 1-Apr-1989.
- Luker P (1989). Never mind the language, what about the paradigm?, ACM SIGCSE Bulletin, 21:1, (252-256), Online publication date: 1-Feb-1989.
- Luker P Never mind the language, what about the paradigm? Proceedings of the twentieth SIGCSE technical symposium on Computer science education, (252-256)
- Agha G Foundational issues in concurrent computing Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming, (60-65)
- Orman L (2019). Functional Development of Database Applications, IEEE Transactions on Software Engineering, 14:9, (1280-1292), Online publication date: 1-Sep-1988.
- Hemmendinger D (1988). The `Hamming' in Prolog, ACM SIGPLAN Notices, 23:6, (115-120), Online publication date: 1-Jun-1988.
- Hemmendinger D (1988). The “Hamming problem” in Prolog, ACM SIGPLAN Notices, 23:4, (81-86), Online publication date: 1-Apr-1988.
- Bryant B, Edupuganty B, Sundararaghavan K and Takaoka T Two-level grammar Proceedings of the 1988 ACM sixteenth annual conference on Computer science, (469-474)
- Kieburtz R (1987). A RISC architecture for symbolic computation, ACM SIGARCH Computer Architecture News, 15:5, (146-155), Online publication date: 1-Nov-1987.
- Gelernter D, Jagannathan S and London T Environments as first class objects Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (98-110)
- Kieburtz R A RISC architecture for symbolic computation Proceedings of the second international conference on Architectual support for programming languages and operating systems, (146-155)
- Kieburtz R (1987). A RISC architecture for symbolic computation, ACM SIGPLAN Notices, 22:10, (146-155), Online publication date: 1-Oct-1987.
- Kieburtz R (1987). A RISC architecture for symbolic computation, ACM SIGOPS Operating Systems Review, 21:4, (146-155), Online publication date: 1-Oct-1987.
- Guha A, Ramnarayan R and Derstine M Architectural issues in designing symbolic processors in optics Proceedings of the 14th annual international symposium on Computer architecture, (145-151)
- Standley H A very high level language for large-grained data flow Proceedings of the 15th annual conference on Computer Science, (191-195)
- Pumplin B (1987). Compiling LISP procedures, ACM SIGSMALL/PC Notes, 13:1, (16-30), Online publication date: 1-Feb-1987.
- Pumplin B (1987). Compiling LISP procedures, ACM SIGART Bulletin:99, (27-31), Online publication date: 1-Jan-1987.
- Mauny M and Suárez A Implementing functional languages in the Categorical Abstract Machine Proceedings of the 1986 ACM conference on LISP and functional programming, (266-278)
- Gifford D and Lucassen J Integrating functional and imperative programming Proceedings of the 1986 ACM conference on LISP and functional programming, (28-38)
- Broy M (1986). A theory for nondeterminism, parallelism, communication, and concurrency, Theoretical Computer Science, 45:C, (1-61), Online publication date: 1-Jun-1986.
- Wah B and Li G (1986). Survey on special purpose computer architectures for AI, ACM SIGART Bulletin:96, (28-46), Online publication date: 1-Apr-1986.
- Sudkamp T Grammars for functional languages Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (155-163)
- Orman L (1985). Functions in information systems, ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 16:4, (10-13), Online publication date: 1-Jul-1985.
- MacLennan B (2019). A simple software environment based on objects and relations, ACM SIGPLAN Notices, 20:7, (199-207), Online publication date: 1-Jul-1985.
- MacLennan B A simple software environment based on objects and relations Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments, (199-207)
- Cox P and Mulligan I Compiling the graphical functional language PROGRAPH Proceedings of the 1985 ACM SIGSMALL symposium on Small systems, (34-41)
- Cox P and Pietrzykowski T Advanced programming aids in PROGRAPH Proceedings of the 1985 ACM SIGSMALL symposium on Small systems, (27-33)
- Glass H (1985). Threaded interpretive systems and functional programming environments, ACM SIGPLAN Notices, 20:4, (24-32), Online publication date: 1-Apr-1985.
- Czejdo B and Rusinkiewicz M Program transformations and their applications in teaching procedural and nonprocedural languages Proceedings of the sixteenth SIGCSE technical symposium on Computer science education, (202-210)
- Czejdo B and Rusinkiewicz M (1985). Program transformations and their applications in teaching procedural and nonprocedural languages, ACM SIGCSE Bulletin, 17:1, (202-210), Online publication date: 1-Mar-1985.
- Georgeff M (1984). Transformations and reduction strategies for typed lambda expressions, ACM Transactions on Programming Languages and Systems, 6:4, (603-631), Online publication date: 1-Oct-1984.
- Bird R (1984). The promotion and accumulation strategies in transformational programming, ACM Transactions on Programming Languages and Systems, 6:4, (487-504), Online publication date: 1-Oct-1984.
- Rivières J and Smith B The implementation of procedurally reflective languages Proceedings of the 1984 ACM Symposium on LISP and functional programming, (331-347)
- Cardelli L Compiling a functional language Proceedings of the 1984 ACM Symposium on LISP and functional programming, (208-217)
- Hudak P and Goldberg B Experiments in diffused combinator reduction Proceedings of the 1984 ACM Symposium on LISP and functional programming, (167-176)
- Goldberg A and Paige R Stream processing Proceedings of the 1984 ACM Symposium on LISP and functional programming, (53-62)
- Hall P Relational algebras, logic, and functional programming Proceedings of the 1984 ACM SIGMOD international conference on Management of data, (326-333)
- Hall P (2019). Relational algebras, logic, and functional programming, ACM SIGMOD Record, 14:2, (326-333), Online publication date: 1-Jun-1984.
- Mishra P and Keller R Static inference of properties of applicative programs Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (235-244)
- Subrahmanyam P and You J Pattern driven lazy reduction Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (228-234)
- Wand M A types-as-sets semantics for milner-style polymorphism Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (158-164)
- Hudak P and Kranz D A combinator-based compiler for a functional language Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (122-132)
- Black A (1983). An asymmetric stream communication system, ACM SIGOPS Operating Systems Review, 17:5, (4-10), Online publication date: 31-Dec-1983.
- Kluge W (1983). Cooperating Reduction Machines, IEEE Transactions on Computers, 32:11, (1002-1012), Online publication date: 1-Nov-1983.
- Black A An asymmetric stream communication system Proceedings of the ninth ACM symposium on Operating systems principles, (4-10)
- Caluwaerts L, Debacker J and Peperstraete J (2019). Implementing streams on a data flow computer system with paged memory, ACM SIGARCH Computer Architecture News, 11:3, (76-83), Online publication date: 30-Jun-1983.
- Caluwaerts L, Debacker J and Peperstraete J Implementing streams on a data flow computer system with paged memory Proceedings of the 10th annual international symposium on Computer architecture, (76-83)
- Berztiss A Data processing and computer science theory Proceedings of the fourteenth SIGCSE technical symposium on Computer science education, (72-76)
- Nishida T and Doshita S An application of montague grammar to English-Japanese machine translation Proceedings of the first conference on Applied natural language processing, (156-165)
- Berztiss A (1983). Data processing and computer science theory, ACM SIGCSE Bulletin, 15:1, (72-76), Online publication date: 1-Feb-1983.
- Laurmaa T and Syrjänen M (1982). APL and Halstead's theory, ACM SIGMETRICS Performance Evaluation Review, 11:3, (32-47), Online publication date: 1-Sep-1982.
- Laurmaa T and Syrjänen M APL and Halstead's theory Selected papers of the 1982 ACM SIGMETRICS workshop on Software metrics: part 2, (32-47)
- Cartwright R and Donahue J The semantics of lazy (and industrious) evaluation Proceedings of the 1982 ACM symposium on LISP and functional programming, (253-264)
- Georgeff M A scheme for implementing functional values on a stack machine Proceedings of the 1982 ACM symposium on LISP and functional programming, (188-195)
- Eggert P and Schorre D Logic enhancement Proceedings of the 1982 ACM symposium on LISP and functional programming, (74-80)
- de Jong M and Hankin C (1982). Structured data flow programming, ACM SIGPLAN Notices, 17:8, (18-27), Online publication date: 1-Aug-1982.
- Moor I An applicative compiler for a parallel machine Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (284-293)
- Moor I (1982). An applicative compiler for a parallel machine, ACM SIGPLAN Notices, 17:6, (284-293), Online publication date: 1-Jun-1982.
- Hommes F The heap/substitution concept - an implementation of functional operations on data structures for a reduction machine Proceedings of the 9th annual symposium on Computer Architecture, (248-256)
- Reddy U Programming with sequences Proceedings of the 20th annual Southeast regional conference, (189-198)
- Hommes F (1982). The heap/substitution concept - an implementation of functional operations on data structures for a reduction machine, ACM SIGARCH Computer Architecture News, 10:3, (248-256), Online publication date: 1-Apr-1982.
- MacLennan B Introduction to relational programming Proceedings of the 1981 conference on Functional programming languages and computer architecture, (213-220)
- Darlington J and Reeve M ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages Proceedings of the 1981 conference on Functional programming languages and computer architecture, (65-76)
- Morris F and Schwarz J Computing cyclic list structures Proceedings of the 1980 ACM conference on LISP and functional programming, (144-153)
Recommendations
Functional neuroanatomy of mental rotation
Brain regions involved in mental rotation were determined by assessing increases in fMRI activation associated with increases in stimulus rotation during a mirror-normal parity-judgment task with letters and digits. A letter-digit category judgment task ...
Interconnected Large-Scale Systems for Three Fundamental Cognitive Tasks Revealed by Functional MRI
The specific brain areas required to execute each of three fundamental cognitive tasks - object naming, same-different discrimination, and integer computation - are determined by whole-brain functional magnetic resonance imaging (fMRI) using a novel ...
The Functional Neuroanatomy of Episodic and Semantic Autobiographical Remembering: A Prospective Functional MRI Study
Autobiographical memory comprises episodic and semantic components mediated by dissociable states of consciousness, one promoting the experience of the self at a specific moment in the past, and the other involving self-knowledge that does not require ''...