-
1
-
-
84944046507
-
Concurrent interactive processes in a pure functional language
-
J.C van Vliet, editor, Jaarbeurs Utrecht, The Netherlands, Stichting Mathematisch Centrum, Amsterdam, 27-28 November
-
P.M. Achten and M.J Plasmeijer. Concurrent interactive processes in a pure functional language. In J.C van Vliet, editor, Proceedings Computing Science in the Netherlands (CSN'95), Jaarbeurs Utrecht, The Netherlands, Stichting Mathematisch Centrum, Amsterdam, pages 10-21, 27-28 November 1995.
-
(1995)
Proceedings Computing Science in the Netherlands (CSN'95)
, pp. 10-21
-
-
Achten, P.M.1
Plasmeijer, M.J.2
-
3
-
-
0346468192
-
High level specification of i/o in functional languages
-
J. Launchbury and P. Sansom, editors, (Ayr, Scotland), Workshops in Computing, Springer-Verlag, 6-8 July
-
P.M. Achten, J.H.G. van Groningen, and M.J. Plasmeijer. High level specification of i/o in functional languages. In J. Launchbury and P. Sansom, editors, Proceedings Glasgow Workshop on Functional Programming (Ayr, Scotland), Workshops in Computing, pages 1-17. Springer-Verlag, 6-8 July 1993.
-
(1993)
Proceedings Glasgow Workshop on Functional Programming
, pp. 1-17
-
-
Achten, P.M.1
van Groningen, J.H.G.2
Plasmeijer, M.J.3
-
4
-
-
84958615994
-
Uniqueness type inference
-
M. Hermenegildo and S.D. Swierstra, editors, Utrecht, The Netherlands, number 982 in LNCS, Springer-Verlag, 20-22 September
-
E. Barendsen and J.E.W. Smetsers. Uniqueness type inference. In M. Hermenegildo and S.D. Swierstra, editors, Proceedings of Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, Utrecht, The Netherlands, number 982 in LNCS, pages 189-206. Springer-Verlag, 20-22 September 1995.
-
(1995)
Proceedings of Seventh International Symposium on Programming Languages: Implementations, Logics and Programs
, pp. 189-206
-
-
Barendsen, E.1
Smetsers, J.E.W.2
-
5
-
-
84987215842
-
Clean: A language for functional graph rewriting
-
Kahn, G., editor, Portland, Oregon, USA, LNCS, Springer-Verlag
-
T. Brus, M.C.J.D. van Eekelen, M.O. van Leer, and M.J. Plasmeijer. Clean: A language for functional graph rewriting. In Kahn, G., editor,Proceedings of the Third International Conference on Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, number 274 in LNCS, pages 364-384. Springer-Verlag, 1987.
-
(1987)
Proceedings of the Third International Conference on Functional Programming Languages and Computer Architecture
, vol.274
, pp. 364-384
-
-
Brus, T.1
van Eekelen, M.C.J.D.2
van Leer, M.O.3
Plasmeijer, M.J.4
-
6
-
-
0027796380
-
Sc Fudgets - A graphical user interface in a lazy functional language
-
Copenhagen, Denmark, ACM Press, 9-11 June
-
M. Carlsson and Th. Hallgren. Sc Fudgets - a graphical user interface in a lazy functional language. In Proceedings of Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, pages 321-330. ACM Press, 9-11 June 1993.
-
(1993)
Proceedings of Conference on Functional Programming Languages and Computer Architecture
, pp. 321-330
-
-
Carlsson, M.1
Hallgren, T.2
-
7
-
-
0347246425
-
Structuring graphical paradigms in tkgofer
-
Amsterdam, The Netherlands, ACM Press, 9-11 June
-
K. Claessen, T. Vullinghs, and E. Meijer. Structuring graphical paradigms in tkgofer. In Proceedings of the ACM SIGPLAN International Conference of Functional Programming (ICFP'97), Amsterdam, The Netherlands, pages 251-262. ACM Press, 9-11 June 1997.
-
(1997)
Proceedings of the ACM SIGPLAN International Conference of Functional Programming (ICFP'97)
, pp. 251-262
-
-
Claessen, K.1
Vullinghs, T.2
Meijer, E.3
-
8
-
-
0012526320
-
Implementing a functional spreadsheet in clean
-
July
-
W.A.C.A.J. de Hoon, L.M.W.J. Rutten, and M.C.J.D. van Eekelen. Implementing a functional spreadsheet in clean. Journal of Functional Programming, 5(3): 383-414, July 1995.
-
(1995)
Journal of Functional Programming
, vol.5
, Issue.3
, pp. 383-414
-
-
de Hoon, W.A.C.A.J.1
Rutten, L.M.W.J.2
van Eekelen, M.C.J.D.3
-
10
-
-
84957084124
-
-
Addison-Wesley Publishing Company, 3rd edition
-
A Goldberg. Object-Oriented Programming Languages, pages 570-607. Addison-Wesley Publishing Company, 3rd edition, 1995.
-
(1995)
Object-Oriented Programming Languages
, pp. 570-607
-
-
Goldberg, A.1
-
11
-
-
84957076323
-
The brisk project: Concurrent and distributed functional systems
-
10-12 July
-
I. Holyer, N. Davies, and C. Dornan. The brisk project: Concurrent and distributed functional systems. In Proceedings Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995.
-
(1995)
Proceedings Glasgow Workshop on Functional Programming, Ullapool, Scotland
-
-
Holyer, I.1
Davies, N.2
Dornan, C.3
-
12
-
-
0027878532
-
A system of constructor classes: Overloading and implicit higherorder polymorphism
-
Copenhagen, Denmark, ACM Press, 9-11 June
-
M.P. Jones. A system of constructor classes: overloading and implicit higherorder polymorphism. In Proceedings of Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, pages 52-61. ACM Press, 9-11 June 1993.
-
(1993)
Proceedings of Conference on Functional Programming Languages and Computer Architecture
, pp. 52-61
-
-
Jones, M.P.1
-
14
-
-
84876651877
-
-
Technical report, Department of Computer Science, University of York, England, 3 February
-
R. Noble and C. Runciman. Functional languages and graphical user interfaces - a review and a case study. Technical report, Department of Computer Science, University of York, England, 3 February 1994.
-
(1994)
Functional languages and graphical user interfaces - A review and a case study
-
-
Noble, R.1
Runciman, C.2
-
15
-
-
84958627946
-
Gadgets: Lazy functional components for graphical user interfaces
-
M. Hermenegildo and S.D. Swierstra, editors, Utrecht, The Netherlands, in LNCS, Springer-Verlag, 20-22 September
-
R. Noble and C. Runciman. Gadgets: Lazy functional components for graphical user interfaces. In M. Hermenegildo and S.D. Swierstra, editors,Proceedings of Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, Utrecht, The Netherlands, number 982 in LNCS, pages 321-340. Springer-Verlag, 20-22 September 1995.
-
(1995)
Proceedings of Seventh International Symposium on Programming Languages: Implementations, Logics and Programs
, vol.982
, pp. 321-340
-
-
Noble, R.1
Runciman, C.2
-
16
-
-
85035779792
-
Concurrent clean
-
E.H.L. Aarts, J. van Leeuwen, and M. Rem, editors, June, Eindhoven, The Netherlands, in LNCS, Springer-Verlag
-
E.G.J.M.H. Nöcker, J.E.W. Smetsers, M.C.J.D. van Eekelen, and M.J. Plasmeijer. Concurrent clean. In E.H.L. Aarts, J. van Leeuwen, and M. Rem, editors, Proceedings of Parallel Architectures and Languages Europe, June, Eindhoven, The Netherlands, number 506 in LNCS, pages 202-219. Springer-Verlag, 1991.
-
(1991)
Proceedings of Parallel Architectures and Languages Europe
, vol.506
, pp. 202-219
-
-
Nöcker, E.G.J.M.H.1
Smetsers, J.E.W.2
van Eekelen, M.C.J.D.3
Plasmeijer, M.J.4
-
19
-
-
84957614055
-
Sc Pidgets - Unifying pictures and widgets in a constraint-based framework for concurrent gui programming
-
Aachen, Germany, number 1140 in LNCS, Springer-Verlag, September, In H. Kuchen and S.D. Swierstra, editors
-
E. Scholz, Sc Pidgets - unifying pictures and widgets in a constraint-based framework for concurrent gui programming. In H. Kuchen and S.D. Swierstra, editors, Proceedings of eighth International Symposium on Programming Languages: Implementations, Logics, and Programs, Aachen, Germany, number 1140 in LNCS, pages 363-377. Springer-Verlag, September 1996.
-
(1996)
Proceedings of eighth International Symposium on Programming Languages: Implementations, Logics, and Programs
, pp. 363-377
-
-
Scholz, E.1
-
20
-
-
21744433110
-
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs
-
H.J. Schneider and H. Ehrig, editors, Germany, number 776 in LNCS, Springer-Verlag, 4-8 January
-
J.E.W. Smetsers, E. Barendsen, M.C.J.D. van Eekelen, and M.J. Plasmeijer. Guaranteeing safe destructive updates through a type system with uniqueness information for graphs. In H.J. Schneider and H. Ehrig, editors, Proceedings Workshop Graph Transformations in Computer Science, Dagstuhl Castle, Germany, number 776 in LNCS, pages 358-379. Springer-Verlag, 4-8 January 1993.
-
(1993)
Proceedings Workshop Graph Transformations in Computer Science, Dagstuhl Castle
, pp. 358-379
-
-
Smetsers, J.E.W.1
Barendsen, E.2
van Eekelen, M.C.J.D.3
Plasmeijer, M.J.4
|