[ACM Press CHI '05 extended abstracts - Portland, OR, USA (2005.04.02-2005.04.07)] CHI '05 extended abstracts on Human factors in computing systems - CHI '05 - Reach
- 作者Jacobs, Margot; Worbin, Linda
- 文件大小2349.60KB
- 发表时间2005
- DOI10.1145/1056808.1056949
Practical typed lazy contractsChitil, Olaf · ACM SIGPLAN Notices · 2012
Linear, bounded, functional pretty-printingSWIERSTRA, S. DOAITSE; CHITIL, OLAF · Journal of Functional Programming · 2009
Structure and Properties of Traces for Functional ProgramsOlaf Chitil; Yong Luo · 2007
Compositional explanation of types and algorithmic debugging of type errorsChitil, Olaf · ACM SIGPLAN Notices · 2001
Type generic observation of intermediate data structures for debugging lazy functional programsFaddegon, Maarten; Chitil, Olaf · Computer Languages, Systems & Structures · 2017
Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008.CHITIL, OLAF · Journal of Functional Programming · 2009
[Lecture Notes in Computer Science] Implementation and Application of Functional Languages Volume 5083 || A Supercompiler for Core HaskellChitil, Olaf; Horváth, Zoltán; Zsók, Viktória · 2008
The Byzantine Generals ProblemLamport, Leslie; Shostak, Robert; Pease, Marshall · ACM Transactions on Programming Languages and Systems · 1982
The temporal logic of actionsLamport, Leslie · ACM Transactions on Programming Languages and Systems · 1994
Essential AOPDe Fraine, Bruno; Ernst, Erik; Südholt, Mario · ACM Transactions on Programming Languages and Systems · 2012
LOCKSMITHPratikakis, Polyvios; Foster, Jeffrey S.; Hicks, Michael · ACM Transactions on Programming Languages and Systems · 2011
Linear scan register allocationPoletto, Massimiliano; Sarkar, Vivek · ACM Transactions on Programming Languages and Systems · 1999
The undecidability of aliasingRamalingam, G. · ACM Transactions on Programming Languages and Systems · 1994
Parameterized loop tilingRenganarayanan, Lakshminarayanan; Kim, Daegon; Strout, Michelle Mills; Rajopadhye, Sanjay · ACM Transactions on Programming Languages and Systems · 2012
METRICMarathe, Jaydeep; Mueller, Frank; Mohan, Tushar; Mckee, Sally A.; De Supinski, Bronis R.; Yoo, Andy · ACM Transactions on Programming Languages and Systems · 2007