36 search results - page 8 / 8 » Feature Logic with Disjunctive Unification |
DLS
2008
14 years 19 days ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...