Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Functional and Logic Programming: 4th Fuji International Symposium, FLOPS' 99 Tsukuba, Japan, November 11-13, 1999 Proceedings > Polytypic Programming With Ease
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS' 99 Tsukuba, Japan, November 11-13, 1999 Proceedings |
Aart Middeldorp; Taisuke Sato
Springer Berlin Heidelberg
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS' 99 Tsukuba, Japan, November 11-13, 1999 Proceedings
Polytypic Programming With Ease
Authors

Ralf Hinze

ARI Id

1664733059224_2988375

Access

Not Available Free

Pages

21-36

DOI

10.1007/10705424_2

Chapter URL

https://rd.springer.com/chapter/10.1007/10705424_2

Table of Contents of Book
Showing 1 to 20 of 25 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Semantics and Types in Functional Logic Programming
J. C. González-Moreno; M. T. Hortalá-González; M. Rodríguez-Artalejo
1-20
Polytypic Programming With Ease
Ralf Hinze
21-36
Type Inference for Overloading without Restrictions, Declarations or Annotations
Carlos Camarão; Lucília Figueiredo
37-52
Partial Evaluation and Non-interference for Object Calculi
Gilles Barthe; Bernard P. Serpette
53-67
Lazy Lexing is Fast
Manuel M. T. Chakravarty
68-84
A Functional-Logic Perspective of Parsing
Rafael Caballero; Francisco J. López-Fraguas
85-99
Implementing Encapsulated Search for a Lazy Functional Logic Language
Wolfgang Lux
100-113
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers
Armin Kühnemann
114-130
Automatic Verification Based on Abstract Interpretation
Mizuhito Ogawa
131-146
A Transformation System for Lazy Functional Logic Programs
María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal
147-162
Termination Analysis of Tabled Logic Programs Using Mode and Type Information
Sofie Verbaeten; Danny De Schreye
163-178
On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems
Enno Ohlebusch
179-193
An Interval Lattice-Based Constraint Solving Framework for Lattices
Antonio J. Fernández; Patricia M. Hill
194-208
Higher Order Matching for Program Transformation
Oege de Moor; Ganesh Sittampalam
209-224
Automated Generalisation of Function Definitions
Adam Bakewell; Colin Runciman
225-240
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
Olivier Danvy
241-250
Using Types as Approximations for Type Checking Prolog Programs
Christoph Beierle; Gregor Meyer
251-266
Typed Static Analysis: Application to Groundness Analysis of Prolog and λ Prolog
Olivier Ridoux; Patrice Boizumault; Frédéric Malésieux
267-283
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs
Ernie Johnson; C. R. Ramakrishnan; I. V. Ramakrishnan; Prasad Rao
284-299
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 25 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings