collaborators

1 paper

cs.PL2026

Logic Programming with Extensible Types

Ivan Perez, Angel Herranz

Logic programming languages present clear advantages in terms of declarativeness and conciseness. However, the ideas of logic programming have been met with resistance in other pro…