|
|
Volumn 41, Issue 1, 2001, Pages 37-
|
|
Typed logical variables in Haskell
a a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
EMBEDDED SYSTEMS;
LOGIC PROGRAMMING;
PROLOG (PROGRAMMING LANGUAGE);
HASKELL PROGRAMMING LANGUAGE;
LOGICAL VARIABLES;
TYPING;
COMPUTER PROGRAMMING LANGUAGES;
|
|
EID: 18944365903
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/S1571-0661(05)80544-4 Document Type: Conference Paper |
|
Times cited : (8)
|
|
References (0)
|