scientific article; zbMATH DE number 814797

From MaRDI portal

Publication:4855342

Jump to:navigation, search

zbMath0837.68058MaRDI QIDQ4855342

Didier Rémy

Publication date: 16 April 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

functional language concatenation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Related Items (5)

Type inference for record concatenation and subtyping ⋮ A lambda-calculus for dynamic binding ⋮ Disjoint Polymorphism ⋮ Polymorphic type inference for the relational algebra ⋮ A calculus for reasoning about software composition

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4855342&oldid=19204812"