A Logic for Parametric Polymorphism with Effects
From MaRDI portal
Publication:3499756
DOI10.1007/978-3-540-68103-8_10zbMath1138.03319MaRDI QIDQ3499756
Alex K. Simpson, Rasmus Ejlers Møgelberg
Publication date: 3 June 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://www.pure.ed.ac.uk/ws/files/12289066/parametric_logic.pdf
03B70: Logic in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)