Sketches and parametrization
From MaRDI portal
Publication:1314408
DOI10.1016/0304-3975(94)90072-8zbMath0801.68096MaRDI QIDQ1314408
Dominique Duval, Pascale Sénéchaud
Publication date: 22 February 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(94)90072-8
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Design and implementation of symbolic computation systems. International symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings
- Sketches and computation – I: basic definitions and static evaluation