Result 1 to 20 of 94 total
GiN: a graphical language and tool for defining iTask workflows. (English)
Peña, Ricardo (ed.) et al., Trends in functional programming. 12th international symposium, TFP 2011, Madrid, Spain, May 16‒18, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32036-1/pbk). Lecture Notes in Computer Science 7193, 163-178 (2012).
1
Defining multi-user web applications with itasks. (English)
Zsók, Viktória (ed.) et al., Central European functional programming school. 4th summer school, CEFP 2011, Budapest, Hungary, June 14‒24, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32095-8/pbk). Lecture Notes in Computer Science 7241, 46-92 (2012).
2
Central European functional programming school. 4th summer school, CEFP 2011, Budapest, Hungary, June 14‒24, 2011. Revised selected papers. (English)
Lecture Notes in Computer Science 7241. Berlin: Springer (ISBN 978-3-642-32095-8/pbk). vii, 533~p. EUR~74.90 (2012).
3
Compiling Haskell to JavaScript through Clean’s core. (English)
Ann. Univ. Sci. Budap. Rolando Eőtvős, Sect. Comput. 36, 117-142 (2012).
4
iTask as a new paradigm for building GUI applications. (English)
Hage, Jurriaan (ed.) et al., Implementation and application of functional languages. 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1‒3, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24275-5/pbk). Lecture Notes in Computer Science 6647, 153-168 (2011).
5
Between types and tables. Using generic programming for automated mapping between data types and relational databases. (English)
Scholz, Sven-Bodo (ed.) et al., Implementation and application of functional languages. 20th international symposium, IFL 2008, Hatfield, UK, September 10‒12, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24451-3/pbk). Lecture Notes in Computer Science 5836, 272-290 (2011).
6
An executable and testable semantics for iTasks. (English)
Scholz, Sven-Bodo (ed.) et al., Implementation and application of functional languages. 20th international symposium, IFL 2008, Hatfield, UK, September 10‒12, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24451-3/pbk). Lecture Notes in Computer Science 5836, 212-232 (2011).
7
iEditors: Extending iTask with interactive plug-ins. (English)
Scholz, Sven-Bodo (ed.) et al., Implementation and application of functional languages. 20th international symposium, IFL 2008, Hatfield, UK, September 10‒12, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24451-3/pbk). Lecture Notes in Computer Science 5836, 192-211 (2011).
8
Testing with functional reference implementations. (English)
Page, Rex (ed.) et al., Trends in functional programming. 11th international symposium, TFP 2010, Norman, OK, USA, May 17‒19, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-22940-4/pbk). Lecture Notes in Computer Science 6546, 134-149 (2011).
9
Itasks for a change: type-safe run-time change in dynamically evolving workflows (English)
PEPM, 151-160 (2011).
10
Getting a grip on tasks that coordinate tasks (English)
LDTA, 1 (2011).
11
An effective methodology for defining consistent semantics of complex systems. (English)
Horváth, Zoltán (ed.) et al., Central European functional programming school. Third summer school, CEFP 2009, Budapest, Hungary, May 21‒23, 2009 and Komárno, Slovakia, May 25‒30, 2009. Revised selected lectures. Berlin: Springer (ISBN 978-3-642-17684-5/pbk). Lecture Notes in Computer Science 6299, 224-267 (2010).
12
Central European functional programming school. Third summer school, CEFP 2009, Budapest, Hungary, May 21‒23, 2009 and Komárno, Slovakia, May 25‒30, 2009. Revised selected lectures. (English)
Lecture Notes in Computer Science 6299. Berlin: Springer (ISBN 978-3-642-17684-5/pbk). vii, 391~p. EUR~66.34 (2010).
13
A typical synergy. Dynamic types and generalised algebraic datatypes. (English)
Morazán, Marco T. (ed.) et al., Implementation and application of functional languages. 21st international symposium, IFL 2009, South Orange, NJ, USA, September 23‒25, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16477-4/pbk). Lecture Notes in Computer Science 6041, 179-197 (2010).
14
iTasks 2: iTasks for end-users. (English)
Morazán, Marco T. (ed.) et al., Implementation and application of functional languages. 21st international symposium, IFL 2009, South Orange, NJ, USA, September 23‒25, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16477-4/pbk). Lecture Notes in Computer Science 6041, 36-54 (2010).
15
Synthesis of functions using generic programming. (English)
Schmid, Ute (ed.) et al., Approaches and applications of inductive programming. Third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-11930-9/pbk). Lecture Notes in Computer Science 5812, 25-49 (2010).
16
Approaches and applications of inductive programming. Third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised papers. (English)
Lecture Notes in Computer Science 5812. Berlin: Springer (ISBN 978-3-642-11930-9/pbk). ix, 195~p. EUR~49.22 (2010).
17
Embedding a web-based workflow management system in a functional language (English)
LDTA, 7 (2010).
18
Ad-hoc polymorphism and dynamic typing in a statically typed functional language (English)
ICFP-WGP, 73-84 (2010).
19
Testing with functional reference implementations (English)
Trends in Functional Programming, 134-149 (2010).
20
Result 1 to 20 of 94 total
Start
Contact
Print
General Help
