Found 34 Documents (Results 1–34)
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go. (English) Zbl 07775447
Taming the merge operator. (English) Zbl 1519.68049
The calculus of dependent lambda eliminations. (English) Zbl 1418.68038
MSC:
68N18
Homotopical patch theory. (English) Zbl 1420.68060
Indexed containers. (English) Zbl 1420.68032
MSC:
68N18
68T15
Elaborating intersection and union types. (English) Zbl 1297.68049
MSC:
68N18
Implicit self-adjusting computation for purely functional programs. (English) Zbl 1297.68046
MSC:
68N18
Big-step normalisation. (English) Zbl 1191.68153
MSC:
68N18
Hoare type theory, polymorphism and separation. (English) Zbl 1155.68354
MSC:
68N18
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. (English) Zbl 1128.68021
MSC:
68N18
A simple proof of the undecidability of inhabitation in \(\lambda P\). (English) Zbl 0872.68035
MSC:
68Q05
On cubism. (English) Zbl 0861.68029
MSC:
68Q10
A confluent reduction for the \(\lambda\)-calculus with surjective pairing and terminal object. (English) Zbl 0856.68087
MSC:
68Q45
The complexity of type inference for higher-order typed lambda calculi. (English) Zbl 0827.03005
Reviewer: C.Masalagiu (Iaşi)
Quantifier elimination and parametric polymorphism in programming languages. (English) Zbl 0816.68027
Filter Results by …
all
top 5
Author
- Abel, Andreas M. (3)
- Pientka, Brigitte (3)
- Altenkirch, Thorsten (2)
- Dunfield, Joshua (2)
- Mairson, Harry George (2)
- Acar, Umut A. (1)
- Accattoli, Beniamino (1)
- Allais, Guillaume (1)
- Angiuli, Carlo (1)
- Ariola, Zena M. (1)
- Barendregt, Hendrik Pieter (1)
- Benton, P. N. (1)
- Bernardy, Jean-Philippe (1)
- Bezem, Marc (1)
- Birkedal, Lars (1)
- Blanqui, Frédéric (1)
- Chapman, James T. E. (1)
- Chen, Yan (1)
- Coquand, Thierry (1)
- Curien, Pierre-Louis (1)
- Di Cosmo, Roberto (1)
- Downen, Paul (1)
- Fridlender, Daniel (1)
- Ghani, Neil (1)
- Graham-Lengrand, Stéphane (1)
- Hameer, Aliya (1)
- Hammer, Matthew A. (1)
- Hancock, Peter G. (1)
- Harper, Robert (1)
- Henglein, Fritz (1)
- Herbelin, Hugo (1)
- Hu, Jason Z. S. (1)
- Huang, Xuejing (1)
- Inoue, Jun-Ichiro (1)
- Jacobs, Bart (1)
- Jang, Junyoung (1)
- Jansson, Patrik (1)
- Johnson-Freyd, Philip (1)
- Kamareddine, Fairouz D. (1)
- Kesner, Delia (1)
- Licata, Daniel R. (1)
- Matthes, Ralph (1)
- McBride, Conor Thomas (1)
- Mitchell, John C. (1)
- Momigliano, Alberto (1)
- Morehouse, Edward (1)
- Morris, Peter A. (1)
- Morrisett, Greg (1)
- Nanevski, Aleksandar (1)
- Nederpelt, Rob (1)
- Oliveira, Bruno C.d. S. (1)
- Pagano, Miguel (1)
- Paterson, Ross A. (1)
- Pitts, Andrew M. (1)
- Schäfer, Steven (1)
- Springintveld, Jan (1)
- Stark, Kathrin (1)
- Sterling, Jonathan (1)
- Stump, Aaron (1)
- Sulzmann, Martin (1)
- Swierstra, Wouter (1)
- Taha, Walid (1)
- Washburn, Geoffrey (1)
- Wehr, Stefan (1)
- Weirich, Stephanie (1)
- Zhao, Jinxu (1)
all
top 5
Volume
- 33 (2023) (3)
- 31 (2021) (2)
- 30 (2020) (1)
- 29 (2019) (1)
- 28 (2018) (1)
- 27 (2017) (2)
- 26 (2016) (3)
- 25 (2015) (2)
- 24, No. 2-3 (2014) (1)
- 24, No. 1 (2014) (1)
- 22, No. 2 (2012) (1)
- 21, No. 3 (2011) (1)
- 19, No. 3-4 (2009) (3)
- 18, No. 5-6 (2008) (1)
- 18, No. 1 (2008) (1)
- 6, No. 5 (1996) (1)
- 6, No. 3 (1996) (1)
- 6, No. 2 (1996) (2)
- 5, No. 1 (1995) (1)
- 4, No. 4 (1994) (1)
- 4, No. 1 (1994) (1)
- 2, No. 3 (1992) (1)
- 2, No. 2 (1992) (1)
- 1, No. 3 (1991) (1)
all
top 3
Software
- Coq (5)
- Haskell (5)
- Agda (4)
- MiniAgda (3)
- Automath (2)
- Forsythe (2)
- GitHub (2)
- Miranda (2)
- Nuprl (2)
- Twelf (2)
- Beluga (1)
- CakeML (1)
- Cayenne (1)
- Delphin (1)
- Epigram (1)
- Featherweight Java (1)
- Freshml (1)
- Gmeta (1)
- HYBRID (1)
- Isabelle (1)
- Isabelle/HOL (1)
- JML (1)
- LMS (1)
- LNgen (1)
- ML (1)
- Matita (1)
- MiniML (1)
- Nominal Isabelle (1)
- Paco (1)
- PoplMark (1)
- Psi-calculi (1)
- Quipper (1)
- REVE (1)
- SPARK (1)
- Scala (1)
- Spec# (1)
- Unbound (1)
- dedukti (1)
- go (1)