Publication | Closed Access
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.
10
Citations
0
References
1984
Year
Unknown Venue
Lazy ImplementationsProlog-compatible Functional LanguageEngineeringAutomated ReasoningDependently Typed ProgrammingFunctional Programming LanguageFormal MethodsFormal ModelComputer ScienceLanguage StudiesSemanticsFunctional ProgrammingFormal VerificationLinguisticsLogic Programming
No additional data available for this publication yet. Check back later!