Vi visar att den typ av slutsats problem för en lambda kalkyl med poster, inklusive en rekord konkatetering operatör, är decidedable. Vi visar att denna kalkyl inte har huvudsakliga typer, men har nite kompletta uppsättningar av typer: det vill säga, för alla termer M i kalkylen, det finns en e ektivt genererable nite uppsättning av typscheman så att varje typning för M är ett exempel på ett system i uppsättningen. Vi visar hur en enkel modell av objektorienterad programmering, inklusive dolda instansvariabler och flera arv, kan kodas i denna kalkyl. Vi drar slutsatsen att typslutsatsen är deciderbar för objektorienterade program, även med flera arv och klasser som rst-klass värden. Denna förordning träder i kraft den tjugonde dagen efter det att den har offentliggjorts i Europeiska unionens officiella tidning.
REF diskuterade först de skrivproblem som uppstår vid skivkonkatering.
Type Inference for Record Concatenation and Multiple Inheritance
{'venue': 'LICS', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}