Publication | Closed Access
Napier88—a database programming language?
37
Citations
12
References
1989
Year
Relational DatabaseEngineeringDatabase SystemData TypeComparing Type SystemsProgram AnalysisType TheoryDependently Typed ProgrammingFormal MethodsSoftware EngineeringOrder-sorted LogicComputer ScienceNapier88 Type SystemType SystemDatabase TheoryData ManagementNapier88—a DatabaseProgramming Languages
This is a description of the Napier88 type system based on “A Framework for Comparing Type Systems for Database Programming Languages” by Albano et al.
| Year | Citations | |
|---|---|---|
Page 1
Page 1