36 search results - page 8 / 8 » Feature Logic with Disjunctive Unification |
142
click to vote
DLS
2008
15 years 4 months 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...