The following pages link to Towards Typed Prolog (Q5504693):
Displayed 11 items.
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control (Q1726305) (← links)
- Executable Relational Specifications of Polymorphic Type Systems Using Prolog (Q2798266) (← links)
- Pre-indexed Terms for Prolog (Q2949716) (← links)
- (Q5020541) (← links)
- (Q5020543) (← links)
- From Logic to Functional Logic Programs (Q5038460) (← links)
- Concolic Testing in CLP (Q5140007) (← links)
- VeriFly: <i>On-the-fly Assertion Checking via Incrementality</i> (Q6063866) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Data type inference for logic programming (Q6102248) (← links)
- Typed SLD-resolution: dynamic typing for logic programming (Q6103019) (← links)