-
1
-
-
84957085046
-
Interactive Functional Objects in Clean
-
In Clack, Hammond, and Davie, editors, of LNCS, St.Andrews, UK, Springer
-
P. Achten and R. Plasmeijer. Interactive Functional Objects in Clean. In Clack, Hammond, and Davie, editors, The 9th International Workshop on the Implementation of Functional Languages, IFL 1997, Selected Papers, volume 1467 of LNCS, pages 304-321. St.Andrews, UK, Springer, 1998.
-
(1998)
The 9th International Workshop on the Implementation of Functional Languages, IFL 1997, Selected Papers
, vol.1467
, pp. 304-321
-
-
Achten, P.1
Plasmeijer, R.2
-
2
-
-
84944062872
-
Porting the Clean Object I/O Library to Haskell
-
In M. Mohnen and P. Koopman, editors, LNCS, Aachen, Germany, Springer
-
Achten, Peter and Peyton Jones, Simon. Porting the Clean Object I/O Library to Haskell. In M. Mohnen and P. Koopman, editors, The 12th International Workshop on the Implementation of Functional Languages, IFL 2000, Selected Papers, volume 2011 of LNCS, pages 194-213. Aachen, Germany, Springer, 2001.
-
(2001)
The 12th International Workshop on the Implementation of Functional Languages, IFL 2000, Selected Papers
, vol.2011
, pp. 194-213
-
-
Jones, P.1
Simon2
-
3
-
-
84949475094
-
A Generic Programming Extension for Clean
-
In T. Arts and M. Mohnen, editors, Älvsjö, Sweden, Sept.
-
A. Alimarine and R. Plasmeijer. A Generic Programming Extension for Clean. In T. Arts and M. Mohnen, editors, The 13th International workshop on the Implementation of Functional Languages, IFL'01, Selected Papers, pages 168-186. Älvsjö, Sweden, Sept. 2002.
-
(2002)
The 13th International workshop on the Implementation of Functional Languages, IFL'01
, pp. 168-186
-
-
Alimarine, A.1
Plasmeijer, R.2
-
4
-
-
24944441121
-
-
Description and Sources at Www.haskell.org/ObjectIO/, Applications at Free.top.bg/ka2.mail
-
Angelov, Krasimir Andreev. ObjectIO for Haskell. Description and Sources at www.haskell.org/ObjectIO/, Applications at /free.top.bg/ka2.mail/, 2003.
-
(2003)
ObjectIO for Haskell
-
-
Angelov, K.A.1
-
7
-
-
0030645122
-
Structuring Graphical Paradigms in TkGofer
-
Amsterdam, The Netherlands, 9-11 June ACM Press.
-
K. Claessen, T. Vullinghs, and E. Meijer. Structuring Graphical Paradigms in TkGofer. In Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), volume 32(8), pages 251-262, Amsterdam, The Netherlands, 9-11 June 1997. ACM Press.
-
(1997)
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97)
, vol.32
, Issue.8
, pp. 251-262
-
-
Claessen, K.1
Vullinghs, T.2
Meijer, E.3
-
8
-
-
84904339798
-
Generic Haskell, Specifically
-
In J. Gibbons and J. Jeuring, editors, Schloss Dagstuhl, July Kluwer Academic Publishers. ISBN 1-4020-7374-7.
-
D. Clarke and A. Löh. Generic Haskell, Specifically. In J. Gibbons and J. Jeuring, editors, Generic Programming. Proceedings of the IFIP TC2 Working Conference on Generic Programming, pages 21-48, Schloss Dagstuhl, July 2003. Kluwer Academic Publishers. ISBN 1-4020-7374-7.
-
(2003)
Generic Programming. Proceedings of the IFIP TC2 Working Conference on Generic Programming
, pp. 21-48
-
-
Clarke, D.1
Löh, A.2
-
9
-
-
84949446497
-
Theorem proving for functional programmers - Sparkle: A functional theorem prover
-
T. Arts and M. Mohnen, editors, LNCS, pages 55-72, Stockholm, Sweden, 2001. Springer.
-
M. de Mol, M. van Eekelen, and R. Plasmeijer. Theorem proving for functional programmers - Sparkle: A functional theorem prover. In T. Arts and M. Mohnen, editors, Selected Papers from the 13th International Workshop on Implementation of Functional Languages, IFL 2001, volume 2312 of LNCS, pages 55-72, Stockholm, Sweden, 2001. Springer.
-
Selected Papers from the 13th International Workshop on Implementation of Functional Languages, IFL 2001
, vol.2312
-
-
De Mol, M.1
Van Eekelen, M.2
Plasmeijer, R.3
-
10
-
-
35048867658
-
-
ELTE, Budapest, 2003. Software at aszt.inf.elte.hu/~fun_ver/2003/ software/HsCleanAll2.0.2.zip.
-
Diviánszky P. Haskell - Clean Compiler. ELTE, Budapest, 2003. Software at aszt.inf.elte.hu/~fun_ver/2003/software/HsCleanAll2.0.2.zip.
-
Haskell - Clean Compiler
-
-
Diviánszky, P.1
-
11
-
-
35048891829
-
-
Description at people.debian.org/~bfulgham/clean_examples, May 2003. Sources at people.debian.org/~bfulgham/clean/objectio-linux.tar.gz.
-
Fulgham, Brent. The Clean ObjectIO Library under Linux (Gtk+). Description at people.debian.org/~bfulgham/clean_examples, May 2003. Sources at people.debian.org/~bfulgham/clean/objectio-linux.tar.gz.
-
The Clean ObjectIO Library under Linux (Gtk+)
-
-
Fulgham, B.1
-
13
-
-
0033722168
-
A new approach to generic functional programming
-
Boston, Massachusetts, January
-
Hinze, Ralf. A new approach to generic functional programming. In The, 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 119-132. Boston, Massachusetts, January 2000.
-
(2000)
The, 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 119-132
-
-
Hinze, R.1
-
14
-
-
0013045267
-
Derivable Type Classes
-
In G. Hutton, editor, 2000 of ENTCS. Montreal, Canada, Elsevier Science
-
Hinze, Ralf and Peyton Jones, Simon. Derivable Type Classes. In G. Hutton, editor, 2000 ACM SIGPLAN Haskell Workshop, volume 41(1) of ENTCS. Montreal, Canada, Elsevier Science, 2001.
-
(2001)
ACM SIGPLAN Haskell Workshop
, vol.41
, Issue.1
-
-
Jones, P.1
-
15
-
-
84957107245
-
Using Concurrent Haskell to Develop Views over an Active Repository
-
of LNCS, pages 285-303, St.Andrews, Scotland, Springer.
-
W. Karlsen, Einar and S. Westmeier. Using Concurrent Haskell to Develop Views over an Active Repository. In Implementation of Functional Languages, Selected Papers, volume 1467 of LNCS, pages 285-303, St.Andrews, Scotland, 1997. Springer.
-
(1997)
Implementation of Functional Languages, Selected Papers
, vol.1467
-
-
Karlsen Einar, W.1
Westmeier, S.2
-
16
-
-
0036949277
-
Interactive Visual Functional Programming
-
S. P. Jones, editor, ACM, October
-
Keith Hanna. Interactive Visual Functional Programming. In S. P. Jones, editor, Proc. Intnl Conf. on Functional Programming, pages 100-112. ACM, October 2002.
-
(2002)
Proc. Intnl Conf. on Functional Programming
, pp. 100-112
-
-
Hanna, K.1
-
17
-
-
21144450432
-
Gast: Generic Automated Software Testing
-
R. Peña and T. Arts, editors, IFL'02, Selected Papers, volume 2670 of LNCS, Springer, 2003.
-
P. Koopman, A. Alimarine, J. Tretmans, and R. Plasmeijer. Gast: Generic Automated Software Testing. In R. Peña and T. Arts, editors, The 14th International Workshop on the Implementation of Functional Languages, IFL'02, Selected Papers, volume 2670 of LNCS, pages 84-100. Springer, 2003.
-
The 14th International Workshop on the Implementation of Functional Languages
, pp. 84-100
-
-
Koopman, P.1
Alimarine, A.2
Tretmans, J.3
Plasmeijer, R.4
-
18
-
-
0002370369
-
A cookbook for using the Model-View-Controller user interface paradigm in Smalltalk-80
-
August
-
G. Krasner and S. Pope. A cookbook for using the Model-View-Controller user interface paradigm in Smalltalk-80. Journal of Object-Oriented Programming, 1(3):26-49, August 1988.
-
(1988)
Journal of Object-Oriented Programming
, vol.1
, Issue.3
, pp. 26-49
-
-
Krasner, G.1
Pope, S.2
-
19
-
-
0029723636
-
Concurrent Haskell
-
St.Petersburg Beach, Florida, ACM.
-
S. Peyton Jones, A. Gordon, and S. Finne. Concurrent Haskell. In 23rd ACM Symposium on Principles of Programming Languages (POPL'96), pages 295-308, St.Petersburg Beach, Florida, 1996. ACM.
-
(1996)
23rd, ACM Symposium on Principles of Programming Languages (POPL'96)
, pp. 295-308
-
-
Peyton Jones, S.1
Gordon, A.2
Finne, S.3
-
20
-
-
35248831176
-
Towards a strongly typed functional operating system
-
R. Peña and T. Arts, editors, IFL'02, Selected Papers, volume 2670 of LNCS, Springer, Sept.
-
A. van Weelden and R. Plasmeijer. Towards a strongly typed functional operating system. In R. Peña and T. Arts, editors, The 14th International Workshop on the Implementation of Functional Languages, IFL'02, Selected Papers, volume 2670 of LNCS, pages 215-231. Springer, Sept. 2002.
-
(2002)
The 14th International Workshop on the Implementation of Functional Languages
, pp. 215-231
-
-
Van Weelden, A.1
Plasmeijer, R.2
|