Works matching IS 09567968 AND DT 2022 AND VI 32

Results: 13

Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant.

Published in:

Journal of Functional Programming, 2022, v. 32, p. 1, doi. 10.1017/S0956796822000107

By:

DANVY, OLIVIER

Publication type:

Article

ANF preserves dependent types up to extensional equality.

Published in:

Journal of Functional Programming, 2022, v. 32, p. 1, doi. 10.1017/S0956796822000090

By:

KORONKEVICH, PAULETTE;
RAKOW, RAMON;
AHMED, AMAL;
BOWMAN, WILLIAM J.

Publication type:

Article

Extracting functional programs from Coq, in Coq.

Published in:

Journal of Functional Programming, 2022, v. 32, p. 1, doi. 10.1017/S0956796822000077

By:

ANNENKOV, DANIL;
MILO, MIKKEL;
NIELSEN, JAKOB BOTSCH;
SPITTERS, BAS

Publication type:

Article

A well-known representation of monoids and its application to the function 'vector reverse'.

Published in:

Journal of Functional Programming, 2022, v. 32, p. 1, doi. 10.1017/S0956796822000065

By:

SWIERSTRA, WOUTER

Publication type:

Article

PhD Abstracts.

Published in:

Journal of Functional Programming, 2022, v. 32, p. 1, doi. 10.1017/s0956796821000290

By:

HUTTON, GRAHAM

Publication type:

Article

Iterating on multiple collections in synchrony.

Published in:

Journal of Functional Programming, 2022, v. 32, p. 1, doi. 10.1017/S0956796822000041

By:

PERNA, STEFANO;
TANNEN, VAL;
WONG, LIMSOON

Publication type:

Article

Denotational semantics as a foundation for cost recurrence extraction for functional languages.

Published in:

Journal of Functional Programming, 2022, v. 32, p. 1, doi. 10.1017/S095679682200003X

By:

DANNER, NORMAN;
LICATA, DANIEL R.

Publication type:

Article

Super-naturals.

Published in:

Journal of Functional Programming, 2022, v. 32, p. 1, doi. 10.1017/S0956796822000028

By:

HINZE, RALF;
RUNCIMAN, COLIN

Publication type:

Article

Back to futures.

Published in:

Journal of Functional Programming, 2022, v. 32, p. 1, doi. 10.1017/S0956796822000016

By:

PRUIKSMA, KLAAS;
PFENNING, FRANK

Publication type:

Article

PhD Abstracts.

Published in:

Journal of Functional Programming, 2022, v. 32, p. 1, doi. 10.1017/S0956796821000290

By:

HUTTON, GRAHAM

Publication type:

Article

On being a PhD student of Robert Harper.

Published in:

Journal of Functional Programming, 2022, v. 32, p. 1, doi. 10.1017/S0956796821000289

By:

DREYER, DEREK;
PIERCE, BENJAMIN C.

Publication type:

Article

Fregel: a functional domain-specific language for vertex-centric large-scale graph processing.

Published in:

Journal of Functional Programming, 2022, v. 32, p. 1, doi. 10.1017/S0956796821000277

By:

IWASAKI, HIDEYA;
EMOTO, KENTO;
MORIHATA, AKIMASA;
MATSUZAKI, KIMINORI;
HU, ZHENJIANG

Publication type:

Article

Editorial.

Published in:

2022

By:

GIBBONS, JEREMY;
KRISHNAMURTHI, SHRIRAM

Publication type:

Editorial