Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
Type inference and semi-unification
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Functional programming: executable specifications and program transformations
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Indeterminate behavior with determinate semantics in parallel programs
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Language Design for Program Manipulation
IEEE Transactions on Software Engineering
Translation—an introductory exercise
ACM SIGCSE Bulletin
Introducing functional programming in discrete mathematics
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Generating a compiler for a lazy language by partial evaluation
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fips: a functional-imperative language for explorative programming
ACM SIGPLAN Notices
Implementation of a portable nested data-parallel language
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Experience with a large scientific application in a functional language
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Type inference with polymorphic recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Powerlist: a structure for parallel recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type extension through polymorphism
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
SNACC: a parser generator for use with Miranda
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
Higher-Order and Symbolic Computation
Functional Programming with Quadtrees
IEEE Software
Formal Verification of a Pipelined Microprocessor
IEEE Software
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
Teaching Object-Oriented Programming Is More than Teaching Object-Oriented Programming Languages
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
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
Combining the use of software tools to generate interfaces
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Journal of Functional Programming
A new method for functional arrays
Journal of Functional Programming
Encyclopedia of Computer Science
Modelling deterministic concurrent I/O
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Orthogonal parallel processing in vector Pascal
Computer Languages, Systems and Structures
Lenient evaluation is neither strict nor lazy
Computer Languages
Combining interactive and automatic reasoning in first order theories of functional programs
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
| Hi-index | 0.00 |