The Napier88 Persistent Programming Language and Environment Morrison, R., Connor, R.C.H., Cutts, Q.I., Kirby, G.N.C., Munro, D.S. & Atkinson, M.P.§ School of Mathematical and Computational Sciences, University of St An

Source URL: archive.cs.st-andrews.ac.uk

• Type theory
• Data types
• Programming languages
• Functional programming
• Procedural programming languages
• Persistence
• Napier88
• PS-algol
• Type system
• Software engineering
• Computing
• Computer programming