Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 2.

Article

Bond, Joe, David, Cristina, Nguyen, Minh, Orchard, Dominic A., Perera, Roly (2025) Cognacy queries over dependence graphs for transparent visualisations. Programming Languages and Systems, . ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1007/978-3-031-91118-7_6) (KAR id:112665)

Book section

Owens, Scott (2008) A Sound Semantics for OCaml\(_{light}\). In: Drossopoulou, Sophia, ed. Programming Languages and Systems 17th European Symposium on Programming. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 1-15. ISBN 978-3-540-78738-9. E-ISBN 978-3-540-78739-6. (doi:10.1007/978-3-540-78739-6_1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31909)

This list was generated on Wed Jan 28 00:17:01 2026 GMT.