Languages
Hage, Jurriaan.
Overview
Works: | 12 works in 4 publications in 1 languages |
---|
Titles
Implementation and application of functional languages = 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Hage, Jurriaan.; Morazan, Marco T.; SpringerLink (Online service)
(Language materials, printed)
Implementation and application of functional languages = 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Hage, Jurriaan.; Gill, Andy.
(Language materials, printed)
Trends in functional programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /
by:
Serrano, Manuel.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Hage, Jurriaan.
(Language materials, printed)
Trends in Functional Programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
by:
McCarthy, Jay.; SpringerLink (Online service); Hage, Jurriaan.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Trends in Functional Programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
by:
Hage, Jurriaan.; SpringerLink (Online service); Serrano, Manuel.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Trends in functional programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers /
by:
McCarthy, Jay.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Hage, Jurriaan.
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Functional programming languages
Computer logic.
Artificial intelligence.
Data structures (Computer science)
Software engineering.
Logic design
Artificial Intellgence (incl. Robotics)
Programming Techniques.
Computer Science.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Functional programming (Computer science)
Artificial Intelligence.