Journal of Functional Programming

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
A paradigmatic object-oriented programming language: Design, static typing and semantics
Journal of Functional Programming - Tập 4 Số 2 - Trang 127-206 - 1994
Kim B. Bruce
Simple type-theoretic foundations for object-oriented programming
Journal of Functional Programming - Tập 4 Số 2 - Trang 207-247 - 1994
Benjamin C. Pierce, David N. Turner
A unifying type-theoretic framework for objects
Journal of Functional Programming - Tập 5 Số 4 - Trang 593-635 - 1995
Martin Hofmann, Benjamin C. Pierce
Retrieving reusable software components by polymorphic type
Journal of Functional Programming - Tập 1 Số 2 - Trang 191-211 - 1991
Colin Runciman, Ian Toyn
Deciding type isomorphisms in a type-assignment framework
Journal of Functional Programming - Tập 3 Số 4 - Trang 485-525 - 1993
Roberto Di Cosmo
Using types as search keys in function libraries
Journal of Functional Programming - Tập 1 Số 1 - Trang 71-89 - 1991
Mikael Rittri
FUNCTIONAL PEARL Linear lambda calculus and PTIME-completeness
Journal of Functional Programming - Tập 14 Số 6 - Trang 623-633 - 2004
Harry G. Mairson
The bologna optimal higher-order machine
Journal of Functional Programming - Tập 6 Số 6 - Trang 763-810 - 1996
Andrea Asperti, Cecilia Giovannetti, Andrea Naletto
Tổng số: 8   
  • 1