thumbnail

Higher-Order and Symbolic Computation

  1573-0557

  1388-3690

 

 

Cơ quản chủ quản:  N/A

Lĩnh vực:

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

State in Haskell
Tập 8 Số 4 - Trang 293-341 - 1995
John Launchbury, Simon L. Peyton Jones
Syntactic abstraction in scheme
- 1993
R. Kent Dybvig, Robert Hieb, Carl Bruggeman
Editorial
- 2004
Wei-Ngan Chin, Olivier Danvy, Peter Thiemann
A runtime system
- 1990
Andrew W. Appel
On typing delimited continuations: three new solutions to the printf problem
- 2009
Kichizo Asai
Dictionary-free overloading by partial evaluation
- 1995
Mark P. Jones
The VLISP verified Scheme system
- 1995
Joshua D. Guttman, John D. Ramsdell, Vipin Swarup
Endpaper: Technical issues of separation in function cells and value cells
Tập 1 Số 1 - Trang 81-101 - 1988
Richard P. Gabriel, Kent M. Pitman
Shortcut fusion rules for the derivation of circular and higher-order programs
Tập 24 Số 1-2 - Trang 115-149 - 2011
Alberto Pardo, João Paulo Fernandes, João Saraiva
Continuation-Passing C, compiling threads to events through continuations
- 2011
Gabriel Kerneis, Juliusz Chroboczek
Các tạp chí khác
Tạp chí Khoa học Xã hội và Nhân văn
Nuclear Science and Technology
Tạp chí Khoa học Đào tạo & Huấn luyện thể thao
Tạp chí Khoa học Xã hội, Nhân văn và Giáo dục Trường Đại học Sư phạm - Đại học Đà Nẵng
Tạp chí Nông nghiệp và Phát triển
Tạp chí Khoa học Đại học Tây Nguyên
Tạp chí Khoa học Đại học Huế: Khoa học Trái đất và Môi trường
Vietnam Journal of Chemistry
Tạp chí Truyền nhiễm Việt Nam
Tạp chí Khoa học Đại học Huế: Kinh tế và Phát triển