Automatic transformation of series expressions into loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards a semantic view of an extended entity-relationship model
ACM Transactions on Database Systems (TODS)
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Constructing functional programs for grammar analysis problems
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Formal derivation of efficient parallel programs by construction of list homomorphisms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving efficient parallel programs for complex recurrences
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Parallelization in calculational forms
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Program transformation in calculational form
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
How to Comprehend Queries Functionally
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Least and greatest fixed points in intuitionistic natural deduction
Theoretical Computer Science - Special issue on theories of types and proofs
Least and greatest fixed points in intuitionistic natural deduction
Theoretical Computer Science - Special issue on theories of types and proofs
Theoretical Computer Science
A new calculus for multidimensional arrays
APL '02 Proceedings of the 2002 conference on APL: array processing languages: lore, problems, and applications
An Accumulative Parallel Skeleton for All
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Proofs About Lists Using Ellipsis
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Design Patterns Application in UML
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Combinators for breadth-first search
Journal of Functional Programming
Parallel functional programming on recursively defined data via data-parallel recursion
Journal of Functional Programming
Desert Island Reading Assignment
Automated Software Engineering
On modular transformation of structural content
Proceedings of the 2004 ACM symposium on Document engineering
A new parallel skeleton for general accumulative computations
International Journal of Parallel Programming
A library of constructive skeletons for sequential style of parallel programming
InfoScale '06 Proceedings of the 1st international conference on Scalable information systems
Parallel algorithms development for programmable logic devices
Advances in Engineering Software
Generic program monitoring by trace analysis
Theory and Practice of Logic Programming
Parallel skeletons for manipulating general trees
Parallel Computing - Algorithmic skeletons
Automatic inversion generates divide-and-conquer parallel programs
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Google's MapReduce programming model — Revisited
Science of Computer Programming
Google's MapReduce programming model – Revisited
Science of Computer Programming
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Designing combinational circuits with list homomorphisms
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem
Electronic Notes in Theoretical Computer Science (ENTCS)
A compositional framework for developing parallel programs on two-dimensional arrays
International Journal of Parallel Programming
Algebras for combinatorial search
Journal of Functional Programming
Toward an Automatic Approach to Greedy Algorithms
FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics
Generation of efficient programs for solving maximum multi-marking problems
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Lessons from implementing the biCGStab method with SkeTo library
Proceedings of the fourth international workshop on High-level parallel programming and applications
Gradual refinement: blending pattern matching with data abstraction
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
A co-relational model of data for large shared data banks
Communications of the ACM
Implementing fusion-equipped parallel skeletons by expression templates
IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
A co-Relational Model of Data for Large Shared Data Banks
Queue - Programming Languages
Concrete stream calculus: An extended study
Journal of Functional Programming
Automatic parallelization via matrix multiplication
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Towards systematic parallel programming over mapreduce
Euro-Par'11 Proceedings of the 17th international conference on Parallel processing - Volume Part II
Balanced trees inhabiting functional parallel programming
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Generalising and dualising the third list-homomorphism theorem: functional pearl
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Maximum marking problems with accumulative weight functions
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Program optimizations and transformations in calculation form
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Recursion schemes for dynamic programming
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Constructing list homomorphisms from proofs
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Algebras for combinatorial search
MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
A programming tutor for haskell
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Reasoning about multi-process systems with the box calculus
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Financial software on GPUs: between Haskell and Fortran
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Monoids: theme and variations (functional pearl)
Proceedings of the 2012 Haskell Symposium
Generic programming with adjunctions
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Point-free Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
A T2 graph-reduction approach to fusion
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing
Resurrector: a tunable object lifetime profiling technique for optimizing real-world programs
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Science of Computer Programming
Programming with BSP homomorphisms
Euro-Par'13 Proceedings of the 19th international conference on Parallel Processing
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Hi-index | 0.02 |