New answers tagged pl.programming-languages
3
votes
Accepted
Is there a relation between the techniques used by Dan Willard, versus those of Brown and Palsberg, to exclude diagonalization?
I'll defer if someone more knowledgeable on the subject arrives, but I think the answer is that they are not the same.
Willard's work is about building theories that avoid the typical formulation of ...
Top 50 recent answers are included
Related Tags
pl.programming-languages × 356type-theory × 75
reference-request × 61
lo.logic × 59
lambda-calculus × 48
semantics × 37
functional-programming × 35
computability × 32
ct.category-theory × 24
type-systems × 23
dependent-type × 20
compilers × 16
denotational-semantics × 16
concurrency × 15
type-inference × 15
formal-methods × 14
program-verification × 13
cc.complexity-theory × 11
fl.formal-languages × 11
big-picture × 10
soft-question × 8
dc.parallel-comp × 8
term-rewriting-systems × 8
operational-semantics × 8
object-oriented × 8