Sciweavers

113

Voted

JFP
2011

40views more JFP 2011»

Structural recursion with locally scoped names

14 years 10 months ago

Structural recursion with locally scoped names

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

104

Voted

JFP
2011

51views more JFP 2011»

Balancing weight-balanced trees

14 years 10 months ago

Balancing weight-balanced trees

Download hagi.is.s.u-tokyo.ac.jp

Yoichi Hirai, Kazuhiko Yamamoto

claim paper

Read More »