The promotion and accumulation strategies in transformational programming
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Transformations and reduction strategies for typed lambda expressions
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Efficient demand-driven evaluation. Part 1
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
ACM SIGART Bulletin
ACM SIGSMALL/PC Notes
A RISC architecture for symbolic computation
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
Environments as first class objects
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The “Hamming problem” in Prolog
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Implementation concepts for an extensible data model and data language
ACM Transactions on Database Systems (TODS)
Functional Development of Database Applications
IEEE Transactions on Software Engineering
The relation between problems in large-scale concurrent systems and distributed databases
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Foundational issues in concurrent computing
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Application programming as the construction of language interpreters
ACM SIGPLAN Notices
Never mind the language, what about the paradigm?
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
An APL-tutoring adventure game
APL '89 Conference proceedings on APL as a tool of thought
Functional languages in microcode compilers
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
Typed representation of objects by functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Operational and axiomatic semantics of PCF
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Generators and the replicator control structure in the parallel environment of ALLOY
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
The Performance of Parallel Prolog Programs
IEEE Transactions on Computers
Compilation as partitioning: a new approach to compiling non-strict functional languages
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Programming with Streams in a Pascal-Like Language
IEEE Transactions on Software Engineering
Turtle walk through functional language
ACM SIGPLAN Notices
Fun, rigour and pragmatism in functional programming
ACM SIGCSE Bulletin
Proving memory management invariants for a language based on linear logic
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Hamming numbers, lazy evaluation, and eager disposal
ACM SIGPLAN Notices
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A compiler approach to scalable concurrent-program design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object oriented method for Axiom
ACM SIGPLAN Notices
Geometric programming: a programming approach to geometric design
ACM Transactions on Graphics (TOG)
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
Efficient processing of window queries in the pyramid data structure
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Advanced programming aids in PROGRAPH
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Compiling the graphical functional language PROGRAPH
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Integrating functional and imperative programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Implementing functional languages in the Categorical Abstract Machine
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Two-level grammar: data flow English for functional and logic programming
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A very high level language for large-grained data flow
CSC '87 Proceedings of the 15th annual conference on Computer Science
Program transformations and their applications in teaching procedural and nonprocedural languages
SIGCSE '85 Proceedings of the sixteenth SIGCSE technical symposium on Computer science education
Grammars for functional languages
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGAPL APL Quote Quad
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Relational algebras, logic, and functional programming
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
A Functional Programming Approach to Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Flexible Agent Programming in Linear Logic
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Exploring the Stream Data Type in SISAL and Other Languages
PACT '93 Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism
A combinator-based compiler for a functional language
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A types-as-sets semantics for milner-style polymorphism
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Pattern driven lazy reduction: A unifying evaluation mechanism for functional and logic programs
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Static inference of properties of applicative programs
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data processing and computer science theory
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Implementing streams on a data flow computer system with paged memory
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Experiments in diffused combinator reduction
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Compiling a functional language
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
The implementation of procedurally reflective languages
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Logic enhancement: A method for extending logic programming languages
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
A scheme for implementing functional values on a stack machine
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
The semantics of lazy (and industrious) evaluation
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Computing cyclic list structures
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
An asymmetric stream communication system
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Introduction to relational programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A simple software environment based on objects and relations
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
An applicative compiler for a parallel machine
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
APL and Halstead's theory: A measuring tool and some experiments
SCORE '82 Selected papers of the 1982 ACM SIGMETRICS workshop on Software metrics: part 2
A symmetric approach to compilation and decompilation
The essence of computation
Structured data flow programming
ACM SIGPLAN Notices
Automatic verification of functions with accumulating parameters
Journal of Functional Programming
An application of montague grammar to English-Japanese machine translation
ANLC '83 Proceedings of the first conference on Applied natural language processing
Proposal for a categorical programming language
ACM SIGPLAN Notices
Threaded interpretive systems and functional programming environments
ACM SIGPLAN Notices
Teaching of image synthesis in functional style
Proceedings of the 2005 workshop on Functional and declarative programming in education
Describing multistructured XML documents by means of delay nodes
Proceedings of the 2006 ACM symposium on Document engineering
Cooperating Reduction Machines
IEEE Transactions on Computers
Explaining the lazy Krivine machine using explicit substitution and addresses
Higher-Order and Symbolic Computation
Mathematical Structures in Computer Science
Customizing a functional programming language for web development
Computer Languages, Systems and Structures
Functions in information systems
ACM SIGMIS Database
The chemical machine: an interpreter for the higher order chemical language
Euro-Par'11 Proceedings of the 2011 international conference on Parallel Processing
Realising software development as a lived experience
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Hi-index | 0.01 |