Author:
Atanassow Frank,Jeuring Johan
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Atanassow, F., Clarke, D., Jeuring, J.: Scripting XML with Generic Haskell. In: Proc. 7th Brazilian Symposium on Programming Languages (2003), See also Utrecht University technical report UU-CS-2003
2. Balat, V., Di Cosmo, R.: A linear logical view of linear type isomorphisms. In: CSL, pp. 250–265 (1999)
3. Beylin, I., Dybjer, P.: Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids. In: TYPES, pp. 47–61 (1995)
4. Brown, A., Fuchs, M., Robie, J., Wadler, P.: MSL: A model for W3C XML Schema. In: Proc. WWW10 (May 2001)
5. Bruce, K.B., Di Cosmo, R., Longo, G.: Provable isomorphisms of types. Mathematical Structures in Computer Science 2(2), 231–247 (1992)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献