Simple Reference Immutability for System F-sub

Reference immutability is a type based technique for taming mutation that has long been studied in the context of object-oriented languages, like Java. Recently, though, languages like Scala have blurred the lines between functional programming languages and object oriented programming languages. We...

Full description

Saved in:

Bibliographic Details
Published in:	arXiv.org
Main Authors:	Lee, Edward, Lhoták, Ondřej
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 11.07.2023
Subjects:	Functional programming Object oriented programming Object-oriented languages Polymorphism Programming languages
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!