Showing 21 - 40 of 114

21

Generic Programming with Dependent Types
Chris Casinghino ; Stephanie Weirich
Lecture Notes in Computer Science ISBN: 9783642322013

Book
Save to List
22

Type Error Customization for Embedded Domain-Specific Languages
Serrano, Alejandro ; Sub Softw.Techn. for Learning and Teach. ; Jeuring, Johan ; et al.

type inference domain-specific language... functional programming type errors CHRs
Dissertation/ Thesis
Save to List
23

Preserving Language Abstractions: Gradual Typing and State Threads
Jacobs, Koen ; Devriese, Dominique ; Jacobs, Bart ; et al.

Dissertation/ Thesis
Save to List
26

Feldspar: Application and Implementation
Emil Axelsson ; Mary Sheeran
Lecture Notes in Computer Science ISBN: 9783642320958

Book
Save to List
27

State in Haskell
John Launchbury ; Simon Peyton Jones ; The Pennsylvania State University CiteSeerX Archives
http://www.research.microsoft.com/Users/simonpj/Papers/state-lasc.ps.gz.

Academic journal
Save to List
28

Animated fuzzy logic.
MEEHAN, GARY ; JOY, MIKE
Journal of Functional Programming; 09/01/1998, Vol. 8 Issue 5, p503-525, 23p

Academic journal
Save to List
29

This result is not available to guest users.

30
31

Using Concurrent Haskell to Develop Views over an Active Repository
Einar W. Karlsen ; Stefan Westmeier ; The Pennsylvania State University CiteSeerX Archives
http://www.informatik.uni-bremen.de/~ewk/papers/ifl97.ps.gz.

Academic journal
Save to List
32

Haskell for Knowledge Representation
Jan Van Eijck ; The Pennsylvania State University CiteSeerX Archives
http://www.cwi.nl/~jve/courses/esslli08/HFKR.pdf.

Academic journal
Save to List
33

A Haskell to Java Virtual Machine Code Compiler
David Wakeling ; The Pennsylvania State University CiteSeerX Archives
ftp://ftp.dcs.ex.ac.uk/pub/usr/david/ifl97.ps.Z

Academic journal
Save to List
34

Arrays in a Lazy Functional Language - a case study: the Fast Fourier Transform
Pieter H. Hartel ; Willem G. Vree ; The Pennsylvania State University CiteSeerX Archives
ftp://ftp.wins.uva.nl/pub/computer-systems/functional/reports/ATABLE92_fft.ps.Z

Academic journal
Save to List
35

Uniqueness and Completeness Analysis of Array Comprehensions
David Garza-salazar ; Wim Böhm ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.colostate.edu/~dataflow/html/./papers/unco.ps.Z.

Academic journal
Save to List
36

Concurrent Programming in Haskell
Victor M. Gulias ; Jose L. Freire ; The Pennsylvania State University CiteSeerX Archives
http://sunsite.informatik.rwth-aachen.de/Publications/AIB/1996/96-09-3.ps.gz.

Functional Programming Concurrency Higher-Order Functions Synchronous Communicatio...
Academic journal
Save to List
37

A native temporal relation database for Haskell
Maczejka, Lukas ; Frank, Andreas

datenbanken relationen zeit funktionale programmieru... haskell persistenz
Dissertation/ Thesis
Save to List
38

A Functional Reactive Animation of a Lift using Fran
Simon Thompson ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.kent.ac.uk/pubs/1998/583/content.ps.

Academic journal
Save to List
39

Animating Z specifications in Haskell using a monad
Howard Goodman ; The Pennsylvania State University CiteSeerX Archives
ftp://ftp.cs.bham.ac.uk//pub/tech-reports/1993/CSR-93-10.ps.gz

Academic journal
Save to List

Filter