Lazy Functional Languages: Abstract Interpretation and...

Main
Computers - Programming
Lazy Functional Languages: Abstract...

Lazy Functional Languages: Abstract Interpretation and Compilation

Geoffrey Burn

0 / 0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

類別:

Computers - Programming

年:

1991

出版商:

The MIT Press

語言:

english

頁數:

256

ISBN 10:

0273088327

ISBN 13:

9780273088325

系列:

Research Monographs in Parallel & Distributed Computing

文件:

PDF, 9.87 MB

IPFS:

,

english, 1991

下載 (pdf, 9.87 MB)

轉換進行中

轉換為失敗

你可能感興趣

Leroy X. — Compiling functional languages

Jean-Louis Boulanger — Static Analysis of Software: The Abstract Interpretation

Nils M Holm — Compiling Lambda Calculus

Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.) — Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

Hudak P. — Conception, Evolution, And Application Of Functional Programming Languages

Paulson L.C. — Foundations of functional programming

Simon L Peyton Jones — The implementation of functional programming languages

Simon L. Peyton Jones — The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)

Holst, Carsten Kehler; Heldal, Rogardt; Wadler, Philip — Functional programming : Glasgow 1991 : proceedings of the 1991 [4th] Glasgow Workshop on Funtional Programming, Portree, Isle of Skye ... 1991

Anthony J. Field, Peter Harrison — Functional Programming

Geoffrey Burn — Lazy Functional Languages: Abstract Interpretation and Compilation (Research Monographs in Parallel and Distributed Computing)

Kei Davis, John Hughes — Functional programming : proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland

Antoni Diller — Compiling Functional Languages

M. R. Sleep, M. J. Plasmeijer — Functional programming and parallel graph rewriting(free web version)

Révész, György E — Lambda-calculus, combinators and functional programming

G. E. Revesz — Lambda-calculus, Combinators and Functional Programming

Alexander Bunkenburg (auth.), John T. O’Donnell PhD, Kevin Hammond PhD (eds.) — Functional Programming, Glasgow 1993: Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5–7 July 1993

D. A. Turner (auth.), Jean-Pierre Jouannaud (eds.) — Functional Programming Languages and Computer Architecture: Nancy, France, September 16–19, 1985

Peter W. O’Hearn (auth.), David Schmidt (eds.) — Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Luca Cardelli, Giorgio Ghelli (auth.), David Sands (eds.) — Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Olivier Danvy (auth.), Samson Abramsky (eds.) — Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Sidney I. Resnick — Programming Languages and Systems

Gordon Plotkin (auth.), Takayasu Ito, Albert R. Meyer (eds.) — Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.) — Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.) — Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.) — Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy — Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings: Third International Workshop, WSA '93, ... 3rd

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.) — Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

David A. Schmidt (auth.), Alan Mycroft (eds.) — Static Analysis: Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

最常見的術語