Implementation and Application of Functional Languages [electronic resource] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. /

Implementation and Application of Functional Languages [electronic resource] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. /

PSZJBL

Bibliographic Details
Main Authors:	International Symposium on Implementation and Application of Functional Languages (18th : 2006 : Budapest, Hungary), Horvoth, Zolton, Butterfield, Andrew, Zsok, Viktoria, SpringerLink (Online service)
Format:
Language:	eng
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:	Functional programming languages
Online Access:	http://dx.doi.org/10.1007/978-3-540-74130-5

Similar Items

Research and Advanced Technology for Digital Libraries [electronic resource] : 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007: Proceedings /
by: ECDL 2007 (2007 : Budapest, Hungary), et al.
Published: (2007)

Coordination, Organizations, Institutions, and Norms in Agent Systems. AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. /
by: COIN 2006 (2006 : Hakodate-shi, Japan and Riva, Italy), et al.
Published: (2007)

Object-oriented technology [electronic resource]: ECOOP 2006 workshop reader ; ECOOP 2006 workshops, Nantes, France, July 3-7, 2006 : final reports/
by: ECOOP 2006 (2006 : Nantes, France), et al.
Published: (2007)

Object-oriented technology [electronic resource]: ECOOP 2006 workshop reader ; ECOOP 2006 workshops, Nantes, France, July 3-7, 2006 : final reports/
by: ECOOP 2006 (2006 : Nantes, France), et al.
Published: (2007)

Algorithmic learning theory : 19th International conference, ALT 2008 Budapest, Hungary, October 2008 : proceeding /
by: ALT 2008 (2008 : Budapest, Hungary), et al.
Published: (2008)

New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers /
by: JSAI 2006 (2006 : Tokyo, Japan), et al.
Published: (2007)

Business Intelligence for the Real-Time Enterprises [electronic resource] : First International Workshop, BIRTE 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers. /
by: BIRTE 2006 (2006 : Seoul, Korea), et al.
Published: (2007)

Numerical Methods and Applications [electronic resource] : 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers /
by: NMA 2006 (6th : 2006 : Borovets, Bulgaria), et al.
Published: (2007)

Proceedings of the 18th Colloquim on Microwave Communication held in 1987, Budapest, Hungary/
by: 3756 International Union of Radio Science, et al.
Published: (1986)

Selected Areas in Cryptography [electronic resource] : 13th International Workshop, SAC 2006, Montreal, Canada, August 17-18, 2006 Revised Selected Papers /
by: SAC 2006 (2006 : Montreal, Quebec), et al.
Published: (2007)

Euro-Par 2006 workshops [electronic resource]: parallel processing : CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006 : revised selected papers/
by: International EURO-PAR Conference (12th 2006 : Dresden, Germany), et al.
Published: (2007)

Agent-Oriented Software Engineering VII [electronic resource] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /
by: AOSE 2006 (2006 : Hakodate-shi, Japan), et al.
Published: (2007)

Multi-agent-based simulation VII [electronic resources]: international workshop, MABS 2006, Hakodate, Japan, May 8, 2006 : revised and invited papers/
by: MABS 2006 (2006 : Hakodate-shi, Japan), et al.
Published: (2007)

Engineering Societies in the Agents World. [electronic resource]: 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers./
by: ESAW 2006 (2006 : Dublin, Ireland), et al.
Published: (2007)

High Performance Computing on Vector Systems 2006 [electronic resource] : Proceedings of the High Performance Computing Center Stuttgart, March 2006/
by: Teraflop Workbench Project Workshop (4th : 2006 : Stuttgart, Germany), et al.
Published: (2007)

Vistas for geodesy in the new millennium : IAG 2001 Scientific Assembly Budapest, Hungary, September 2-7, 2001 /
by: IAG 2001Scientific Assembly (2001 : Budapest, Hungary), et al.
Published: (2002)

Formal Methods for Components and Objects [electronic resource] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
by: Boer, Frank S., et al.
Published: (2007)

Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
by: TYPES `98 (2006 : Nottingham, UK), et al.
Published: (2007)

Fundamentals of computation theory : 16th international symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007 : proceedings /
by: FCT 2007 (2007 : Budapest, Hungary), et al.
Published: (2007)

IFAE 2006 [electronic resource]: Incontri di fisica delle alte energie, Italian Meeting on High Eenergy Physics, Pavia, Italy, 19-21 April 2006/
by: IFAE 2006 (2006 : Pavia, Italy), et al.
Published: (2007)

Information Security Applications [electronic resource] : 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers /
by: WISA 2006 (2006 : Cheju-do, Korea), et al.
Published: (2007)

Reviews in fluorescence 2006 [electronic book] /
by: Geddes, Chris D., et al.
Published: (2006)

From Web to Social Web: Discovering and Deploying User and Content Profiles [electronic resource] : Workshop on Web Mining, WebMine 2006, Berlin, Germany, September 18, 2006. Revised Selected and Invited Papers. /
by: Workshop on Web Mining (2006 : Berlin, Germany), et al.
Published: (2007)

KI 2006: Advances in Artificial Intelligence [electronic resource] : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006: Proceedings /
by: German Conference on Artificial Intelligence (29th : 2006 : Bremen, Germany), et al.
Published: (2007)

Graph Drawing [electronic resource] : 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers /
by: Symposium on Graph Drawing (14th : 2006 : Karlsruhe, Germany), et al.
Published: (2007)

Software process improvement : 12th European conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005 : proceedings /
by: EuroSPI 2005 ( 2005 : Budapest, Hungary), et al.
Published: (2005)

River basin management : progress towards implementation of the European Water framework Directive : proceedings of the Conference of River Basin Management - Progress towards Implementation of the European Water Framework Directive, Budapest, Hungary, 19 - 20 May 2005 /
by: Lawson, John, et al.
Published: (2005)

URSI international symposium on electromagnetic theory, Budapest, Hungary, 1986
by: URSI Iinternational Symposium on Electromagnetic Theory / (Budapest : 1986 ), et al.
Published: (1986)

Inductive Logic Programming [electronic resource] : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /
by: ILP 2006 (2006 : Santiago de Compostela, Spain), et al.
Published: (2007)

Computers and games [electronic resource]: 5th international conference, CG 2006, Turin, Italy, May 29-31, 2006 : revised papers/
by: CG 2006 (2006 : Turin, Italy), et al.
Published: (2007)

Formal Methods : Applications And Technology :11th International Workshop, FMICS 2006 And 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
by: International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany), et al.
Published: (2007)

Pixelization Paradigm [electronic resource] : First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers /
by: Visual Information Expert Workshop (1st : 2006 : Paris, France), et al.
Published: (2007)

Programming Multi-Agent Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /
by: ProMAS (Conference) (4th : 2006 : Hakodate-shi, Japan), et al.
Published: (2007)

Environments for Multi-Agent Systems. [electronic resource] : Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers /
by: E4MAS 2006 (2006 : Hakodate-shi, Japan), et al.
Published: (2007)

Computer analysis of images and patterns : 5th International Conference, CAIP '93, Budapest, Hungary, September 13-15, 1993 : proceedings /
by: International Conference on Computer Analysis of Images and Patterns (5th : 1993 : Budapest, Hungary), et al.
Published: (1993)

Evaluation of Multilingual and Multi-modal Information Retrieval [electronic resource] : 7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 20-22, 2006, Revised Selected Papers. /
by: Cross-Language Evaluation Forum. (7th : 2006 : Alicante, Spain), et al.
Published: (2007)

Multilateralism, Regionalism and Bilateralism in Trade and Investment [electronic resource]: 2006 World Report on Regional Integration/
by: Lombaerde, Philippe de, et al.
Published: (2007)

Service-Oriented Computing ICSOC 2006 [electronic resource]: 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops: Proceedings/
by: International Workshop on Engineering Service-oriented Applications: Design and Composition (2nd : 2006 : Chicago, Ill.), et al.
Published: (2007)

Changing trends in penetrating keratoplasty indications at a tertiary eye care center in Budapest, Hungary between 2006 and 2017
by: Milán Tamás Pluzsik, et al.
Published: (2020-11-01)

Artifical [i.e. artificial] intelligence for human computing [electronic resource]: ICMI 2006 and IJCAI 2007 international workshops, Banff, Canada, November 3, 2006 and Hyderabad, India, January 6, 2007 : revised seleced [i.e. selected] and invited papers/
by: ICMI (Conference) (8th : 2006 : Banff, Alta.), et al.
Published: (2007)