Gradual Refinement: Blending Pattern Matching with Data Abstraction
Paper i proceeding, 2010

Författare

Meng Wang

Chalmers, Data- och informationsteknik

Jeremy Gibbons

Kazutaka Matsuda

Zhenjiang Hu

MPC'10 Proceedings of the 10th international conference on Mathematics of program construction

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Programvaruteknik

ISBN

3-642-13320-7

Mer information

Skapat

2017-10-06