Open AccessSystem Description: Delphin – A Functional Programming Language for Deductive Systems
Author(s) -
Adam Poswolsky,
Carsten Schürmann
Publication year - 2009
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2008.12.120
Subject(s) - programming language , recursion (computer science) , computer science , decidability , functional programming , type theory , data type , type (biology) , theoretical computer science , ecology , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom