A type safe access to key-value stores from functional languages

Katsuhiro Ueno, Atsushi Ohori

Research output: Contribution to journalArticlepeer-review


This paper presents a scheme comprising a type system and a type-directed compilation method that enables users to integrate high-level key-value store (KVS) operations into statically typed polymorphic functional languages such as Standard ML. KVS has become an important building block for cloud applications because of its scalability. The proposed scheme will enhance the productivity and program safety of KVS by eliminating the need for low-level string manipulation. A prototype that demonstrates its feasibility has been implemented in the SML# language and clarifies issues that need to be resolved in further development towards better practical performance.

Original languageEnglish
Pages (from-to)141-151
Number of pages11
JournalJournal of information processing
Issue number1
Publication statusPublished - 2016 Jan 15


  • Functional programming
  • Key-value store
  • SML#

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'A type safe access to key-value stores from functional languages'. Together they form a unique fingerprint.

Cite this