-
3
-
-
0031606026
-
Lava: Hardware design in haskell
-
Per Bjesse, Koen Claessen, Mary Sheeran, and Satnam Singh. Lava: Hardware design in haskell. In ICFP, pages 174-184, 1998.
-
(1998)
ICFP
, pp. 174-184
-
-
Bjesse, P.1
Claessen, K.2
Sheeran, M.3
Singh, S.4
-
5
-
-
19044396240
-
A Co-iterative Characterization of Synchronous Stream Functions
-
Electronic Notes in Theoretical Computer Science, March, Extended version available as a VERIMAG tech. report no. 97-07 at www.lri.fr/∼pouzet
-
Paul Caspi and Marc Pouzet. A Co-iterative Characterization of Synchronous Stream Functions. In Coalgebraic Methods in Computer Science (CMCS'98), Electronic Notes in Theoretical Computer Science, March 1998, Extended version available as a VERIMAG tech. report no. 97-07 at www.lri.fr/∼pouzet.
-
(1998)
Coalgebraic Methods in Computer Science (CMCS'98)
-
-
Caspi, P.1
Pouzet, M.2
-
8
-
-
27644574707
-
Towards a higher-order synchronous data-flow language
-
New York, NY, USA, ACM
-
Jean-Louis Colaco, Alain Girault, Grégoire Hamon, and Marc Pouzet. Towards a higher-order synchronous data-flow language. InEMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software, pages 230-239, New York, NY, USA, 2004. ACM.
-
(2004)
EMSOFT '04: Proceedings of The 4th ACM International Conference on Embedded Software
, pp. 230-239
-
-
Colaco, J.-L.1
Girault, A.2
Hamon, G.3
Pouzet, M.4
-
11
-
-
1542537984
-
The Yampa arcade.
-
Uppsala, Sweden, August, ACM Press
-
Antony Courtney, Henrik Nilsson, and John Peterson. The Yampa arcade. In Proceedings of the 2003 ACM SIGPLAN Haskell Workshop (Haskell'03), pages 7-18, Uppsala, Sweden, August 2003. ACM Press.
-
(2003)
Proceedings of The 2003 ACM SIGPLAN Haskell Workshop (Haskell'03)
, pp. 7-18
-
-
Courtney, A.1
Nilsson, H.2
Peterson, J.3
-
14
-
-
78049442327
-
A method for synthesizing sequential circuits
-
G. H. Mealy. A method for synthesizing sequential circuits. Bell System Technical Journal, 34(5):1045-1079, 1955.
-
(1955)
Bell System Technical Journal
, vol.34
, Issue.5
, pp. 1045-1079
-
-
Mealy, G.H.1
-
15
-
-
70350504091
-
Switched-on yampa
-
In Paul Hudak and David Scott Warren, editors, Springer
-
George Giorgidze and Henrik Nilsson. Switched-on yampa. In Paul Hudak and David Scott Warren, editors, Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, volume 4902 of Lecture Notes in Computer Science, pages 282-298. Springer, 2008.
-
(2008)
Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Lecture Notes In Computer Science
, vol.4902
, pp. 282-298
-
-
Giorgidze, G.1
Nilsson, H.2
-
16
-
-
85031295381
-
Generating efficient code from data-flow programs
-
In J. Maluszyński and M. Wirsing, editors, number. Springer Verlag
-
N. Halbwachs, P. Raymond, and C. Ratel. Generating efficient code from data-flow programs. In J. Maluszyński and M. Wirsing, editors, Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming, number 528, pages 1-13207-218. Springer Verlag, 1991.
-
(1991)
Proceedings of The Third International Symposium on Programming Language Implementation and Logic Programming
, Issue.528
, pp. 13207-13218
-
-
Halbwachs, N.1
Raymond, P.2
Ratel, C.3
-
19
-
-
0001082611
-
Building domain specific embedded languages
-
28A:(electronic), December
-
P. Hudak. Building domain specific embedded languages. ACM Computing Surveys, 28A:(electronic), December 1996.
-
(1996)
ACM Computing Surveys
-
-
Hudak, P.1
-
21
-
-
35248816084
-
Arrows, robots, and functional reactive programming
-
Springer-Verlag
-
Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson. Arrows, robots, and functional reactive programming. In Summer School on Advanced Functional Programming 2002, Oxford University, volume 2638 of Lecture Notes in Computer Science, pages 159-187. Springer-Verlag, 2003.
-
(2003)
Summer School on Advanced Functional Programming 2002, Oxford University, Lecture Notes In Computer Science
, vol.2638
, pp. 159-187
-
-
Hudak, P.1
Courtney, A.2
Nilsson, H.3
Peterson, J.4
-
22
-
-
70350488646
-
Yampa meets the worm
-
July
-
Paul Hudak, Paul Liu, Michael Stern, and Ashish Agarwal. Yampa meets the worm. Technical Report YALEU/DCS/RR-1408, Yale University, July 2008.
-
(2008)
Technical Report YALEU/DCS/RR-1408, Yale University
-
-
Hudak, P.1
Liu, P.2
Stern, M.3
Agarwal, A.4
-
23
-
-
0033751744
-
Generalising monads to arrows
-
May
-
John Hughes. Generalising monads to arrows. Science of Computer Programming, 37:67-111, May 2000.
-
(2000)
Science of Computer Programming
, vol.37
, pp. 67-111
-
-
Hughes, J.1
-
25
-
-
70350520835
-
Polytypic compact printing and parsing
-
Patrik Jansson and Johan Jeuring. Polytypic compact printing and parsing. In ESOP, pages 273-287, 1999.
-
(1999)
ESOP
, pp. 273-287
-
-
Jansson, P.1
Jeuring, J.2
-
26
-
-
70350489804
-
The arrow calculus (functional pearl)
-
Sam Lindley, Philip Wadler, and Jeremy Yallop. The arrow calculus (functional pearl). Draft, 2008.
-
(2008)
Draft
-
-
Lindley, S.1
Wadler, P.2
Yallop, J.3
-
28
-
-
36749025106
-
Applicative programming with effects
-
Conor McBride and Ross Paterson. Applicative programming with effects. J. Funct. Program., 18(1):1-13, 2008.
-
(2008)
J. Funct. Program
, vol.18
, Issue.1
, pp. 1-13
-
-
Mcbride, C.1
Paterson, R.2
-
29
-
-
0026188821
-
Notions of computation and monads
-
Eugenio Moggi. Notions of computation and monads. Inf. Comput., 93(1):55-92, 1991.
-
(1991)
Inf. Comput
, vol.93
, Issue.1
, pp. 55-92
-
-
Moggi, E.1
-
30
-
-
33745213154
-
Dynamic optimization for functional reactive programming using generalized algebraic data types
-
Henrik Nilsson. Dynamic optimization for functional reactive programming using generalized algebraic data types. In ICFP, pages 54-65, 2005.
-
(2005)
ICFP
, pp. 54-65
-
-
Nilsson, H.1
-
35
-
-
35248855046
-
-
Department of Computer Science, Yale University, January, Available at
-
John Peterson, Zhanyong Wan, Paul Hudak, and Henrik Nilsson. Yale FRP User's Manual. Department of Computer Science, Yale University, January 2001. Availableathttp://www.haskell.org/frp/manual.html.
-
(2001)
Yale FRP User's Manual
-
-
Peterson, J.1
Wan, Z.2
Hudak, P.3
Nilsson, H.4
-
36
-
-
0037241422
-
The Haskell 98 language and libraries: The revised report
-
Jan
-
Simon Peyton Jones et al. The Haskell 98 language and libraries: The revised report. Journal of Functional Programming, 13(1):0-255, Jan 2003. http://www.haskell.org/definition/.
-
(2003)
Journal of Functional Programming
, vol.13
, Issue.1
, pp. 0-255
-
-
Jones, S.P.1
-
37
-
-
84887440542
-
Closed freyd- and kappa-categories
-
John Power and Hayo Thielecke. Closed freyd- and kappa-categories. In ICALP, pages 625-634, 1999.
-
(1999)
ICALP
, pp. 625-634
-
-
Power, J.1
Thielecke, H.2
-
38
-
-
33746764422
-
Algebraic specification and coalgebraic synthesis of mealy automata
-
Jan J.M.M. Rutten. Algebraic specification and coalgebraic synthesis of mealy automata. Electr. Notes Theor. Comput. Sci, 160:305-319, 2006.
-
(2006)
Electr. Notes Theor. Comput. Sci
, vol.160
, pp. 305-319
-
-
Rutten., J.J.M.M.1
-
39
-
-
0031295210
-
A survey of stream processing
-
Robert Stephens. A survey of stream processing. Acta Informatica, 34(7):491-541, 1997.
-
(1997)
Acta Informatica
, vol.34
, Issue.7
, pp. 491-541
-
-
Stephens, R.1
-
40
-
-
84999777145
-
Traced monoidal categories
-
Ross Howard Street, A. Joyal, and D. Verity. Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society, 119(3):425-446, 1996.
-
(1996)
Mathematical Proceedings of the Cambridge Philosophical Society
, vol.119
, Issue.3
, pp. 425-446
-
-
Street, R.H.1
Joyal, A.2
Verity, D.3
-
41
-
-
84959045524
-
-
London, UK, Springer-Verlag
-
William Thies, Michal Karczmarek, and Saman P. Amarasinghe. Streamit: A language for streaming applications. In CC '02: Proceedings of the 11th International Conference on Compiler Construction, pages 179-196, London, UK, 2002. Springer-Verlag.
-
(2002)
Streamit: A Language for Streaming Applications, In CC '02: Proceedings of The 11th International Conference on Compiler Construction
, pp. 179-196
-
-
Thies, W.1
Karczmarek, M.2
Amarasinghe, S.P.3
-
42
-
-
84959045524
-
Streamit: A language for streaming applications
-
Tarmo Uustalu and Varmo Vene. The essence of dataflow programming. In Zoltán Horváth, editor, CEFP, volume 4164 of Lecture Notes in Computer Science, pages 135-167. Springer, 2005
-
pages 179-196, London, UK, 2002. Springer-Verlag.
-
(2002)
CC '02: Proceedings of The 11th International Conference on Compiler Construction
, pp. 179-196
-
-
Thies, W.1
Karczmarek, M.2
Amarasinghe, S.P.3
-
43
-
-
0003763496
-
-
Academic Press Professional, Inc. San Diego, CA, USA
-
William W. Wadge and Edward A. Ashcroft. LUCID, the dataflow programming language. Academic Press Professional, Inc., San Diego, CA, USA, 1985.
-
(1985)
LUCID, The Dataflow Programming Language
-
-
Wadge, W.W.1
Ashcroft, E.A.2
|