information about POPLmark challenge field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Proof assistant 2,124 papers | System F 516 papers | ||
| Current | |||
POPLmark challenge papers | |||
| Child | |||
Trends
Notes
History
| Parent | |||
|---|---|---|---|
Proof assistant 2,124 papers | System F 516 papers | ||
| Current | |||
POPLmark challenge papers | |||
| Child | |||