Mac286

Known as: Mac86 
The Mac286 was an Intel 80286-based MS-DOS coprocessor expansion card for one of Apple Computer's first expandable Macintosh computers, the 1987… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1989-2002
01219892002

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2002
2002
ASL+ [SST92] is a kernel specification language with higherorder parametrisation for programs and specifications, based on a… (More)
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
1997
1997
Computer-based presentation systems enable the realizati on of effective and dynamic presentation styles that incorporate… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1989
1989
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does… (More)
Is this relevant?
1989
1989
1 I n t r o d u c t i o n The Calculus of Constructions (CC) was introduced by Coquand and Huet [CH85, Coq85] as a system for… (More)
  • table 4
Is this relevant?