The HasCasl prologue: categorical syntax and semantics of the partial λ-calculus (2006)

by Lutz Schröder
Venue:COMPUT. SCI
Citations:6 - 4 self

Documents Related by Co-Citation

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
10 Partiality, cartesian closedness and toposes – P-L Curien, A Obtulowitz - 1989
19 Algebraic-coalgebraic specification in CoCasl – Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder - 2006
427 Introduction to higher order categorical logic – J Lambek, P J Scott - 1986
24 HOLCF: Higher Order Logic of Computable Functions – Franz Regensburger - 1995
10 Monad-independent Hoare Logic in HasCasl – Lutz Schröder, Till Mossakowski - 2003
477 Institutions: Abstract model theory for speci cation and programming – Joseph Goguen, Rod Burstall - 1992
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 From requirements to functional programs -- the HasCasl development paradigm – C Maeder, T Mossakowski, L Schroder - 2003
3 A gentle introduction to Haskell 98. Available at http://www.haskell.org/tutorial/monads.html – P Hudak, J Peterson, J Fasel - 1999
17 Typed lambda models and cartesian closed categories – J Mitchell, P Scott - 1989
15 A soft stairway to institutions – A Salibra, G Scollo
12 Partial algebras - An introductory survey – P Burmeister - 1993
45 Continuity and Effectiveness in Topoi – Giuseppe Rosolini - 1986
11 Lambda calculus with constrained types (extended abstract – V Breazu-Tannen, A R Meyer - 1985