On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
A foundation for programming environments
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
IEEE Transactions on Software Engineering
A variable-arity procedural interface
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Transformational derivation of programs using the focus system
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
Teaching recursion as a problem-solving tool using standard ML
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)
Inheritance in smalltalk-80: a denotational definition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sacrificing simplicity for convenience: Where do you draw the line?
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
How to make ad-hoc polymorphism less ad hoc
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Typed representation of objects by functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Executing a Program on the MIT Tagged-Token Dataflow Architecture
IEEE Transactions on Computers
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
The Object-Oriented Functional Data Language
IEEE Transactions on Software Engineering
Retrieving re-usable software components by polymorphic type
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel-program transformation using a metalanguage
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Comparison of priority rules in pattern matching and term rewriting
Journal of Symbolic Computation
Nonlinear pattern matching in trees
Journal of the ACM (JACM)
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
A polymorphic functional language applied to symbolic computation
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Functions as objects in a data flow based visual language
CSC '93 Proceedings of the 1993 ACM conference on Computer science
The design of the E programming language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Declaration-free type checking
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Program specification and development in standard ML
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The aggregate update problem in functional programming systems
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
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
Towards a semantic theory for equational programming languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Para-functional programming: a paradigm for programming multiprocessor systems
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
What is "Object-Oriented Programming?"
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Efficient abstractions for the implementation of structured editors
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
ML '07 Proceedings of the 2007 workshop on Workshop on ML
ACM SIGARCH Computer Architecture News
Cognitive Systems Research
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
Using domain specific language for modeling and simulation: scalation as a case study
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |