Programming Language Theory FlashcardWhat kinds of languages in which parametric judgments are required to specify?Properties 2Hide BooksChapter 3. Hypothetical and general judgments DeckgeneralQuestionWhat kinds of languages in which parametric judgments are required to specify?Answer Previous in FlashcardsWhat is usually used as a state for the abstract machine in operational semantics?Next in Flashcards What makes a type system sound?