CHAMIL
- 期刊名称ACM SIGPLAN Notices
- 作者Weidner, Thomas G.
- 卷第15卷
- 期第1期
- 印刷ISSN0362-1340
- 文件大小654.67KB
- 发表时间1980-01-01
- DOI10.1145/954127.954145
- 页码156-166
On Ultrafilter Logic and Special FunctionsPaulo A. S. Veloso; Sheila R. M. Veloso · Studia Logica · 2004
Squares in Fork Arrow LogicRenata P. de Freitas; Jorge P. Viana; Mario R. F. Benevides; Sheila R. M. Veloso; Paulo A. S. Veloso · 2003
On Ultrafilter Logic and Special FunctionsPaulo A. S. Veloso and Sheila R. M. Veloso · Studia Logica: An International Journal for Symbolic Logic · 2004
Squares in Fork Arrow LogicRenata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso and Paulo A. S. Veloso · Journal of Philosophical Logic · 2003
On Fork Arrow Logic and its Expressive PowerPaulo A. S. Veloso; Renata P. de Freitas; Petrucio Viana; Mario Benevides; Sheila R. M. Veloso · 2007
On Fork Arrow Logic and Its Expressive PowerPaulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides and Sheila R. M. Veloso · Journal of Philosophical Logic · 2007
Traversable stack with fewer errorsVeloso, Paulo A. S. · ACM SIGPLAN Notices · 1979
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