Teaching recursion as a problem-solving tool using standard ML
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Functional programming: executable specifications and program transformations
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Automatic generation and use of abstract structure operators
ACM Transactions on Programming Languages and Systems (TOPLAS)
A mark-and-sweep collector C++
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Negotiated Interfaces for Software Reuse
IEEE Transactions on Software Engineering
Projecting functional models of imperative programs
ACM SIGPLAN Notices
Implementation of the typed call-by-value λ-calculus using a stack of regions
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Never mind the paradigm, what about multiparadigm languages?
ACM SIGCSE Bulletin
Dynamically-valued constants: an underused language feature
ACM SIGPLAN Notices
Discrete mathematics as a precursor to programming
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
Function types in complete type inference
Trends in functional programming
Towards a Unified Programming Language
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Proceedings of the Second European Workshop on Genetic Programming
NATURAL EXPERT: a commercial functional programming environment
Journal of Functional Programming
Representing conversations for scalable overhearing
Journal of Artificial Intelligence Research
A case study on proving transformations correct: data-parallel conversion
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Methods'96 Proceedings of the 1996 international conference on Methods Integration
List processing primitives for parallel computation
Computer Languages
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
Hi-index | 0.01 |