researchr - search publication polytypic

researchr

You are not signed in
Sign in
Sign up

32 publication results matching 'polytypic'

Formal polytypic programs and proofs
… over Generic Haskell-style polytypic programs. In order to achieve this goal, we embed polytypic programming in the proof assistant Coq and provide an infrastructure for polytypic proofs. Polytypic functions are reified within Coq …
Wendy Verbruggen, Edsko de Vries, Arthur Hughes. JFP, 20(3-4):213-269, 2010. [doi]
Polytypic programming in COQ
… The aim of our work is to provide an infrastructure for formal proofs over Generic Haskell-style polytypic programs. For this goal to succeed, we must have a definition of polytypic programming which is both fully formal and as close …
Wendy Verbruggen, Edsko de Vries, Arthur Hughes. ICFP 2008: 49-60 [doi]
Calculate Polytypically!Lambert G. L. T. Meertens. plilp 1996: 1-16
Polytypic UnificationPatrik Jansson, Johan Jeuring. JFP, 8(5):527-536, 1998.
Polytypic ProgrammingJohan Jeuring, Patrik Jansson. afp 1996: 68-114
Polytypic Proof ConstructionHolger Pfeifer, Harald Rueß. tphol 1999: 55-72 [doi]
Polytypic Downwards AccumulationsJeremy Gibbons. mpc 1998: 207-233 [doi]
Polytypic Syntax Tree OperationsArjen van Weelden, Sjaak Smetsers, Marinus J. Plasmeijer. IFL 2006: 142-159 [doi]
Polytypic Programming in MaudeManuel Clavel, Francisco Durán, Narciso Martí-Oliet. ENTCS, 36:339-360, 2000. [doi]
Polytypic Programming With EaseRalf Hinze. jflp, 2001(3), 2001.
Polytypic Compact Printing and ParsingPatrik Jansson, Johan Jeuring. ESOP 1999: 273-287 [doi]
Polytypic Programming in HaskellUlf Norell, Patrik Jansson. IFL 2004: 168-184 [doi]
Polyp - A Polytypic Programming LanguagePatrik Jansson, Johan Jeuring. POPL 1997: 470-482 [doi]
Polytypic Pattern MatchingJohan Jeuring. fpca 1995: 238-248
Polytypic data conversion programsSCP, 43(1):35-75, 2002. [doi]
Polytypic properties and proofs in CoqWendy Verbruggen, Edsko de Vries, Arthur Hughes. ICFP 2009: 1-12 [doi]
Polytypic Genetic ProgrammingJerry Swan, Krzysztof Krawiec, Neil Ghani. evoW 2017: 66-81 [doi]
Functional Polytypic ProgrammingPatrik Jansson. PhD thesis, Chalmers University of Technology, Gothenburg, Sweden, 2000. [doi]
Polytypic Functions Over Nested DatatypesRalf Hinze. dmtcs, 3(4):193-214, 1999. [doi]
Polytypic values possess polykinded typesRalf Hinze. SCP, 43(2-3):129-159, 2002. [doi]

Sign in or sign up to see more results.

runs on WebDSL