16 citations found. Retrieving documents...
S. P. Jones. Haskell98 language and libraries, revised report, Dec 2002.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
System Modeling and Design Refinement in ForSyDe - Sander (2003)   (Correct)

....the ForSyDe methodology in a more concise way than this thesis. The work in the article was conducted by the author of the thesis and supported by feedback from Axel Jantsch. 1.3.2 Publications not included in this Thesis . The paper [57] compares the languages Erlang [5] C [107] Haskell [62], VHDL [54] SDL [29] and ProGram [11] with respect to their capabilities as a system level description for telecommunication systems. The comparison is based on an evaluation method with a large number of criteria. In order to give specific emphasis on particular aspects of the application area, ....

....underlying computational models. For instance the sequential imperative languages C, Pascal or Fortran share all the same imperative sequential computational model. On the other hand languages can be used to support more than one computational model. In this thesis the functional language Haskell [62] is used to express a synchronous and a multi rate computational model as discussed in Chapter 3, but preliminary libraries have al13 ready been created for data flow and discrete event models and can be retrieved from the ForSyDe web page [1] To choose the right model of computation for the ....

[Article contains additional citation context not shown here]

S. P. Jones. Haskell 98 Language and Libraries. Cambridge University Press, 2003.


Formalising a High-Performance Microkernel - Kevin Elphinstone Gerwin   (Correct)

No context found.

S. P. Jones. Haskell98 language and libraries, revised report, Dec 2002.


Hierarchical Hybrid Block Diagrams - Ben Denckla And   (Correct)

No context found.

S. Peyton Jones. Haskell 98 Language and Libraries. Cambridge U. Press, 2003.


Many Cyclic Block Diagrams Do Not Need Parallel Semantics - Denckla, Mosterman   (Correct)

No context found.

Simon Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, Cambridge, UK, April 2003. ISBN-10: 0521826144.


DirectFlow: Toward a DSL for Infopipes - Chuan-Kai Lin Andrew   (Correct)

No context found.

Simon Peyton Jones, editor. Haskell 98 Languages and Libraries. Cambridge University Press, revised edition, April 2003.


Formalizing Causal Block Diagrams for Modeling a Class of.. - Denckla, Mosterman (2005)   (Correct)

No context found.

Simon Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, Cambridge, UK, April 2003. ISBN-10: 0521826144.


Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005)   (Correct)

No context found.

S. P. Jones. Haskell 98 Language and Libraries. Cambridge University Press, 2003.


Models of Computation in the Design Process - Jantsch, Sander (2005)   (Correct)

No context found.

S. P. Jones. Haskell 98 Language and Libraries. Cambridge University Press, 2003.


DSL Implementation in MetaOCaml, Template Haskell, and.. - Czarnecki, O'Donnell..   (Correct)

No context found.

Simon Peyton Jones (ed.). Haskell 98 language and libraries. Journal of Functional Programming, 13(1):1-255, January 2003.


Language Symbiosis through a Joint Abstract Grammar - Peeters (2003)   (Correct)

No context found.

Simon Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, 2003.


Chasing Bottoms - A Case Study in Program Verification in.. - Danielsson, Jansson (2004)   (3 citations)  (Correct)

No context found.

Simon Peyton Jones, editor. Haskell 98 Language and Libraries, The Revised Report. Cambridge University Press, 2003.


M. Dowse, A. Butterfield, M. van Eekelen , M. de Mol , R.. - Nijmegen Institute For   (Correct)

No context found.

S. Peyton Jones and et al, editors. Haskell 98 Language and Libraries, the Revised Report. CUP, Apr. 2003.


Proxima - A presentation-oriented editor for structured documents - Schrage (2004)   (3 citations)  (Correct)

No context found.

S. Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, Cambridge, UK, 2003.


An Algebra of Scans - Hinze (2004)   (Correct)

No context found.

Peyton Jones, S.: Haskell 98 Language and Libraries. Cambridge University Press (2003)


Functional Pearl: Trouble Shared is Trouble Halved - Bird, Hinze (2003)   (Correct)

No context found.

Simon Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, 2003.


Generic Haskell: Practice and Theory - Hinze, Jeuring (2003)   (3 citations)  (Correct)

No context found.

Simon Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, 2003.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC