All Research Papers Published In Journal of Computer Languages | R Discovery

Research Article
3
10.1016/j.jvlc.2018.10.004

On declarative rewriting for sound and complete union, intersection and negation types

Jan 30, 2019
Journal of Computer Languages
David J Pearce

Copyright 2026 Cactus Communications. All rights reserved.

Privacy PolicyCookies PolicyTerms of UseCareers