Highlights from IWGS 2012
- 期刊名称SIGSPATIAL Special
- 作者Ali, Mohamed; Banaei-Kashani, Farnoush; Hoel, Erik
- 卷第5卷
- 期第1期
- 电子ISSN1946-7729
- 文件大小266.00KB
- 发表时间2013-03-01
- DOI10.1145/2505403.2505407
- 页码9-10
Scalable Cylindrical Metallodielectric MetamaterialsNicholas Gibbons; Jeremy J. Baumberg; Chris L. Bower; Mathias Kolle; Ullrich Steiner · 2009
A Relative Timed Semantics for BPMNPeter Y.H. Wong; Jeremy Gibbons · 2009
Metamorphisms: Streaming representation-changersJeremy Gibbons · 2007
Formalisations and applications of BPMNPeter Y.H. Wong; Jeremy Gibbons · 2011
Property specifications for workflow modellingPeter Y.H. Wong; Jeremy Gibbons · 2011
The generic approximation lemmaGraham Hutton; Jeremy Gibbons · 2001
On the semantics of nested datatypesClare Martin; Jeremy Gibbons · 2001
Generic downwards accumulationsJeremy Gibbons · 2000
Guarded recursive datatype constructorsXi, Hongwei; Chen, Chiyan; Chen, Gang · ACM SIGPLAN Notices · 2003
The towers of HanoiEggers, Bleicke · ACM SIGPLAN Notices · 1985
ESPDas, Manuvir; Lerner, Sorin; Seigle, Mark · ACM SIGPLAN Notices · 2002
Are applicative languages inefficient?Ponder, Carl G.; McGeer, Patrick; Ng, Anthony P-C. · ACM SIGPLAN Notices · 1988
Paths between imperative and functional programmingBall, Thomas · ACM SIGPLAN Notices · 1999
Scalable component abstractionsOdersky, Martin; Zenger, Matthias · ACM SIGPLAN Notices · 2005
PinocchioVerwaest, Toon; Bruni, Camillo; Gurtner, David; Lienhard, Adrian; Niestrasz, Oscar · ACM SIGPLAN Notices · 2010
Regularities considered harmfulPark, Heekwon; Baek, Seungjae; Choi, Jongmoo; Lee, Donghee; Noh, Sam H. · ACM SIGPLAN Notices · 2013