×

Found 64 Documents (Results 1–64)

Newest Citations Relevance
Piróg, Maciej; Polesiuk, Piotr; Sieczkowski, Filip

Typed equivalence of effect handlers and delimited control. (English) Zbl 1528.68051

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 30, 16 p. (2019).
MSC:  68N15 68N18
Cite Review PDF
Full Text: DOI
Jacob-Rao, Rohan; Pientka, Brigitte; Thibodeau, David

Index-stratified types. (English) Zbl 1462.68021

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 19, 17 p. (2018).
MSC:  68N18
Cite Review PDF
Full Text: DOI arXiv
Ferreira, Francisco; Pientka, Brigitte

Programs using syntax with first-class binders. (English) Zbl 1485.68064

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 504-529 (2017).
MSC:  68N30 68N15 68N18
Cite Review PDF
Full Text: DOI
Swamy, Nikhil; Hriţcu, Cătălin; Keller, Chantal; Rastogi, Aseem; Delignat-Lavaud, Antoine; Forest, Simon; Bhargavan, Karthikeyan; Fournet, Cédric; Strub, Pierre-Yves; Kohlweiss, Markulf; Zinzindohoue, Jean-Karim; Zanella-Béguelin, Santiago

Dependent types and multi-monadic effects in \(\mathrm{F}^*\). (English) Zbl 1347.68038

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 256-270 (2016).
MSC:  68N15 68N18 68T15
Cite Review PDF
Full Text: DOI
Brown, Matt; Palsberg, Jens

Breaking through the normalization barrier: a self-interpreter for F-omega. (English) Zbl 1347.68046

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 5-17 (2016).
MSC:  68N18 03B40 68N20 68N30
Cite Review PDF
Full Text: DOI
Casinghino, Chris; Sjöberg, Vilhelm; Weirich, Stephanie

Combining proofs and programs in a dependently typed language. (English) Zbl 1284.68125

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 33-45 (2014).
MSC:  68N18 68Q60 68N30 68Q55 03B40 03B70
Cite Review PDF
Full Text: DOI Link
Gaboardi, Marco; Haeberlen, Andreas; Hsu, Justin; Narayan, Arjun; Pierce, Benjamin C.

Linear dependent types for differential privacy. (English) Zbl 1301.68111

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 357-370 (2013).
MSC:  68P15 68N15 68N30
Cite Review PDF
Full Text: DOI
Weirich, Stephanie; Vytiniotis, Dimitrios; Peyton Jones, Simon; Zdancewic, Steve

Generative type abstraction and type-level computation. (English) Zbl 1284.68140

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 227-240 (2011).
MSC:  68N18 68N15
Cite Review PDF
Full Text: DOI Link
Stampoulis, Antonis; Shao, Zhong

VeriML: typed computation of logical terms inside a language with effects. (English) Zbl 1323.68384

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 333-344 (2010).
MSC:  68Q60 68N18 68T15
Cite Review PDF
Full Text: DOI
Brunel, Julien; Doligez, Damien; Hansen, René Rydhof; Lawall, Julia L.; Muller, Gilles

A foundation for flow-based program matching: using temporal logic and model checking. (English) Zbl 1315.68176

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 114-126 (2009).
MSC:  68Q60 68N30
Cite Review PDF
Full Text: DOI
Chlipala, Adam; Malecha, Gregory; Morrisett, Greg; Shinnar, Avraham; Wisnesky, Ryan

Effective interactive proofs for higher-order imperative programs. (English) Zbl 1302.68087

Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 79-90 (2009).
MSC:  68N30 68N18 68T15
Cite Review PDF
Full Text: DOI Link
Schrijvers, Tom; Peyton Jones, Simon; Chakravarty, Manuel; Sulzmann, Martin

Type checking with open type functions. (English) Zbl 1323.68156

Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 51-62 (2008).
MSC:  68N18 68Q55
Cite Review PDF
Full Text: DOI Link
Barras, Bruno; Bernardo, Bruno

The implicit calculus of constructions as a programming language with dependent types. (English) Zbl 1138.68356

Amadio, Roberto (ed.), Foundations of software science and computational structures. 11th international conference, FOSSACS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 365-379 (2008).
MSC:  68N30
Cite Review PDF
Full Text: DOI
Shroff, Paritosh; Skalka, Christian; Smith, Scott F.

The nuggetizer: Abstracting away higher-orderness for program verification. (English) Zbl 1137.68357

Shao, Zhong (ed.), Programming languages and systems. 5th Asian symposium, APLAS 2007, Singapore, November 29–December 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76636-0/pbk). Lecture Notes in Computer Science 4807, 2-18 (2007).
MSC:  68N30 68N18 68Q55 68T15
Cite Review PDF
Full Text: DOI
Nanevski, Aleksandar; Morrisett, Greg; Birkedal, Lars

Polymorphism and separation in Hoare type theory. (English) Zbl 1321.68351

Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 62-73 (2006).
MSC:  68Q60 03B70 68N18
Cite Review PDF
Full Text: DOI Link
Westbrook, Edwin; Stump, Aaron; Wehrman, Ian

A language-based approach to functionally correct imperative programming. (English) Zbl 1302.68095

Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 268-279 (2005).
MSC:  68N30
Cite Review PDF
Full Text: DOI Link
Gauthier, Nadji; Pottier, François

Numbering matters: first-order canonical forms for second-order recursive types. (English) Zbl 1323.68073

Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 150-161 (2004).
MSC:  68N15 03B70 68N18
Cite Review PDF
Full Text: DOI
Washburn, Geoffrey; Weirich, Stephanie

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. (English) Zbl 1315.68061

Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP ’03, Uppsala, Sweden, August 25–29, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-756-7). ACM SIGPLAN Notices 38, No. 9, 249-262 (2003).
MSC:  68N18
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

Main Field

all top 3

Software