458 search results - page 22 / 92 » A Dependently Typed Assembly Language |
IADIS
2003
13 years 10 months ago
2003
A visual simulator has been developed as an example of Web-based education tool, which is designed for students to understand graphically internal behavior and structure of comput...
HASKELL
2006
ACM
14 years 2 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
IJCAI
1993
13 years 10 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
PPDP
1999
Springer
14 years 29 days ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...