1,721,014 research outputs found
Fundamental Approaches to Software Engineering, 8th International Conference, held as part of ETAPS 2005. Edinburgh, UK, April 2005, Proceedings
No full text
A sound and equationally-complete deduction system for partial conditional (higher order) types
No full text
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI-WG Meeting, Genova, Italy, 2001, Selected Papers
No full text- …
