JISUPOSTEnglish
ENGLISH DICTIONARY

Metatheoretic

Pronunciation varies by accent · adjective

Meaning

Alternative form of metatheoretical..

Example Sentences

Unfortunately, type soundness has only been established for a very restricted subset of DOT (muDOT), and it has been shown that adding important Scala features such as type refinement or extending subtyping to a lattice breaks at least one key metatheoretic property such as narrowing or subtyping transitivity, which are usually required for a type soundness proof. The first main contribution of this paper is to demonstrate how, perhaps surprisingly, even though these properties are lost in their full generality, a richer DOT calculus that includes both type refinement and a subtyping lattice with intersection types can still be proved sound.

Synonyms for metatheoretic

Antonyms for metatheoretic

Related Words

metaanalyticmetempiricalmetaphrasticalenthymematicalidealisticalgroup-theoreticmeta-ethicalset-theoreticalpsychanalyticalmetaphonicalmetoposcopicalparadigmaticalmeta-analytichypermetaphoricantitheisticalintraphilosophicmasoreticalphenomenalisticalsemiphilosophicpsychanalytic

Usage Notes

Choose a synonym only when it preserves the intended meaning, tone, and grammar of the full sentence.

Practice and Learn More

Add this word and synonyms to Word SearchSynonyms and antonymsBetter words by context

Frequently Asked Questions

What does metatheoretic mean?

Metatheoretic means Alternative form of metatheoretical..

What is a synonym for metatheoretic?

The closest synonym depends on the sentence and intended sense.

What is the opposite of metatheoretic?

The opposite depends on the specific sense.

How do you use metatheoretic in a sentence?

Unfortunately, type soundness has only been established for a very restricted subset of DOT (muDOT), and it has been shown that adding important Scala features such as type refinement or extending subtyping to a lattice breaks at least one key metatheoretic property such as narrowing or subtyping transitivity, which are usually required for a type soundness proof. The first main contribution of this paper is to demonstrate how, perhaps surprisingly, even though these properties are lost in their full generality, a richer DOT calculus that includes both type refinement and a subtyping lattice with intersection types can still be proved sound.

Sources & Attribution

FreeDictionaryAPI.com / Wiktionary · Original source · CC BY-SA 4.0

Dictionary data is provided by FreeDictionaryAPI.com and sourced from Wiktionary under its stated license.