籌款 9月15日 2024 – 10月1日 2024 關於籌款

LNCS 8475 - Functional and Logic Programming

Main
LNCS 8475 - Functional and Logic...

LNCS 8475 - Functional and Logic Programming

Michael Codish & Eijiro Sumii (eds.)

0 / 0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

Functional and Logic Programming

年:

2014

語言:

spanish

ISBN 10:

3319071513

ISBN 13:

9783319071510

文件:

PDF, 4.35 MB

IPFS:

,

spanish, 2014

線上閱讀

轉換進行中

轉換為失敗

你可能感興趣

Amal Ahmed — Programming Languages and Systems

Luís Caires — Programming Languages and Systems

Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou (auth.), Kazunori Ueda (eds.) — Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania) — Types and Programming Languages

M C J D van Eekelen — Trends in Functional Programming, vol. 6

Luís Caires — Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Keisuke Nakano, Konstantinos Sagonas — Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings

Bruno C. d. S. Oliveira — Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

Michael Codish & Eijiro Sumii (eds.) — LNCS 8475 - Functional and Logic Programming

Jurriaan Hage, Jay McCarthy (eds.) — Trends in Functional Programming: 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

Ralf Hinze, Janis Voigtländer (eds.) — Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Fernando Castor, Yu David Liu (eds.) — Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Amal Ahmed — Programming Languages and Systems

John P. Gallagher, Martin Sulzmann, (eds.) — Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Wen-tsun Wu (auth.), Atsushi Ohori (eds.) — Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Greg Nelson (auth.), Dexter Kozen (eds.) — Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Atze Dijkstra, S. Doaitse Swierstra (auth.), Varmo Vene, Tarmo Uustalu (eds.) — Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures

Guy L. Steele (auth.), Masami Hagiya, Philip Wadler (eds.) — Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

Robin Cockett (auth.), Tarmo Uustalu (eds.) — Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

Neil D. Jones (auth.), Olivier Danvy, Andrzej Filinski (eds.) — Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

Greg Morrisett (auth.), Daniel Le Métayer (eds.) — Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Unknown — Programming Languages And Systems 8 Esop 99 1576 1999 3540656995 316s

Ralf Hinze (auth.), Philippe Audebaud, Christine Paulin-Mohring (eds.) — Mathematics of Program Construction: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

Davide Ancona, Giovanni Lagorio, Elena Zucca (auth.), Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro (eds.) — Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Brigitte Pientka (auth.), Matthias Blume, Naoki Kobayashi, Germán Vidal (eds.) — Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

Roland Backhouse, Wei Chen, João F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, Béchir Ktari (eds.) — Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou (auth.), Kazunori Ueda (eds.) — Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović (auth.), Julio Mariño (eds.) — Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović (auth.), Julio Mariño (eds.) — Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

Boon Thau Loo, Harjot Gill, Changbin Liu (auth.), Claudio Russo, Neng-Fa Zhou (eds.) — Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

Boon Thau Loo, Harjot Gill, Changbin Liu (auth.), Claudio Russo, Neng-Fa Zhou (eds.) — Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

D. A. Turner (auth.), Hans-Wolfgang Loidl, Ricardo Peña (eds.) — Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

Jan Vitek (eds.) — Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

最常見的術語