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
Mathematical logic.
Functional programming languages
Artificial intelligence.
Software engineering.
Programming Techniques.
Computer programming.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Artificial Intellgence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Software Engineering.
Computer logic.
Data structures (Computer science)
Computer Science.
Functional programming (Computer science)
Logic design
Programming languages (Electronic computers).