37 search results - page 8 / 8 » Explicitly Typed Exceptions for Haskell |
MICRO
2003
IEEE
13 years 10 months ago
2003
IEEE
A virtual instruction set architecture (V-ISA) implemented via a processor-specific software translation layer can provide great flexibility to processor designers. Recent examp...
JLP
2010
13 years 3 days ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...