System F

Technology Dictionary -> System F

Search:

System F



polymorphic lambda-calculus