Works matching IS 09567968 AND DT 2021 AND VI 31 AND IP 1/2

Results: 29

Cogent: uniqueness types and certifying compilation.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S095679682100023X

By:

O'CONNOR, LIAM;
CHEN, ZILIN;
RIZKALLAH, CHRISTINE;
JACKSON, VINCENT;
AMANI, SIDNEY;
KLEIN, GERWIN;
MURRAY, TOBY;
SEWELL, THOMAS;
KELLER, GABRIELE

Publication type:

Article

On the correctness of monadic backward induction.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000228

By:

BREDE, NURIA;
BOTTA, NICOLA

Publication type:

Article

What is an education paper?

Published in:

2021

By:

KRISHNAMURTHI, SHRIRAM

Publication type:

Editorial

Segments: An alternative rainfall problem.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000216

By:

ACHTEN, PETER

Publication type:

Article

A greedy algorithm for dropping digits.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000198

By:

BIRD, RICHARD;
MU, SHIN-CHENG

Publication type:

Article

Taming the Merge Operator.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000186

By:

HUANG, XUEJING;
ZHAO, JINXU;
OLIVEIRA, BRUNO C. D. S.

Publication type:

Article

Real-time MLton: A Standard ML runtime for real-time functional programs.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000174

By:

SHIVKUMAR, BHARGAV;
MURPHY, JEFFREY;
ZIAREK, LUKASZ

Publication type:

Article

Verified secure compilation for mixed-sensitivity concurrent programs.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000162

By:

SISON, ROBERT;
MURRAY, TOBY

Publication type:

Article

Extensional equality preservation and verified generic programming.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000204

By:

BOTTA, NICOLA;
BREDE, NURIA;
JANSSON, PATRIK;
RICHTER, TIM

Publication type:

Article

PhD Abstracts.

Published in:

2021

By:

HUTTON, GRAHAM

Publication type:

Abstract

A trustful monad for axiomatic reasoning with probability and nondeterminism.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000137

By:

AFFELDT, REYNALD;
GARRIGUE, JACQUES;
NOWAK, DAVID;
SAIKAWA, TAKAFUMI

Publication type:

Article

Gradual type theory.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000125

By:

NEW, MAX S.;
LICATA, DANIEL R.;
AHMED, AMAL

Publication type:

Article

Higher order functions and Brouwer's thesis.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000095

By:

STERLING, JONATHAN

Publication type:

Article

Cubical Agda: A dependently typed programming language with univalence and higher inductive types.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000034

By:

VEZZOSI, ANDREA;
MÖRTBERG, ANDERS;
ABEL, ANDREAS

Publication type:

Article

Linear capabilities for fully abstract compilation of separation-logic-verified code.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000022

By:

VAN STRYDONCK, THOMAS;
PIESSENS, FRANK;
DEVRIESE, DOMINIQUE

Publication type:

Article

How to design co-programs.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000113

By:

GIBBONS, JEREMY

Publication type:

Article

Integrating region memory management and tag-free generational garbage collection.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000010

By:

ELSMAN, MARTIN;
HALLENBERG, NIELS

Publication type:

Article

Explainable dynamic programming.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000083

By:

ERWIG, MARTIN;
KUMAR, PRASHANT

Publication type:

Article

Blame and coercion: Together again for the first time.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000101

By:

SIEK, JEREMY G.;
THIEMANN, PETER;
WADLER, PHILIP

Publication type:

Article

Relational cost analysis in a functional-imperative setting.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000071

By:

QU, WEIHAO;
GABOARDI, MARCO;
GARG, DEEPAK

Publication type:

Article

StkTokens : Enforcing well-bracketed control flow and stack encapsulation using linear capabilities.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S095679682100006X

By:

SKORSTENGAARD, LAU;
DEVRIESE, DOMINIQUE;
BIRKEDAL, LARS

Publication type:

Article

Lambda calculus with algebraic simplification for reduction parallelisation: Extended study.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000058

By:

MORIHATA, AKIMASA

Publication type:

Article

Composable data visualizations.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000046

By:

PETRICEK, TOMAS

Publication type:

Article

PhD Abstracts.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796820000301

By:

HUTTON, GRAHAM

Publication type:

Article

Proof-directed program transformation: A functional account of efficient regular expression matching.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796820000295

By:

FILINSKI, ANDRZEJ

Publication type:

Article

Not by equations alone: Reasoning with extensible effects.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796820000271

By:

KISELYOV, OLEG;
MU, SHIN-CHENG;
SABRY, AMR

Publication type:

Article

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796820000283

By:

BREITNER, JOACHIM;
SPECTOR-ZABUSKY, ANTAL;
LI, YAO;
RIZKALLAH, CHRISTINE;
WIEGLEY, JOHN;
COHEN, JOSHUA;
WEIRICH, STEPHANIE

Publication type:

Article

Protocol combinators for modeling, testing, and execution of distributed systems.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S095679682000026X

By:

ANDERSEN, KRISTOFFER JUST ARNDAL;
SERGEY, ILYA

Publication type:

Article

A type- and scope-safe universe of syntaxes with binding: their semantics and proofs.

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796820000076

By:

ALLAIS, GUILLAUME;
ATKEY, ROBERT;
CHAPMAN, JAMES;
MCBRIDE, CONOR;
MCKINNA, JAMES

Publication type:

Article