Author of the publication

Pruning with improving sequences in lazy functional programs.

, , and . High. Order Symb. Comput., 24 (4): 281-309 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Integrating lua into C for embedding lua interpreters in a C application., and . SAC, page 1936-1943. ACM, (2016)Pruning with improving sequences in lazy functional programs., , and . High. Order Symb. Comput., 24 (4): 281-309 (2011)Towards Manipulation of Mutually Recursive Functions., , and . Fuji International Symposium on Functional and Logic Programming, page 61-79. World Scientific, Singapore, (1998)Replication-based object persistence by reachability., , and . ISMM, page 43-56. ACM, (2022)Collecting Type Information Using Unit Tests for Customizing JavaScript Virtual Machines., , and . ICOOOLPS@ECOOP, page 2:1-2:4. ACM, (2019)Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation., , , and . ASIAN, volume 2896 of Lecture Notes in Computer Science, page 18-32. Springer, (2003)A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming., and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 79-94. Springer, (2009)An Interactive Proofreading System for Inappropriately Selected Words on Using Predictive Text Entry., and . IJCNLP, volume 3248 of Lecture Notes in Computer Science, page 755-764. Springer, (2004)Efficient Use of Hardware Transactional Memory for Parallel Mesh Generation., , and . ICPP, page 600-609. IEEE Computer Society, (2015)A library of constructive skeletons for sequential style of parallel programming., , , and . Infoscale, volume 152 of ACM International Conference Proceeding Series, page 13. ACM, (2006)