Generalized Iteration and Coiteration for Higher-Order Nested Datatypes-Reference-Cited by-同舟云学术

Generalized Iteration and Coiteration for Higher-Order Nested Datatypes

Published:2003 Issue: Volume: Page:54-69
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Abel Andreas,Matthes Ralph,Uustalu Tarmo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36576-1_4

Reference23 articles.

1. A. Abel.Termination checking with types.Technical Report 0201,Inst. für Infor-matik,Ludwigs-Maximilians-Univ. München,2002.

2. A. Abel and R. Matthes.(Co-)iteration for higher-order nested datatypes. To appear in H. Geuvers, F. Wiedijk,eds.,Post-Conf. Proc. of IST WG TYPES 2nd Ann. Meeting, TYPES’02 Lect. Notes in Comput. Sci.Springer-Verlag.

3. T. Altenkirch and C. McBride.Generic programming within dependently typed programming.To appear in J. Gibbons and J. Jeuring,Proc. of IFIP TC2 WC on Generic Programming, WCGP 2002 Kluwer Acad.Publishers.

4. T. Altenkirch and B. Reus.Monadic presentations of lambda terms using general-ized inductive types.In J. Flum and M. Rodríguez-Artalejo,eds.,Proc. of 13th Int. Wksh. on Computer Science Logic, CSL’99 vol.1683 of Lect. Notes in Comput. Sci.pp.53–468.Springer-Verlag,1999.

5. G. Barthe, M.J. Frade, E. Giménez, L. Pinto,and T. Uustalu.Type-based termi-nation of recursive definitions.Math. Struct. in Comput. Sci., to appear.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Types and Semantics for Extensible Data Types;Programming Languages and Systems;2023

2. A Datastructure for Iterated Powers;Lecture Notes in Computer Science;2006

3. Iteration and coiteration schemes for higher-order and nested datatypes;Theoretical Computer Science;2005-03

4. Substitution in non-wellfounded syntax with variable binding;Theoretical Computer Science;2004-10

5. Fixed Points of Type Constructors and Primitive Recursion;Computer Science Logic;2004