Views: a way for pattern matching to cohabit with data abstraction
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
Generalized partial computation for a lazy functional language
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Safe fusion of functional expressions
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Compiling lazy pattern matching
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Online partial deduction of logic programs
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A new look at pattern matching in abstract data types
Proceedings of the first ACM SIGPLAN international conference on Functional programming
A practical subtyping system for Erlang
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Extending higher-order deforestation: transforming programs to eliminate even more trees
Trends in functional programming
The Essence of Program Transformation by Partial Evaluation and Driving
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Journal of Functional Programming
Efficient compilation of lazy evaluation
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Definitions by rewriting in the Calculus of Constructions
Mathematical Structures in Computer Science
Efficient manipulation of binary data using pattern matching
Journal of Functional Programming
Redundant Call Elimination via Tupling
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Distillation: extracting the essence of programs
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
An Account of Implementing Applicative Term Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Pattern matching coverage checking with dependent types using set approximations
PLPV '07 Proceedings of the 2007 workshop on Programming languages meets program verification
Distilling Programs for Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Pattern minimization problems over recursive data types
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Compiling pattern matching to good decision trees
Proceedings of the 2008 ACM SIGPLAN workshop on ML
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Expressing advanced user preferences in component installation
Proceedings of the 1st international workshop on Open component ecosystems
Poitín: Distilling Theorems From Conjectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Trusted source translation of a total function language
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
From notation to semantics: there and back again
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Epigram: practical programming with dependent types
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Equations: a dependent pattern-matching compiler
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Redundant Call Elimination via Tupling
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Open and efficient type switch for C++
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Hi-index | 0.00 |