|
25
|
HasCASL: Towards Integrated Specification and Development of Functional Programs
– Lutz Schröder, Till Mossakowski
- 2002
|
|
12
|
Monad-independent dynamic logic in HasCasl
– Lutz Schröder, Till Mossakowski
|
|
5
|
Categories of partial morphisms and the λp-calculus, Category Theory and
– E Moggi
- 1986
|
|
8
|
HasCasl -- Integrated functional specification and programming
– Lutz Schröder, et al.
- 2004
|
|
16
|
Algebraic-coalgebraic specification in CoCasl
– Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
- 2006
|
|
10
|
Partiality, cartesian closedness and toposes
– P-L Curien, A Obtulowitz
- 1989
|
|
379
|
Introduction to Higher Order Categorical Logic
– J Lambek, P J Scott
- 1986
|
|
22
|
HOLCF: Higher Order Logic of Computable Functions
– Franz Regensburger
- 1995
|
|
10
|
Monad-independent Hoare Logic in HasCasl
– Lutz Schröder, Till Mossakowski
- 2003
|
|
425
|
Institutions: Abstract model theory for specification and programming
– J A Goguen, R M Burstall
- 1992
|
|
10
|
Partial algebras -- an introductory survey
– P Burmeister
- 1993
|
|
3
|
CoFI Language Design Group. Casl summary. Part I of [Mos04]. Edited by
– B Krieg-Bruckner, P D Mosses
|
|
4
|
Algebraic higher order nets: Graphs and petri nets as tokens
– K Hoffmann, T Mossakowski
- 2003
|
|
2
|
A gentle introduction into Haskell 98. Available at http://www.haskell.org
– P Hudak, J Peterson, J H Fasel
- 1999
|
|
2
|
From requirements to functional programs -- the HasCasl development paradigm
– C Maeder, T Mossakowski, L Schroder
- 2003
|
|
14
|
A soft stairway to institutions
– Antonino Salibra, Giuseppe Scollo
- 1993
|
|
14
|
Typed lambda models and cartesian closed categories, in: J.W. Gray and A. Scedrov eds
– J C Mitchell, P J Scott
- 1989
|
|
42
|
Continuity and effectiveness in topoi
– G Rosolini
- 1986
|
|
10
|
Lambda calculus with constrained types (extended abstract
– V Breazu-Tannen, A R Meyer
- 1985
|
