Implicit Parameters for Logic Programming
Abstract
References
Index Terms
- Implicit Parameters for Logic Programming
Recommendations
Simplicitly: foundations and applications of implicit function types
Understanding a program entails understanding its context; dependencies, configurations and even implementations are all forms of contexts. Modern programming languages and theorem provers offer an array of constructs to define contexts, implicitly. ...
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to useful expressions and inference methods for structural knowledge that ...
Implicit parameters: dynamic scoping with static types
POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languagesThis paper introduces a language feature, called implicit parameters, that provides dynamically scoped variables within a statically-typed Hindley-Milner framework. Implicit parameters are lexically distinct from regular identifiers, and are bound by a ...
Comments
Information & Contributors
Information
Published In
In-Cooperation
- SIGPLAN: ACM Special Interest Group on Programming Languages
- Goethe University: Goethe University Frankfurt
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 96Total Downloads
- Downloads (Last 12 months)5
- Downloads (Last 6 weeks)1
Other Metrics
Citations
Cited By
View allView Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in