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 Đo đạc và Bản đồ
VNU Journal of Science: Education Research
Tạp chí Khoa học và Công nghệ - Trường Đại học Công nghiệp TP.HCM
VNU Journal of Science: Computer Science and Communication Engineering
Tạp chí Khoa học và Công nghệ Nông nghiệp
Vietnam Journal of Biotechnology
Tạp chí Khoa học Đại học Huế: Khoa học Trái đất và Môi trường
Tạp chí Giáo dục Nghệ thuật
Tạp chí Khoa học Đại học Huế: Khoa học Xã hội và Nhân văn
VNU JOURNAL OF ECONOMICS AND BUSINESS