The Fortress Language Specification
暂无分享,去创建一个
C. H. Flood | Eric E. Allen | David R. Chase | J. Hallett | Victor Luchangco | Jan-Willem Maessen | S. Ryu | G. Steele | Joao P. Dias | Carl Eastlund | Yossi Lev | C. McCosh
[1] William D. Clinger,et al. Revised3 report on the algorithmic language scheme , 1986, SIGP.
[2] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .
[3] Robert H. Halstead,et al. Lazy task creation: a technique for increasing the granularity of parallel programs , 1990, IEEE Trans. Parallel Distributed Syst..
[4] Jonathan Rees,et al. Macros that work , 1991, POPL '91.
[5] Robert Hieb,et al. Syntactic abstraction in scheme , 1992, LISP Symb. Comput..
[6] Robert D. Blumofe,et al. Scheduling multithreaded computations by work stealing , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.
[7] Barry N. Taylor,et al. Guide for the Use of the International System of Units (SI) , 1995 .
[8] Seth Copen Goldstein,et al. Lazy Threads: Implementing a Fast Parallel Call , 1996, J. Parallel Distributed Comput..
[9] Joan M. Aliprand. The Unicode Standard , 1996 .
[10] Bradley C. Kuszmaul,et al. Cilk: an efficient multithreaded runtime system , 1995, PPOPP '95.
[11] Chris Okasaki,et al. Purely functional data structures , 1998 .
[12] R. Kent Dybvig,et al. Revised5 Report on the Algorithmic Language Scheme , 1986, SIGP.
[13] Robert Cartwright,et al. Compatible genericity with run-time types for the Java programming language , 1998, OOPSLA '98.
[14] Philip Wadler,et al. Featherweight Java: a minimal core calculus for Java and GJ , 1999, OOPSLA '99.
[15] Matthias Felleisen,et al. Behavioral contracts and behavioral subtyping , 2001, ESEC/FSE-9.
[16] Todd D. Millstein,et al. Modular Statically Typed Multimethods , 1999, Inf. Comput..
[17] Matthias Felleisen,et al. A Visual Environment for Developing Context-Sensitive Term Rewriting Systems , 2004, RTA.
[18] Ralf Hinze,et al. Finger trees: a simple general-purpose data structure , 2005, Journal of Functional Programming.
[19] Guy L. Steele,et al. Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley)) , 2005 .
[20] Oscar Nierstrasz,et al. Traits: A mechanism for fine-grained reuse , 2006, TOPL.