Author of the publication

Explaining Type Errors by Finding the Source of a Type Conflict.

. Scottish Functional Programming Workshop, volume 1 of Trends in Functional Programming, page 59-67. Intellect, (1999)

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

Generic Stacked BMS Using Low-side MOSFET Control Architecture., , , , , , and . ICCE-Taiwan, page 181-182. IEEE, (2023)Welding seam detection and feature point extraction for robotic arc welding using laser-vision., , , , and . URAI, page 644-647. IEEE, (2016)A path-planning algorithm of the automatic welding robot system for three-dimensional arc welding using image processing., , , and . URAI, page 692-697. IEEE, (2016)Towards Graph-hop Retrieval and Reasoning in Complex Question Answering over Textual Database., , , , , , and . LREC/COLING, page 16539-16549. ELRA and ICCL, (2024)MoDE-CoTD: Chain-of-Thought Distillation for Complex Reasoning Tasks with Mixture of Decoupled LoRA-Experts., , , , , , , , and . LREC/COLING, page 11475-11485. ELRA and ICCL, (2024)A novel beam direction determination method for minimizing Doppler centroid in GEO SAR., , , , and . IGARSS, page 680-683. IEEE, (2014)Enhanced Secure ZigBee Light Link Protocol Based on Network Key Update Mechanism., , and . IMIS, volume 773 of Advances in Intelligent Systems and Computing, page 343-353. Springer, (2018)Nonsmooth Dynamic Tracking Control for Nonlinear Systems With Mismatched Disturbances: Algorithm and Practice., , , and . IEEE Trans. Ind. Electron., 70 (4): 4048-4057 (2023)Towards a comprehensive understanding of digital transformation in government: Analysis of flexibility and enterprise architecture., , and . Gov. Inf. Q., 37 (3): 101487 (2020)A new efficient filtered-x affine projection sign algorithm for active control of impulsive noise., , and . Signal Process., (2016)