thumbnail

Journal of Functional Programming

SCOPUS (1991-2025)SCIE-ISI

  1469-7653

  0956-7968

  Anh Quốc

 

Cơ quản chủ quản:  Cambridge University Press , CAMBRIDGE UNIV PRESS

Lĩnh vực:
Software

Các bài báo tiêu biểu

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

Index Years: 1991-2025

Xem chi tiết

ISI/SCIE - Science Citation Index Expanded

Xem chi tiết

Các tạp chí khác
Tạp chí Truyền nhiễm Việt Nam
Tạp chí Y Dược học Cần Thơ
Tạp chí Khoa học và Công nghệ nhiệt đới
VNU Journal of Science: Earth and Environmental Sciences
Tạp chí Nghiên cứu Chính sách và Quản lý
Tạp chí Tai Mũi Họng Việt Nam
Tạp chí Y - Dược học quân sự
Tạp chí Khoa học Xã hội và Nhân văn
Tạp chí Da liễu học Việt Nam
Tạp chí Khoa học Sức khoẻ Đại học Quốc gia Thành phố Hồ Chí Minh