JFP 2001
23 papers
- A predicative approach to the classification problem
- Algorithms with polynomial interpretation termination proof
- Automated complexity analysis of Nuprl extracted programs Journal of Functional Programming
- Exceptional Syntax Journal of Functional Programming
- Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
- From Polyvariant flow information to intersection and union types
- How to look busy while being as lazy as ever: the implementation of a lazy functional debugger
- Inductive benchmarking for purely functional data structures
- Inductive graphs and functional graph algorithms
- Manufacturing datatypes
- Maximum marking problems
- Modular lazy search for Constraint Satisfaction Problems
- Monadic encapsulation of effects: a revised approach (extended version)
- Normalization by evaluation with typed abstract syntax
- On characterizations of the basic feasible functionals (Part I)
- Persistent triangulations Journal of Functional Programming
- Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence
- Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories
- Red-black trees with types
- Set constraints for destructive array update optimization
- The expressive power of higher-order types or, life without CONS
- Unfolding pointer algorithms
- Weaving a web