|
2
|
Elements of Basic Category Theory
– Alfio Martini
- 1996
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
20
|
Algebra of logic programming
– Silvija Seres
- 1999
|
|
|
Generic Accumulations for Program Calculation
– Mauro Jaskelioff
- 2004
|
|
1
|
Categorical and Graphical Models of Programming Languages
– Ralf Schweimeier, Ralf Schweimeier
- 2001
|
|
3
|
A Categorical Interpretation of Landin's Correspondence Principle
– Anindya Banerjee, David A. Schmidt
- 1993
|
|
|
Categories for Imperative Semantics PLDG Seminar
– Riccardo Pucella
|
|
3
|
A Denotational Approach to Measuring Complexity in Functional Programs
– Kathryn Van Stone, Frank Pfenning, Dana Scott, Carl Gunter
- 2003
|
|
24
|
Computational Comonads and Intensional Semantics
– Stephen Brookes, Shai Geva
- 1991
|
|
61
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
|
ONTOLOGIES AND WORLDS IN CATEGORY THEORY: IMPLICATIONS FOR NEURAL SYSTEMS
– unknown authors
|
|
|
Is Computer Programming a Science?
– Hassan Aït-Kaci, Ffl The Von Neumann Model
|
|
4
|
Inductive Datatypes with Laws and Subtyping – A Relational Model
– Theodorus Sebastiaan Voermans
|
|
2
|
Supporting Array Types in Monoid Comprehensions
– Antonio Martinez Alcantara, Bill P. Buckles
- 1998
|
|
1
|
Kind Theory
– R. Kiniry, Joseph R. Kiniry
- 2002
|
|
21
|
Correspondence between Operational and Denotational Semantics
– C. -h. L. Ong
- 1995
|
|
6
|
A New Framework for Declarative Programming
– Stacy E. Finkelstein, Peter Freyd, James Lipton
- 2001
|
|
1
|
Parallel Haskell: The vectorisation monad
– Keith Clarke, Jonathan M. D. Hill
- 1993
|
|
2
|
An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming
– Jonathan M. D. Hill, Keith Clarke
|
