語系
Hage, Jurriaan.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Trends in functional programming[electronic resource] :15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers /
by:
Clark Conference ((2005 :); Hage, Jurriaan.; McCarthy, Jay.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Trends in functional programming[electronic resource] :16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /
by:
Clark Conference ((2005 :); Hage, Jurriaan.; Serrano, Manuel.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Implementation and application of functional languages[electronic resource] :23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers /
by:
Clark Conference ((2005 :); Gill, Andy.; Hage, Jurriaan.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Data structures (Computer science)
Logics and Meanings of Programs.
Programming Techniques.
Artificial Intellgence (incl. Robotics)
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Functional programming languages
Functional programming (Computer science)
Logic design
Computer Science.