730 search results - page 35 / 146 » Security-typed programming within dependently typed programm... |
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
CTCS
1989
Springer
14 years 15 days ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
ICFP
2004
ACM
14 years 8 months ago
2004
ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...
TYPES
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...