Result 1 to 20 of 23 total
A tutorial on parallel and concurrent programming in Haskell. (English)
Koopman, Pieter (ed.) et al., Advanced functional programming. 6th international school, AFP 2008, Heijen, The Netherlands, May 2008. Revised lectures. Berlin: Springer (ISBN 978-3-642-04651-3/pbk). Lecture Notes in Computer Science 5832, 267-305 (2009).
1
A symbolic algorithm for the automatic computation of multitone-input harmonic balance equations for nonlinear systems. (English)
Nonlinear Dyn. 56, No. 1-2, 179-191 (2009).
2
Classes, Jim, but not as we know them ‒ type classes in Haskell: What, why, and whither. (English)
Drossopoulou, Sophia (ed.), ECOOP 2009 ‒ object-oriented programming. 23rd European conference, Genoa, Italy, July 6‒10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03012-3/pbk). Lecture Notes in Computer Science 5653, 1 (2009).
3
Harnessing the multicores: nested data parallelism in Haskell. (English)
Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9‒11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPICS ‒ Leibniz International Proceedings in Informatics 2, 383-414, electronic only (2008).
4
Harnessing the multicores: Nested data parallelism in Haskell. (English)
Ramalingam, G. (ed.), Programming languages and systems. 6th Asian symposium, APLAS 2008, Bangalore, India, December 9‒11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89329-5/pbk). Lecture Notes in Computer Science 5356, 138 (2008).
5
Scrap your type applications. (English)
Audebaud, Philippe (ed.) et al., Mathematics of program construction. 9th international conference, MPC 2008, Marseille, France, July 15‒18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70593-2/pbk). Lecture Notes in Computer Science 5133, 2-27 (2008).
6
Understanding functional dependencies via constraint handling rules. (English)
J. Funct. Program. 17, No. 1, 83-129 (2007).
7
Making a fast Curry: push/enter vs. eval/apply for higher-order languages. (English)
J. Funct. Program. 16, No. 4-5, 415-449 (2006).
8
Sound and decidable type inference for functional dependencies. (English)
Schmidt, David (ed.), Programming languages and systems. 13th European symposium on programming, ESOP 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 ‒ April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21313-9/pbk). Lecture Notes in Computer Science 2986, 49-63 (2004).
9
Automatic computation of polyharmonic balance equations for nonlinear differential systems. (English)
Int. J. Control 76, No. 4, 355-365 (2003).
10
Special issue: Haskell 98 language and librairies. The revised report. (English)
J. Funct. Program. 13, No. 1, xii, 255~p. (2003).
11
Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. (English)
Hoare, Tony (ed.) et al., Engineering theories of software construction. Proceedings of the NATO ASI, Marktoberdorf, Germany, July 25 - August 6, 2000. Amsterdam: IOS Press. NATO Sci. Ser. III, Comput. Syst. Sci. 180, 47-96 (2001).
12
Scalable cross-module optimization (English)
PLDI, 301-312 (1998).
13
Formally based profiling for higher-order functional languages. (English)
ACM Trans. Program. Lang. Syst. 19, No. 2, 334-385 (1997).
14
Type classes in Haskell. (English)
ACM Trans. Program. Lang. Syst. 18, No. 2, 109-138 (1996).
15
Collaborative writing in multiple discourse contexts. (English)
Kluwer Int. Ser. Comput. Support. Coop. Work 3, No. 3-4, 247-269 (1994).
16
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine. (English)
J. Funct. Program. 2, No. 2, 127-202 (1992).
17
A Futurebus Interface from Off-the-Shelf Parts. (English)
IEEE Micro 11, No.01, 38-41, 84-93 (1991).
18
Functional programming. Proceedings of the 1990 Glasgow workshop, 13-15 August 1990, Ullapool, Scotland (UK). (English)
Workshops in Computing. Berlin etc.: Springer-Verlag. VIII, 287 p. (1991).
19
Recursive algorithm for computing the frequency response of a class of non-linear difference equation models. (English)
Int. J. Control 50, No.5, 1925-1940 (1989).
20
Result 1 to 20 of 23 total
Start
Contact
Print
General Help
